13:11

На плечах гигантов, на спинах электронов
Философское значение теоремы Гёделя: одним разумом постичь истину нельзя

А.Б. Сосинский


Вчера в рамках проекта «Публичные лекции "Полит.ру"» прошла лекция Алексея Брониславовича Сосинского «Теорема Гёделя о неполноте»
www.polit.ru/article/2012/11/24/anons_sossinsky...



Аннотация: Теорема Гёделя, наряду с открытием теории относительности, квантовой механики и ДНК, обычно рассматривается как крупнейшее научное достижение ХХ века. Почему? В чем ее суть? Каково ее значение? На эти вопросы мы попытаемся ответить. В частности, будут даны несколько разных ее формулировок, описаны три подхода к ее доказательству (Колмогорова, Чейтина и самого Гёделя), и будет объясняться ее значение для математики, физики, компьютерной науки и философии.

Алексей Брониславович Сосинский, математик, профессор Независимого московского университета, офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования 2012 года.


От себя хочу сказать, что лекция была рассчитана не на математиков, по крайней мере, не на логиков, как сказал лектор с самого начала.
Тем не менее, думаю, что это должно быть интересно всем неспециалистам в теореме Гёделя.
Я узнала чрезвычайно много нового. Может быть, потому что не читала Успенского... Но обязательно прочитаю теперь: math.ru/lib/book/plm/v57.djvu
Правда, Сосинский говорит, что Успенский апологет семантической теоремы Гёделя, а сам Сосинский больший специалист в синтаксической ее формулировке. Но я надеюсь, всё это попало в запись, и вы сможете увидеть всё сами.


Об авторе

@темы: Математическая логика, Люди, Новости, Наука

Комментарии
14.12.2012 в 13:37

На плечах гигантов, на спинах электронов
Вот еще хорошая ссылка:
www.mathnet.ru/php/presentation.phtml?presentid...
14.12.2012 в 13:43

Спасибо!
14.12.2012 в 15:06

Белый и пушистый (иногда)
Спасибо!
14.12.2012 в 16:19

Дилетант, Спасибо!)
14.12.2012 в 17:51

Спасибо. Особенно мне понравилась теорема, что если Наблюдатель обладает свободой воли, то частица, за которой он наблюдает, тоже обладает свободой воли.
14.12.2012 в 18:31

На плечах гигантов, на спинах электронов
Alidoro, да!
Принцип Конвея-Кочена.
en.wikipedia.org/wiki/Free_will_theorem
Фантастика! )
Надо найти эту статью I. Reznikoff и почитать...
===
Даже уже нашла: arxiv.org/pdf/1008.3661v1.pdf
Осталось только прочитать)
14.12.2012 в 18:48

На плечах гигантов, на спинах электронов
Еще мне жаль, что он в конце достаточно скомканно рассказал про Чейтина м его доказательство.
Это как раз было очень интересно.
cs.umaine.edu/~chaitin/
Там внизу обложки книг - очень красивые )
14.12.2012 в 20:47

Эллипс - это круг, который можно вписать в квадрат 25х40
Дилетант, Спасибо за материал!... :red: ... Интересно послушать...
читать дальше
14.12.2012 в 21:40

На плечах гигантов, на спинах электронов
All_ex, нам тоже логику отдельно не читали...
научно-популярно для гуманитариев...
Однако он всё же не преминул высказаться в том духе, что "я буду изредка писать формулы на доске — гуманитарии в это время могут отдохнуть и расслабиться, а потом я вновь перейду на изложение на русском, и тогда они смогут включиться обратно")
Формулы там конечно запредельной сложности ) Куда этим несчастным их понять-то... )
14.12.2012 в 21:45

Эллипс - это круг, который можно вписать в квадрат 25х40
Дилетант, Это практически принцип моих студентов... ПОКА Лектор читать дальше будЕТ писать формулы на доске — МЫ, гуманитарии, в это время моЖЕМ отдохнуть и расслабиться..." ... :laugh:
14.12.2012 в 21:59

На плечах гигантов, на спинах электронов
All_ex, (((
===
Пришла домой - не удержалась и включила запись)
Всё же дома в кресле это совсем по-другому смотрится...
(Лучше, чем там на жердочке))
Но всё равно не понимаю, как можно про недоказуемое утверждение знать, что оно истинно... Если это не аксиома... :upset:
14.12.2012 в 22:10


14.12.2012 в 22:20

На плечах гигантов, на спинах электронов
Я очень удачно неудачно удачно попала в слепое пятно камеры)
Даже теперь не могу сказать: смотрите, я вооон там! Зачем ходила?
А запись "не под запись" - это да, сильный ход...




14.12.2012 в 22:24

Эллипс - это круг, который можно вписать в квадрат 25х40
Дилетант, смотрите, я вооон там! - сделайте стоп кадр... :)
14.12.2012 в 22:24


14.12.2012 в 22:39

На плечах гигантов, на спинах электронов
All_ex, сделайте стоп кадр... так нет ведь меня там... Правда, я ни разу до конца не досмотрела... )
Может меня там в конце крупным планом сняли?

Гость,

14.12.2012 в 22:43

Я "досмотрел" до конца, но большую часть времени только слушал.
14.12.2012 в 22:43

Эллипс - это круг, который можно вписать в квадрат 25х40
Дилетант, так нет ведь меня там... - тогда надо нарисовать стрелку за край картинки... и подписать "там была я"... :)
14.12.2012 в 22:47

На плечах гигантов, на спинах электронов
Такая дурацкая эээ... фильма... она не перематывается. Чуть бегунок тронешь, начинается сначала (
Невозможно работать в таких условиях ))
14.12.2012 в 22:51

Эллипс - это круг, который можно вписать в квадрат 25х40
Чуть бегунок тронешь, - А у меня и бегунка не видно... :kino: ... для повтора понравившегося места надо смотреть сначала...
На сайте вроде с бегунком... но я не пробовал включать...
14.12.2012 в 23:04

А у меня есть и бегунок и на небольшой промежуток времени можно вернуться назад. Что я делаю не так?
14.12.2012 в 23:07

Эллипс - это круг, который можно вписать в квадрат 25х40
Такая дурацкая эээ... фильма... она не перематывается.
А у меня и бегунка не видно...
А у меня есть и бегунок и на небольшой промежуток времени можно вернуться назад. - Любая система не совершенна... :laugh:
14.12.2012 в 23:08

На плечах гигантов, на спинах электронов
У меня сейчас вообще заело посередине (( Прогнило что-то в датском королевстве (
Гость, а вперед можно прокрутить? Назад и у меня можно...
14.12.2012 в 23:10

На плечах гигантов, на спинах электронов
14.12.2012 в 23:13

вперед можно прокрутить?
В пределах буфера.
video.polit.ru/121213_mos_pl_sosinskii.flv
854 Мб, скачайте и смотрите с комфортом
14.12.2012 в 23:19

На плечах гигантов, на спинах электронов
Гость, спасибо!