 |
Чат КОБ
|
|||||||
Данный форум существует в настоящий момент, как памятник истории развития движения сторонников КОБ и хранилище значительного объёма сопутствующей информации. Функцию площадки общения форум не исполняет. Регистрация новых пользователей запрещена.
|
|
|
Опции темы | Поиск в этой теме | Опции просмотра |
04.09.2018, 23:42
|
#9 |
|
Форумчанин
Регистрация: 13.04.2011
Адрес: Земля
|
Любое доказательство теорем сводится к приведению к тождественности двух аксиоматической комбинаций - в левой части тождества и в правой. Если доказательство от противного, то это только добавляет знак инверсии в тождество.
По сути Гёдель именно таким способом и доказал свою теорему. Достаточно было только хорошенько подумать над комбинациями аксиом. |
|
|
Древовидный видЧасовой пояс GMT +3, время: 04:17.