Теорема Гёделя о неполноте

Теорема Гёделя о неполноте

書目詳細資料
主要作者:	Успенский В. А. Владимир Андреевич
語言:	俄语
出版:	Москва, Наука, 1982
叢編:	Популярные лекции по математике Вып.57
主題:	Теоремы > Доказательство математическая логика теорема Геделя алгоритмы применение критерии неполнота арифметика аксиомы
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=311890

相似書籍

Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
由: Калошина И. П. Инна Павловна
出版: (Саранск, Изд-во Саратовского ГТУ, 1988)

Определимость и вычислимость
由: Ершов Ю. Л. Юрий Леонидович
出版: (Москва, Экономика, 2000)

Вводный курс математической логики
由: Успенский В. А. Владимир Андреевич
出版: (Москва, Физматлит, 2007)

Последняя теорема Ферма. Генетическое введение в алгебраическую теорию чисел: пер. с англ.
由: Эдвардс Г.
出版: (Москва, Мир, 1980)

Как же называется эта книга?: пер. с англ.
由: Смаллиан Р. М. Рэймонд М.
出版: (Москва, Мир, 1981)

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
出版: (1983)

Принцесса или тигр: пер. с англ.
由: Смаллиан Р. М. Рэймонд М.
出版: (Москва, Мир, 1985)

Математическая логика: пер. с англ.
由: Клини С. К. Стивен Коул
出版: (Москва, Едиториал УРСС, 2005)

Элементы булевозначного анализа
由: Кусраев А. Г.
出版: (Новосибирск, Изд-во института математики СО АН СССР, 1987)

Теория формальных систем: пер. с англ.
由: Смальян Р. Раймонд
出版: (Москва, Наука, 1981)

Проектно-ориентированное обучение математической логике учебно-методическое пособие
由: Сангалова М. Е.
出版: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2013)

Математическая логика. Курс лекций. Задачник-практикум и решения
由: Лихтарников Л. М.
出版: (Санкт-Петербург, Лань, 2022)

Проблема неполноты теории и ее гносеологическое значение: монография
由: Антипенко Л. Г. Леонид Григорьевич
出版: (Москва, Наука, 1986)

Теорема существования гладкой неявной функции. Доказательство теоремы. Примеры. Задачи учебно-методическое пособие
由: Бибишкина Т. Е.
出版: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2019)

Вычислимое и невычислимое
由: Манин Ю. И. Юрий Иванович
出版: (Москва, Сов. радио, 1980)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
由: Кипнис М. М. Михаил Маркович
出版: (Челябинск, Изд-во ЧПИ, 1985)

Введение в математическую логику учебное пособие для вузов
由: Зюзьков В. М.
出版: (Санкт-Петербург, Лань, 2026)

Логические и математические исчисления: учебное пособие
由: Шиханович Ю. А. Юрий Александрович
出版: (Москва, Научный мир, 2011)

Тауберовы теоремы и их приложение в анализе и математической физике
由: Сувейка И. В. Иван Васильевич
出版: (Кишинев, Штиинца, 1982)

Математическая логика и алгебра: Сборник статей
出版: (Москва, Наука, 2003)

Математическая логика задачник-практикум для студентов физико-математического факультета
由: Троякова Г. А.
出版: (Кызыл, ТувГУ, 2018)

Сб. 8. Математика и философия I; Новые идеи в математике
出版: (1914)

Основная теорема арифметики: пер. с рус.
由: Калужнин Л. А. Лев Аркадьевич
出版: (Москва, Мир, 1979)

Развитие представлений о надежности математического доказательства
由: Перминов В. Я. Василий Яковлевич
出版: (Москва, Изд-во МГУ, 1986)

Апология математики: сборник статей
由: Успенский В. А. Владимир Андреевич
出版: (СПб., Амфора, 2010)

Алгебра и логика: сборник научных трудов
出版: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
出版: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Дискретная математика. Часть 1
由: Лежнина Ю. А.
出版: (Москва, РТУ МИРЭА, 2023)

Математическая логика
由: Гладкий А. В. Алексей Всеволодович
出版: (Москва, Изд-во Российского ГГУ, 1998)

Математическая логика и теория алгоритмов: учебное пособие
由: Игошин В. И. Владимир Иванович
出版: (Москва, Academia, 2004)

Введение в метаматематику: пер. с англ.
由: Клини С. К. Стефен К.
出版: (Москва, Изд-во иностранной литературы, 1957)

Математическая логика и теория алгоритмов: учебное пособие
由: Игошин В. И. Владимир Иванович
出版: (Москва, Академия, 2008)

Основания теории множеств: пер. с англ.
由: Френкель А. А. Абрахам А.
出版: (Москва, Мир, 1966)

Основоположения арифметики; Логико-математическое исследование о понятии числа: пер. с нем.
由: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
出版: (Томск, Водолей, 2000)

Введение в математическую логику: пер. с англ.
由: Мендельсон Э. Эллиот
出版: (Москва, Наука, 1971)

Теоретико-числовые методы в криптографии. Ч. 1 Учебное пособие
由: Ильин М. Е.
出版: (Рязань, РГРТУ, 2020)

Математика XX века. Взгляд из Петербурга
出版: (Москва, МЦНМО, 2010)

Дискретная математика: учебник
由: Поздняков С. Н. Сергей Николаевич
出版: (Москва, Академия, 2008)

Теорема разделения в случае наблюдений с памятью; Известия Томского политехнического университета [Известия ТПУ]; Т. 308, № 5
由: Демин Н. С. Николай Серапионович
出版: (2005)

Элементы математической логики
由: Новиков П. С. Петр Сергеевич
出版: (Москва, Наука, 1973)