Словарь: подробно

Новости
Случайная цитата
  • Теорема Курта Гёделя о неполноте
    Курт Гёдель в статье: «О формально неразрешимых предложениях Principia Mathematica и родственных систем» показал, что в достаточно богатых формальных системах имеются неразрешимые предложения, то есть предложения, которые недоказуемы и одновременно неопровержимы.Математик и логик Альфред Тарский в 1936 году так кратко сформулировал этот вывод: «Во всякой достаточно мощной системе истинность предложений системы неопределима в рамках самой системы»Этот результат показал неосуществимость программы...