Основания математики теория доказательств

Основания математики теория доказательств

Bibliographic Details
Main Author: Гильберт, Давид 1862-1943
Other Authors: Бернайс, Пауль, Адян, Сергей Иванович 1931- (Editor)
Format: eBook
Language:Russian
Published: Москва Наука, Физматлит 1982
Series:Математическая логика и основания математики
Subjects:
основания математики
доказательства (мат.), теория
Гильберта ε-символ
Гильберта ε-теорема первая
доказательства непротиворечивости
переменные связанные, метод исключения
арифметика, исследования
доказательство (мат.), методы
логический символизм
Гильберта ε-теорема вторая
логический формализм
арифметизация математики, метод
исчисление предикатов
Геделя теорема о неполноте арифметических исчислений
нормальные формы (мат. логика) теоретико-модельные
функции вычислимые
Черча теорема о невозможности алгоритма
исчисление высказываний
формализмы (мат. логика)
числа действительные, теория
формализм арифметический, доказательство непротиворечивости
логические исчисления
Эрбрана теорема
математический анализ, дедуктивное построение
монографии
Online Access:http://sun.tsu.ru/limit/2016/000080480/000080480.pdf
Перейти в каталог НБ ТГУ

Similar Items

Similar Items