Dmitry Kobak (kobak) wrote,
Dmitry Kobak
kobak

Categories:

объявление: популярный рассказ про матлогику

Завтра в три часа дня я буду рассказывать в гимназии математическому клубу «Эратосфен» о том, что такое математическая логика. Постараюсь излагать так, чтобы было понятно совсем неподготовленным. Если кому-то интересно — приходите. Часика полтора порассказываю, а потом чай будем пить.

В примерной программе: парадокс Рассела, «Principia Mathematica», программа Гильберта, арифметика Пеано, первая теорема Гёделя, вторая теорема Гёделя, связь этих результатов с программированием и проблема останова (с доказательством, пожалуй), результаты типа Харрингтона-Кирби-Париса (конкретно: теорема Гудстайна и задача про Геракла и гидру), континуум-гипотеза в теории множеств, платонизм — и в качестве разговоров уже за чаем: искусственный интеллект и аргументы Пенроуза. Как-то так.

Тема вообще жутко интересная, если кто совсем не в курсе.
Subscribe

  • смерти в россии по неделям

    Я построил график смертей в России по неделям (с 2000 по конец 2020, данные с http://mortality.org), с разбивкой на пол и возраст, и теперь не могу…

  • итоговые результаты выборов 2021

    В продолжение предыдущей записи. Сергей Шпилькин выложил окончательные данные с последних выборов, полученные с помощью деобфускатора Александра…

  • цик зашифровала результаты

    Неясно, когда мы сможем полюбоваться на пики на целых процентах в результатах думских выборов, т.к. ЦИК мало того что поставила на сайт капчу (что…

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 27 comments

  • смерти в россии по неделям

    Я построил график смертей в России по неделям (с 2000 по конец 2020, данные с http://mortality.org), с разбивкой на пол и возраст, и теперь не могу…

  • итоговые результаты выборов 2021

    В продолжение предыдущей записи. Сергей Шпилькин выложил окончательные данные с последних выборов, полученные с помощью деобфускатора Александра…

  • цик зашифровала результаты

    Неясно, когда мы сможем полюбоваться на пики на целых процентах в результатах думских выборов, т.к. ЦИК мало того что поставила на сайт капчу (что…