![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
kobakЗавтра в три часа дня я буду рассказывать в гимназии математическому клубу «Эратосфен» о том, что такое математическая логика. Постараюсь излагать так, чтобы было понятно совсем неподготовленным. Если кому-то интересно — приходите. Часика полтора порассказываю, а потом чай будем пить.
В примерной программе: парадокс Рассела, «Principia Mathematica», программа Гильберта, арифметика Пеано, первая теорема Гёделя, вторая теорема Гёделя, связь этих результатов с программированием и проблема останова (с доказательством, пожалуй), результаты типа Харрингтона-Кирби-Париса (конкретно: теорема Гудстайна и задача про Геракла и гидру), континуум-гипотеза в теории множеств, платонизм — и в качестве разговоров уже за чаем: искусственный интеллект и аргументы Пенроуза. Как-то так.
Тема вообще жутко интересная, если кто совсем не в курсе.
В примерной программе: парадокс Рассела, «Principia Mathematica», программа Гильберта, арифметика Пеано, первая теорема Гёделя, вторая теорема Гёделя, связь этих результатов с программированием и проблема останова (с доказательством, пожалуй), результаты типа Харрингтона-Кирби-Париса (конкретно: теорема Гудстайна и задача про Геракла и гидру), континуум-гипотеза в теории множеств, платонизм — и в качестве разговоров уже за чаем: искусственный интеллект и аргументы Пенроуза. Как-то так.
Тема вообще жутко интересная, если кто совсем не в курсе.
