October 24th, 2009

rodin01

Логика: от Дунса Скота и Гёделя до Вассермана

Уже много лет по Сети гуляет фраза, что «любая система логических суждений является либо неполной, либо противоречивой», и что, «по Гёделю, полная система аксиом неизбежно противоречива». Не так давно на этот счет высказался Анатолий Вассерман:
http://khazarzar.livejournal.com/71462.html

По поводу того, что не любая система логических суждений является неполной, а только достаточно богатая, я по ссылке высказался. Меня заинтересовала возможность полной, но при этом именно противоречивой логической системы: по какому критерию определяется ее полнота, если отвергнут второй закон формальной логики?

Collapse )

Вразумительного ответа от Вассермана, увы, не последовало:
http://khazarzar.livejournal.com/71462.html?thread=716838#t716838

rodin01

20 фактов обо мне

1. Руслан.
2. Скептик.
3. «Сова».
4. Первый диплом технический. Автоматизация.
5. Ныне считаю себя гуманитарием.
6. Чаеман. Кофе не пью. Не ем подсолнечных семечек.
6. Играю на гитаре.
8. Лауреат Всесоюзного конкурса.
9. Кошатник.
10. Моя бабушка по отцу – карелка.
11. Служил еще в Советской армии. Командир танка (Т-55).
12. Был лучшим математиком школы.
13. Состоял в детской комнате милиции.
14. Имел первый разряд по шахматам.
15. Разведен.
16. Член Союза писателей России.
17. Нерелигиозен.
18. Курю.
19. Не верю в рациональность мира.
20. Я не похож на вас.