Отправлено druzhin 17 мая 2005 г. 10:14 В ответ на: По сути, Вы правы. Прежде (!) чем спорить нужно догориться о терминах... отправлено quark 17 мая 2005 г. 08:51

• Тавтология, однако, аксиома и есть недоказуемое и неопровержимое.. В оригинале вроде говорилось о том, что любая теория на системе аксиом станет либо противоречивой либо неполной.. — bbg   (17.05.2005 12:28 80.78.98.34, пустое)
  • Ответ: (+) — ux   (17.05.2005 12:38 194.190.184.254, 147 байт)
    • Сформулировать утверждение - это и есть натянуть теорию на систему аксиом (и уже натянутых на них теорий), кстати, требование непротиворечивости системы аксиом смысла не имеет, ибо предполагает систему метааксиом, которые и судят и противоречивостях.. — bbg   (17.05.2005 12:53 80.78.98.34, пустое)
      • Брежу, не иначе. Температура воздуха уже за тридцать два. Кондишн сдох. Геделя мерещат(ся). Счас уйду в метастабильность. Please, ignore.. — bbg   (17.05.2005 13:17 80.78.98.34, пустое)
• Судя по значку "копи райт" Ваша фамилия Гёдель??? — quark   (17.05.2005 10:28 213.171.38.20, пустое)
  • Хоть кто-то подсказал - а то у меня в башке был Гильберт, но я вроде помнил, что не он. — druzhin   (17.05.2005 10:44 80.92.98.198, пустое)
    • Меняйте прошивку... — quark   (17.05.2005 10:46 213.171.38.20, пустое)