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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2013-11-29 23:27:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Для связи (ноябрь 2012)
Для связи. Комменты скринятся.

Архивы:
[ 2012 | 2011 | 2007-2010 | 2006 ]

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


[info]deevrod
2013-03-03 11:55 (ссылка)
>> у вменяемых формальных систем — есть
на то они и формальные, чтобы в них не было ни гулькина хуя интересного. всё, что интересно, формально сформулировать нельзя, как только ты формулируешь, колхозная твоя голова, весь смысл теряется, потому что проверка становится тривиальной. проваливай уже отсюда, убогое создание с квадратно-гнездовым мышлением.

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


[info]mclaudt
2013-03-03 20:59 (ссылка)
>>проверка становится тривиальной

Бу-ха-ха, глядите на мудака. Не можешь в полноту непротиворечивых систем, реализующих арифметику, тухлый лапоть?

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

(Читать комментарии) -