На плечах гигантов, на спинах электронов
Философское значение теоремы Гёделя: одним разумом постичь истину нельзя А.Б. Сосинский |
Вчера в рамках проекта «Публичные лекции "Полит.ру"» прошла лекция Алексея Брониславовича Сосинского «Теорема Гёделя о неполноте»
www.polit.ru/article/2012/11/24/anons_sossinsky...
Аннотация: Теорема Гёделя, наряду с открытием теории относительности, квантовой механики и ДНК, обычно рассматривается как крупнейшее научное достижение ХХ века. Почему? В чем ее суть? Каково ее значение? На эти вопросы мы попытаемся ответить. В частности, будут даны несколько разных ее формулировок, описаны три подхода к ее доказательству (Колмогорова, Чейтина и самого Гёделя), и будет объясняться ее значение для математики, физики, компьютерной науки и философии.
Алексей Брониславович Сосинский, математик, профессор Независимого московского университета, офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования 2012 года.
От себя хочу сказать, что лекция была рассчитана не на математиков, по крайней мере, не на логиков, как сказал лектор с самого начала.
Тем не менее, думаю, что это должно быть интересно всем неспециалистам в теореме Гёделя.
Я узнала чрезвычайно много нового. Может быть, потому что не читала Успенского... Но обязательно прочитаю теперь: math.ru/lib/book/plm/v57.djvu
Правда, Сосинский говорит, что Успенский апологет семантической теоремы Гёделя, а сам Сосинский больший специалист в синтаксической ее формулировке. Но я надеюсь, всё это попало в запись, и вы сможете увидеть всё сами.
Об авторе
www.mathnet.ru/php/presentation.phtml?presentid...
Принцип Конвея-Кочена.
en.wikipedia.org/wiki/Free_will_theorem
Фантастика! )
Надо найти эту статью I. Reznikoff и почитать...
===
Даже уже нашла: arxiv.org/pdf/1008.3661v1.pdf
Осталось только прочитать)
Это как раз было очень интересно.
cs.umaine.edu/~chaitin/
Там внизу обложки книг - очень красивые )
читать дальше
научно-популярно для гуманитариев...
Однако он всё же не преминул высказаться в том духе, что "я буду изредка писать формулы на доске — гуманитарии в это время могут отдохнуть и расслабиться, а потом я вновь перейду на изложение на русском, и тогда они смогут включиться обратно")
Формулы там конечно запредельной сложности ) Куда этим несчастным их понять-то... )
===
Пришла домой - не удержалась и включила запись)
Всё же дома в кресле это совсем по-другому смотрится...
(Лучше, чем там на жердочке))
Но всё равно не понимаю, как можно про недоказуемое утверждение знать, что оно истинно... Если это не аксиома...
удачнонеудачноудачно попала в слепое пятно камеры)Даже теперь не могу сказать: смотрите, я вооон там! Зачем ходила?
А запись "не под запись" - это да, сильный ход...
Может меня там в конце крупным планом сняли?
Гость,
Невозможно работать в таких условиях ))
На сайте вроде с бегунком... но я не пробовал включать...
А у меня и бегунка не видно...
А у меня есть и бегунок и на небольшой промежуток времени можно вернуться назад. - Любая система не совершенна...
Гость, а вперед можно прокрутить? Назад и у меня можно...
В пределах буфера.
video.polit.ru/121213_mos_pl_sosinskii.flv
854 Мб, скачайте и смотрите с комфортом