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

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

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

Успенский В.А.

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Год:

1982

Издательство:

Наука

Язык:

russian

Страницы:

113

Серия:

ПЛМ 57

Файл:

PDF, 405 KB

IPFS:

,

russian, 1982

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Ф.К. Алиев, И.А. Юров — Курс лекций по математической логике и теории алгоритмов

— Проблемы кибернетики, вып.03

Мальцев А.И. — Алгоритмы и рекурсивные функции

коллектив авторов — Математическая логика и теория алгоритмов: учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист

Гладкий А.В. — Математическая логика

Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера

Успенский В.А. — Теорема Гёделя о неполноте

Глухов М.М. — Математическая логика

Глухов М.М., Шишков А.Б. — Математическая логика. Дискретные функции. Теория алгоритмов

Зюзьков В.М., Шелупанов А.А. — Математическая логика и теория алгоритмов

Бухараев Н.Р. — Рекурсивные функции. Часть 2

Успенский В.А. — Теорема Гёделя о неполноте в элементарном изложении

Беляев Н.Р. — Математический анализ. I семестр

Глушков В.М. — Введение в кибернетику

Yuri Ivanovich Manin, Юрий Иванович Манин — Лекции по математической логике

Глушков В.М. — Введение в кибернетику

Успенский В.А. — Теорема Гёделя о неполноте

Успенский В.А. — Теорема Гёделя о неполноте

Пузаренко В.Г. — О вычислимости над моделями разрешимых теорий

Комбарро Э.Ф. — Классификация подмножеств натуральных чисел при помощи вычислимых перестановок

Стенюшкина В.А. — Математическая логика и теория алгоритмов: Учебное пособие

Рояк М.Э., Рояк С.Х. — Математическая логика

Шанин Н.А. (ред.) — Проблемы конструктивного направления в математике

Ильиных А.П. — Теория алгоритмов: Учебное пособие

Зюзысов В.М. — Теория алгоритмов: Учебное пособие

Ершов Ю.Л. — Определимость и вычислимость

Булос Дж., Джеффри Р. (G.S.Boolos,R.C.Jeffrey) — Вычислимость и логика

Булос Дж., Джеффри Р. — Вычислимость и логика

Игошин В.И. — Теория алгоритмов

Л. А.Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр — Математическая логика

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов

Босс В. — Лекции по математике: От Диофанта до Тьюринга

Колмогоров А.Н., Драгалин А.Г. — Математическая логика

Светлов В.А. — Философия математики: Основные программы обоснования математики XX столетия

Ключевые слова

множество

множества

существует

арифметики

перечислимо

алфавите

алгоритм

вычислимой

арифметического

подмножество

вычислимая

определения

суждение

множеств

относительно

программы

формулой

дедуктики

результат

утверждение

натуральных

арифметичности

расширенного

значений

алгоритма

непротиворечивой

перечислимое

подстановки

разрешимо

утверждения

дедуктика

кодирования

являются

алгоритмов

арифметическое

называть

называется