Вторая теорема Геделя

Avalanche

где-то слышал, что из сложной логической цепи путем формальных логических операций можно получить логическое противоречие (например, что 2 не равно 2 или 2+2 не равно 4 при этом это заключение - не софизмом, т.к. нет логических ошибок.
Приведите плз пример подобной логической цепочки.

spiritmc

Такой нет.
Вторая теорема Гёделя не о том.
---
...Я работаю антинаучным аферистом...

soyz68

она не о том но из нее следует это

Xephon

это может следовать только из ложной посылки

slo14

Вторая теорема Геделя говорит о существовании утверждения, которое нельзя ни опровергнуть ни доказать. (В любом достаточно сложном исчислении)

spiritmc

Существование противоречия?
---
...Я работаю антинаучным аферистом...
Оставить комментарий
Имя или ник:
Комментарий: