Сон разума. Математическая логика и ее парадоксы

Main
Mathematics
Сон разума. Математическая логика и ее...

Сон разума. Математическая логика и ее парадоксы

Хавьер Фресан

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Հատոր:

Вып. 22

Տարի:

2014

Հրատարակչություն:

Де Агостини

Լեզու:

russian

Էջեր:

145

ISBN 10:

5977407173

ISBN 13:

9785977407175

Սերիաներ:

Мир математики

Ֆայլ:

PDF, 8.20 MB

IPFS:

,

russian, 2014

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Коротков М.А.;Котов В.М.;Степанов Е.О. — Математическая логика и основы теории алгоритмов

Демидов С.С. — Проблемы Гильберта

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

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

Нагель Э. — Теорема Гёделя

Gustavo Ernesto Pineiro — Гёдель: теоремы о неполноте

Столяр А. А. — Логические проблемы преподавания математики

В. А. Успенский — Апология математики (сборник статей)

— Бесчисленное поддается подсчету. Кантор. Бесконечность в математике.

— Вначале была ак сиома. Гильберт. Основания математики

Тарский А. — Введение в логику и методологию дедуктивных наук

— Гёдель: Теоремы о неполноте

Морис Клайн — Математика. Утрата определенности.

— Кантор: Бесконечность в математике

Успенский В.А. — Нестандартный, или неархимедов, анализ

Тарский А.(Tarski A.) — Введение в логику и методологию дедуктивных наук

— Гильберт: Основания математики

Бирюков Б.В., Тростников В.Н. — Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики

Владимир Андреевич Успенский — Апология математики (сборник статей)

Владимир Андреевич Успенский — Апология математики (сборник статей)

Вейль Герман — Структура математики

Крайзель Г. — Биография Курта Геделя

Клайн Морис — Математика. Утрата определенности

Успенский В.А. — Апология математики (сборник статей)

Столяр А.А. — Логические проблемы преподавания математики

Тарский А. — Введение в логику и методологию дедуктивных наук: Пер. с англ

Тарский А. — Введение в логику и методологию дедуктивных наук

Столяр А.А. — Логические проблемы преподавания математики

Болибрух А.А. — Проблемы Гильберта 100 лет спустя

Бирюков Б.В., Тростнинов В.Н. — Жар холодных числ и пафос бесстрастной логики: формализация мышления от античных времен до эпохи кибернетики

Бирюков Б.В., Тростников В.Н. — Жар холодных чисел и пафос бесстрастной логики

Дрёссер К. — Обольстить логикой. Выводы на все случаи жизни

К. Дрёссер — Обольстить логикой. Выводы на все случаи жизни

Александров П.С., Демидов С.С. (ред.) — Проблемы Гильберта

Успенский В.А. — Апология математики

Հիմնական արտահայտություններ

тьюринга

множество

множества

высказывание

арифметики

существует

доказать

множеств

следовательно

кончается

математики

последовательность

определить

парадокс

являются

высказывания

парадоксы

гильберта

программа

значения

гильберт

читатель

означает

геометрии

инструкции

натуральных

согласно

доказательство

записать

множеству

аксиоматический

заключается