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

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

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

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

Сообщества

Настроить S2

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



Пишет Vladimir Vladimirovich ([info]moss)
@ 2010-04-05 13:12:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Где ж полнота?!
Все мы вышли из теоремы Геделя.

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


(Анонимно)
2010-04-05 15:01 (ссылка)
всех нас вывели из теоремы геделя

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


[info]_moss@lj
2010-04-05 16:51 (ссылка)
да, все мы следствия, и нас ведут знатоки

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


[info]drakosha_ru@lj
2010-04-05 15:14 (ссылка)
От теоремы Генделя осталась одна полнота

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


[info]_moss@lj
2010-04-05 16:35 (ссылка)
Неприятное ощущение полноты.

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


[info]antipode@lj
2010-04-06 00:07 (ссылка)
Не знаю как все, а я туда вошел. Одел форму Россера - и шасть!

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


[info]_moss@lj
2010-04-06 01:03 (ссылка)
Полно Вам!

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

да кто нынче арифметизуем...
[info]clittary_hilton@lj
2010-04-06 13:19 (ссылка)
Эвклидова геометрия — законченная, полная и непротиворечивая логическая структура (теорема Г. к ней не применима, ибо ЭГ не арифметизуема)... а кто нынче арифметизуем ?

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

Re: да кто нынче арифметизуем...
[info]_moss@lj
2010-04-06 13:31 (ссылка)
Демократия - это новая арифметизуемость!

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


[info]zhenyach@lj
2010-04-07 20:15 (ссылка)
Разве я сторож полноте своей?

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


[info]_moss@lj
2010-04-07 23:07 (ссылка)
Гедель, эта теорема вас полнит!

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