Теорема Геделя

Теорема Геделя КНИГИ » ЕСТЕСТВЕННЫЕ НАУКИ

Название: Теорема Геделя
Автор: Э. Нагель, Дж.Р. Ньюмен
Издательство: Красанд
Год: 2010
Формат: pdf
Страниц: 120
Размер: 25 Mb
Язык: Русский

Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж.Р. Ньюмена, посвященная теореме Геделя о неполноте. Эта теорема была изложена в небольшой статье К. Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты.

turbobit
sibit

НЕ РАБОТАЕТ TURBOBIT.NET? ЕСТЬ РЕШЕНИЕ, ЖМИ СЮДА!

Автор: sss120 17-06-2017, 07:48 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Лекции по математической логике и теории алгоритмов (Белов Ю.А., Соколов В.А.) Название: Лекции по математической логике и теории алгоритмов: учебное пособие Автор: Белов Ю.А., Соколов В.А. Издательство: Ярославль: ЯрГУ Год:...

Элементы математической логики (1973) Название: Элементы математической логики Автор: Новиков П.С. Издательство: М.: Наука Год: 1973 - 2-изд., испр. Cтраниц: 401 Формат: pdf Размер: 23...

Множества. Логика. Аксиоматические теории Название: Множества. Логика. Аксиоматические теории Автор: Столл Р. Р. Издательство: Просвещение ISBN: 2-2-1-165-68 Год: 1968 Формат: PDF Качество:...

Математическая логика Название: Математическая логика Автор: Колмогоров А.Н., Драгалин А.Г. Издательство: КомКнига Год: 2006 Формат: pdf Страниц: 241 Размер: 22 Mb Язык:...

Символическая логика Название: Символическая логика Автор: Слинин Я.А. (ред.) Издательство: СПб.: Изд-во С.-Петерб. ун-та Год: 2005 Формат: pdf Страниц: 506 Размер: 14 mb...

Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...

Путь. Математика и другие миры Название: Путь. Математика и другие миры Автор: Паршин А.Н. Издательство: М.: Добросвет Год: 2002 Формат: pdf Страниц: 240 Размер: 11 mb Язык:...

Философские принципы математики Название: Философские принципы математики Автор: Луи Кутюра Год издания: 1913 Издательство: Издание Н. П. Карбасникова Страниц: ...

Квантовая логика Название: Квантовая логика Автор: Васюков В. Л. Жанр: Логика Издательство: ООО "ПЕР СЭ" Год выпуска: 2005 Страниц: 192 Язык: Русский Формат: djvu,...

Логика Автор: Жоль К.К. Название: Логика Издательство: М.: ЮНИТИ-ДАНА Год: 2004 Формат: djvu Размер: 15 mb Язык: Русский Дается изложение важнейших...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.