Отправлено ux 17 мая 2005 г. 12:38 В ответ на: Тавтология, однако, аксиома и есть недоказуемое и неопровержимое.. В оригинале вроде говорилось о том, что любая теория на системе аксиом станет либо противоречивой либо неполной.. отправлено bbg 17 мая 2005 г. 12:28

Теорема Гёделя о неполноте:
В любой непротиворечивой системе аксиом можно сформулировать утверждение которое нельзя ни доказать не оровергнуть.

• Сформулировать утверждение - это и есть натянуть теорию на систему аксиом (и уже натянутых на них теорий), кстати, требование непротиворечивости системы аксиом смысла не имеет, ибо предполагает систему метааксиом, которые и судят и противоречивостях.. — bbg   (17.05.2005 12:53 80.78.98.34, пустое)
  • Брежу, не иначе. Температура воздуха уже за тридцать два. Кондишн сдох. Геделя мерещат(ся). Счас уйду в метастабильность. Please, ignore.. — bbg   (17.05.2005 13:17 80.78.98.34, пустое)