Отправлено quark 17 мая 2005 г. 08:51 В ответ на: так вопрос то остался без ответа - обсуждали обсуждали и - типа мозг исследованию не подлежит? :-) отправлено net 17 мая 2005 г. 08:31

Но, поскольку за неделю (!) разговоров
сделать это никому не удалось,
во избежание кровопролитий предлагаю
закрыть тему.
На интуитивном уровне все и так знают
что такое триггер, а требовать от
полупроводниковой схемотехники
логической точности и непротиворечивости
присущей формальным математическим
дисциплинам по-моему нет нужды
(хотя это было бы, конечно, приятно).

• "В любой системе аксиом есть недоказуемые и неопровержимые одновременно утверждения (с)" — druzhin   (17.05.2005 10:14 80.92.98.198, пустое)
  • Тавтология, однако, аксиома и есть недоказуемое и неопровержимое.. В оригинале вроде говорилось о том, что любая теория на системе аксиом станет либо противоречивой либо неполной.. — 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, пустое)