Основания математики. Математическая логика

Список источников >Нехудожественная литература >Научная и техническая литература >Естественные науки >Физико-математические науки >Математика >Основания математики. Математическая логика >

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

Автор: Смальян Р.
Год: 1981
Издание: Главная редакция физико-математической литературы издательства "Наука"
Страниц: 204
ISBN: [не указан]
В книге в систематической фор­ме излагаются основы обширной области математической логики - общей теории формальных си­стем. Изложение охватывает так­же основные сведения об алгорифмических (рекурсивных) функ­циях, перечислимых, разреши­мых и креативных множествах, эффективных операциях над мно­жествами и функциями. Автору с помощью удачных теоретиче­ских и методических находок (таких, как понятие рудиментар­ного предиката, специальные способы кодирования слов, су­щественно упрощающие арифметизацию, и др.) удалось многие результаты математической ло­гики, ранее излагавшиеся гро­моздко и разрозненно, объеди­нить в единое целое, отделив в них принципиальное ядро от деталей. Это распространяется, в-частности, на знаменитую теоре­му К. Гёделя о неполноте фор­мализации арифметики и на род­ственные ей теоремы. Многие интересные результаты, содер­жащиеся в книге, получены ее автором. Эта книга - полезное учебное пособие для студентов, аспиран­тов и математиков различных специальностей,...
Добавлено: 2015-08-19 21:09:51

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы