Соломоник Абрам Бенцианович

1927 год
-

Россия (СССР)

Филолог.

Родился в Витебске, с 1974 года живёт и работает в Израиле.

 

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