Математическая логика
Математика
  • формат fb2
  • размер 131,69 КБ
  • добавлен 17 марта 2015 г.
Нагель Эрнст, Ньюмен Джеймс Рой. Теорема Гёделя
М.: "Красанд", 2011 г. ISBN 978-5-396-00321-7, 978-5-396-00092-6; 120 с.
Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Геделя, которому посвящена книга.
Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.
Похожие разделы