![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
avvaКрасота теоремы Громова, доказавшего равенство "группы с полиномиальным ростом" = "почти нильпотентные группы", не перестаёт меня тревожить уже много месяцев, с тех пор, как я случайно её коснулся. Очень хочется прочитать и понять доказательство, но не верю, увы, что оно мне будет доступно и понятно; а чтобы было доступно, надо много чего изучить, на что времени нету.
И всё равно — тревожит и волнует.
И всё равно — тревожит и волнует.
no subject
Date: 2003-05-27 05:57 am (UTC)Re:
Date: 2003-05-27 05:59 am (UTC)ого!
Date: 2003-05-27 06:01 am (UTC)Буду страшно признателен!
Re: ого!
Date: 2003-05-27 06:03 am (UTC)no subject
Date: 2003-05-27 06:13 am (UTC)Она была переведена на русский еше в 85 году.
Частично ее текст можно прочитать на http://golovolomka.hobby.ru/
Но к сожалению как раз части про теорему Геделя на этом сайте и нет.
no subject
Date: 2003-05-27 06:22 am (UTC)Смульян вообще гений.
И всё же в его книге он подходит постепенно к объяснению только слабого, "семантического" варианте теоремы Гёделя.
А вот лучший вообще источник про теоремы о неполноте Гёделя, который я знаю - книга того же Смульяна "Goedel Incompleteness Theorems".
Эта книга со строгими и полными доказательствами всего, что нужно, но при этом в ней количество ненужных technicalities сведено до минимума, а конкретным теоремам о конкретных формальных системах предшествуют их "абстрактное" изложение в виде "абстрактных" теорем, позволяющих лучше прочувствовать идею теорем и общее строение доказательств.
Есть немало других хороших книг про теоремы Гёделя, но эту я особенно рекомендую всем желающим. Конечно, стоит учитывать, что это не книга головоломок и не популярное изложение. Требуется некоторое, пусть минимальное, знакомство с математической логикой, и некоторое количество того загадочного материала, который по-английски называется mathematical maturity -- способность следовать за математическими рассуждениями, не путаясь в мелочах и не теряя нити повествования.
Ронни
Date: 2003-05-27 06:23 am (UTC)no subject
Date: 2003-05-28 09:38 pm (UTC)случайно подвернулся сегодня линк на книгу В.А.Успенского "Труды по нематематике", где в том числе есть что-то о теореме Гёделя (ещё не смотрел)
Re:
Date: 2003-05-27 06:02 am (UTC)Не уверен, что оно хорошо получилось, правда -- я торопился слишком. Я пытался там подчеркнуть, насколько мог, то взаимопроникновение и переплетение синтаксиса и семантики, которое является, по моему убеждению, наиболее важной и красивой гранью современной логики.
Ронни
Date: 2003-05-27 06:06 am (UTC)Прямую ссылочку можно?
Впрочем, я дурак. Я в вашем журнале сейчас поищу.
Ронни
Date: 2003-05-27 06:08 am (UTC)