Есть ли Бог? Что есть Бог, если он есть?
599,639
4,219
|
Petit-charat ( Слушатель ) |
| 20 авг 2010 10:08:17 |
Тред №248254
новая дискуссия Дискуссия 121
Рассуждения-нё!
[Утверждение-нё]
F1(a)=F2(b),
где F1 и F2 функции-нё,
a и b любые натуральные числа-нё.
[/Утверждение-нё]
Допустим это Утверждение-нё по Геделю недоказуемо в рамках системы S-нё.
Допустим мы находим такое a и b для которых F1(a)=F2(b) не выполняется-нё.
Значит Утверждение-нё неверно.
Значит теорема о неполноте не противоречит требованию фальцифицируемости-нё.
[Утверждение-нё]
F1(a)=F2(b),
где F1 и F2 функции-нё,
a и b любые натуральные числа-нё.
[/Утверждение-нё]
Допустим это Утверждение-нё по Геделю недоказуемо в рамках системы S-нё.
Допустим мы находим такое a и b для которых F1(a)=F2(b) не выполняется-нё.
Значит Утверждение-нё неверно.
Значит теорема о неполноте не противоречит требованию фальцифицируемости-нё.
Отредактировано: Petit-charat - 20 авг 2010 10:43:58
ОТВЕТЫ (0)
Комментарии не найдены!