Обложка Смальян Р. Теория формальных систем. Пер.  с англ.
Id: 21249
799 руб.

Теория формальных систем.
Пер. с англ.

1981. 208 с. Букинист. Состояние: 4+. .
  • Мягкая обложка

Аннотация

В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение также охватывает основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных множествах, эффективных операциях над множествами и функциями. Автору с помощью удачных теоретических и методических находок (таких, как понятие рудиментарного предиката, специальные способы кодирования ...(Подробнее)слов, существенно упрощающие арифметизацию, и др.) удалось многие результаты математической логики, ранее излагавшиеся громоздко и разрозненно, объединить в единое целое, отделив в них принципиальное ядро от деталей. Это распространяется, в частности, на знаменитую теорему Геделя о неполноте формализаций арифметики и на родственные ей теоремы. Многие интересные результаты, содержащиеся в книге, получены непосредственно ее автором.

Эта книга - полезное учебное пособие для студентов, аспирантов и математиков различных специальностей, заинтересованных в кратком и ясном изложении важнейших результатов теории формальных систем, теории алгорифмов и их приложений к математической логике.