о Гёделе и Изабелле, take 2

[avva]

Написал длинную и подробную запись о: доказательстве Гёделя от 40-го года непротиворечивости аксиомы выбора, конструктивной вселенной, V=L, и недавней формализации этого доказательства Ларри Польсоном из Кембриджа, в формальной системе Isabelle (ссылки: описание док-ва; само док-во со всеми определениями, автоматически сгенерированное, больше 200 страниц). И ещё о том, как я попытался изучить эту самую Изабеллу попристальнее, но понял, что мне не хватает адекватного понимания лямбда-исчисления (которое уже давно пора изучить, мне мешает эта дырка) и языка ML, на к-м Изабелла написана.

А ЖЖ взял да и съел мою длинную и подробную запись, и не поперхнулся. Я в шоке. Писать его заново нет сил и желания, так что пусть будет хоть это вместо него.

Comments

[cjoy.livejournal.com]

А вот. А каково бесплатным юзверям.

Просьба

[iliat.livejournal.com]

А можно кинуть ссылку на какой-нибудь хороший ресурс по set theory и связанным темам.
А то у меня такое кошмарное положение: я все это учил, и мне казалось, что помню,
а получается, что-то вроде invalid pointer - только пытаюсь что-то почитать, как мозги
отказывают :-(.
Пытался даже читать конспект по Технионовской логике-2, но слишком уж там все...конспектно.
Спасибо!

[rydel23.livejournal.com]

Я даже рад. Меня так замучил профессор Николай Н. Николаев этим лямбда-исчислением, что если б я щас в пятницу вечером after 5 beers увидел тут эту чёртову лямбду, дык всё б настроение испортилась. ^)

Re: Просьба

[avva.livejournal.com]

Не знаю хорошего ресурса, извини :(
Хороших книжек по теории множеств и мат. логике есть немало, а хорошие ресурсы мне не попадались (что не значит, что их нет).

Извиняюсь за занудство,

[iliat.livejournal.com]

А книгу/и можешь посоветовать ?
Спасибо.

[boroda.livejournal.com]

Shit happens.

Re: Извиняюсь за занудство,

[avva.livejournal.com]

По мат. логике в целом очень рекомендую A Mathematical Introduction to Logic (кажется, так) Enderton'а.

По теории множеств есть хорошая книга Levy "Set Theory" -- но большая и нелёгкая. Есть Кунена (Kunen) с тем же названием -- короче, покрывает немало материала, читабельная. Есть Jech'а с тем же названием - самая полная, но очень лаконичная и формальная. Это всё книги по теории множеств вообще.

Ещё вспоминается "Set Theory and the Continuum Problem" Смульяна (Smullyan) -- если я правильно помню, содержит и введение в теорию множеств. Смульяну нет равных в ясности и интересности изложения. Его же "Goedel's Incompleteness Theorems" - идеальная книга по теоремам о неполноте Гёделя -- light on formalism, yet suitably rigorous; and wonderfully readable and engaging.

Re: Извиняюсь за занудство,

[iliat.livejournal.com]

Уже нашел все в каталоге библиотеки Торонтского университета.
Побегу брать.
Спасибо большое !

[avva.livejournal.com]

Признавайтесь, куда я его задевал?

[talash.livejournal.com]

I always write the longer and more serious posts in notepad and then do copy-paste, just because of such cases.

[avva.livejournal.com]

Спасибо!

Re: Извиняюсь за занудство,

[malenkiy-scot.livejournal.com]

Простая (но в достаточной степени формальная) книга по теории множеств: Patrick Suppes, Axiomatic Set Theory. Последняя глава там как раз про Аскиому Выбора.

[yoksel-moksel.livejournal.com]

А нельзя ли для народа? О конструктивной вселенной и т.п.?

Re:

[avva.livejournal.com]

OK, сейчас будет.