RUSSIAN

Σ-определимость и теорема Гёделя о неполноте

By Ершов Ю.Л.

Book information

Publisher
Научная книга
Year
1995
ISBN
5-88119-003-3
Language
russian
Format
DJVU
Filesize
2 MB (1680907 bytes)
Pages
78\78
Topic
Mathematics Logic
Library
Envoy
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-08-18 18:13:56

Description

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

Similar books