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

[kobak]

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

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

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

Comments

[kobak.livejournal.com]

А что, неужели ты знакома?
Я буду восхищён в таком случае.

[murah.livejournal.com]

Неуместное ехидство.
Знакома отчасти и поверхностно, если 1 и 2 теоремы Геделя - теоремы об аксиоматической полноте и неполноте

[pustota.livejournal.com]

u r so highbrow

ehidstvo ne byvaet neumestnym!

[kobak.livejournal.com]

Ого! Я восхищён, как и обещал. Честно.

На самом деле, "первая теорема Г." -- это о неполноте, а "вторая" -- о том, что аксиоматическая теория не может доказать собственную непротиворечивость. Теорема о полноте тоже принадлежит Г., но не имеет устойчивого сокращенного названия с номером.

[kapahel.livejournal.com]

Номеа — это зло!
«Докажите певую теоему Вейштасса».

[kobak.livejournal.com]

Ага. Или "сыграйте шестнадцатую сонату Моцарта, вторую часть".