The liar paradox

[B.Sacred]

The liar paradox is the sentence "This sentence is false". An analysis of the liar sentence shows that it cannot be true (for then, as it asserts, it is false), nor can it be false (for then, it is true).

Gödel's incompleteness theorems

@темы: Для запоминания, Между слов, Чужими словами, Brainfucking

Comments

[по направлению к свану]

рассел решает
в теории типов
там оч подробный разбор

[B.Sacred]

по направлению к свану
Я в курсе. спасибо)) Просто мне нравится сама идея теорем Гёделя.

[по направлению к свану]

B.Sacred а мне как раз гедель из всего что есть по этой теме меньше всего нравится
слишком абстрактно-гуманитарный
типа все его устраивает
плохо и ладно

[B.Sacred]

по направлению к свану
Вы математик?)

Он как Шопенгауэр)) Случилась фигня? Докажем, что она глобальна.

[по направлению к свану]

B.Sacred логик
но специализируюсь не на математической а на схоластике
а математическую приходится все равно осваивать потому как все связано

[B.Sacred]

по направлению к свану
впечатлен)) мое почтение.

[по направлению к свану]

B.Sacred да ладно
все еще в процессе

[B.Sacred]

по направлению к свану
я тоже. только направление - прикладная математика.