Отправлено quark 17 мая 2005 г. 08:28 В ответ на: про триггеры(+) отправлено net 17 мая 2005 г. 08:07

• http://telesys.ru/wwwboards/fpga/221/messages/7107.shtml

• так вопрос то остался без ответа - обсуждали обсуждали и - типа мозг исследованию не подлежит? :-) — net   (17.05.2005 08:31 83.237.5.44, пустое)
  • Беднягу -=BH=- лишили предмета исследования еще в раннем детстве. С тех пор ему осталось лишь печально флудить в форумах. — cms   (17.05.2005 17:06 195.230.85.4, пустое)
    • :-) — -=ВН=-   (17.05.2005 19:30 194.190.181.231, пустое)
      • Ссори за наезд, под вечер поскандалить потянуло. С кем не бывает. — cms   (18.05.2005 00:21 195.170.46.165, пустое)
        • товарищу полковнику ваша шутка понравилась ;-) — net   (18.05.2005 06:57 83.237.5.44, пустое)
  • По сути, Вы правы. Прежде (!) чем спорить нужно догориться о терминах... — quark   (17.05.2005 08:51 213.171.38.20, 398 байт)
    • "В любой системе аксиом есть недоказуемые и неопровержимые одновременно утверждения (с)" — 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, пустое)