Автор: Подниекс К.М. Название: Вокруг теоремы Геделя. Around Goedel's Theorem Издательство: Рига: Зинатне Год: 1992 Страниц: 178 Формат: djvu Размер: 17,00 Мб Язык: Русский
Когда математик, не имеющий достаточной философской подготовки, берется за решение методологических вопросов, за объяснение природы своих результатов, он невольно привносит в рассуждения элементы платонизма. В книге проведен методологический анализ природы математики. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. С учетом этого основной вывод из теоремы о неполноте можно переформулировать так: всякая достаточно всеобъемлющая, но застывшая система мышления неизбежно оказывается несовершенной - в ней содержатся либо противоречия, либо проблемы, для решения которых данной (застывшей!) системы недостаточно. В этой книге изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологической концепции.
Задачи и теоремы линейной алгебры (2016) Название: Задачи и теоремы линейной алгебры Автор(ы): Прасолов В.В. Издательство: М.: МЦНМО Год: 2016 Страниц: 576 Формат: PDF Размер: 22.5 Мб ...
Определимость и вычислимость Название: Определимость и вычислимость Автор: Ершов Ю.Л. Издательство: Научная книга Год: 1996 Формат: PDF Страниц: 300 Размер: 22.2 MB Язык:...
Теоремы замкнутости и теоремы композиции Название: Теоремы замкнутости и теоремы композиции Автор: Мандельбройт С. Издательство: М.: Изд. Иностранная литература Год: 1962 Формат: PDF...
Теорема Геделя Название: Теорема Геделя Автор: Э. Нагель, Дж.Р. Ньюмен Издательство: Красанд Год: 2010 Формат: pdf Страниц: 120 Размер: 25 Mb Язык: Русский ...
Теоремы существования Автор: Л. С. Фрейман Название: Теоремы существования. Серия «Проблемы современной науки и научно-технического прогресса» Издательство: М:, Наука...
Навигация
Вход на сайт
Реклама
Вокруг теоремы Геделя 
