Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет oblomov_jerusal ([info]oblomov_jerusal)
@ 2004-09-28 14:33:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Гм, как бы это повежливее сформулировать, но...
Для рассказа публике о теореме Гёделя нельзя было найти докладчика, который знал бы, что утверждает теорема о полноте?

(Добавить комментарий)


[info]akuklev@lj
2004-09-28 11:58 (ссылка)
Прошу прощения, но Гёдель известен своей теоремой о НЕполноте теорий, в которых выразимы аксиомы арифметики.

Теоремы о полноте, кстати, тоже в природе имеются. Гильберт, например, как-то доказал, что целый класс вырожденых теорий являются полными.

(Ответить) (Ветвь дискуссии)


[info]french_man@lj
2004-09-28 12:12 (ссылка)
Здрасте на Вас. Теорема Геделя о полноте куда важнее и глубже, чем теорема о неполноте.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]akuklev@lj
2004-09-28 12:20 (ссылка)
Вы про теорему Гёделя о полноте исчисления предикатов первого порядка или я действительно чего-то не знаю? :-)

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]french_man@lj
2004-09-28 12:22 (ссылка)
О ней, конечно. Для меня, скажем, это совершенно неожиданный и непостижимый факт.

(Ответить) (Уровень выше)


[info]oblomov_jerusal@lj
2004-09-28 12:15 (ссылка)
Спасибо, я в курсе. Я имел в виду теорему о полноте логики 1-го порядка, доказанную также Геделем.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]akuklev@lj
2004-09-28 12:21 (ссылка)
См. выше, всё ясно. Просто ещё никогда не слышал, чтоб её называли "теоремой о полноте".
Прощу прощения.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]french_man@lj
2004-09-28 12:23 (ссылка)
Во всех книгах, которые я видел, именно так ее и называют.

(Ответить) (Уровень выше)


[info]ex_dmitri83798@lj
2005-01-18 12:08 (ссылка)
что-то интересное. а что такое вырожденная теория ? и что за результаты Гильберта ?

(Ответить) (Уровень выше)


[info]avva@lj
2004-09-29 03:19 (ссылка)
Да, это такой минимум требований. Который обычно не выполняется.

(Ответить)


[info]ignat@lj
2004-09-29 06:15 (ссылка)
Кстати, видели ли Вы вот это:
http://www.godelbook.net/

(Ответить)


[info]echooes@lj
2004-10-01 09:01 (ссылка)
И что же ?

(Ответить) (Ветвь дискуссии)


[info]oblomov_jerusal@lj
2004-10-01 09:19 (ссылка)
http://mathworld.wolfram.com/GoedelsCompletenessTheorem.html

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]echooes@lj
2004-10-02 03:03 (ссылка)
А я что сказал ?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]oblomov_jerusal@lj
2004-10-02 08:06 (ссылка)
Я уже точно не помню, как-то ее к арифметике пытались привязать, потом доказывали мне, что для нее не нужно понятие модели.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]echooes@lj
2004-10-03 01:18 (ссылка)
Арифметика первого порядка была в качестве примера.

Вначале я сказал, что доклад будет не корректен с точки зрения математики. Я нарочно старался использовать как можно меньше терминов, чтобы не запутать. Поэтому теорему о полноте я свёл к конкретному примеру, чтобы показать что не всё так гладко с применением теоремы о неполноте. Всё таки мы на семинаре по антропологии, а не математики.

В термин "утверждение верно" я упрятал и модели. Если я Вас пытался убедить в обратном, то видимо я Вас неправильно понял. Приношу свои извинения.

(Ответить) (Уровень выше)