Вокруг теоремы Геделя
| dc.contributor.author | Podnieks, Karlis | |
| dc.date.accessioned | 2013-07-18T07:08:29Z | |
| dc.date.available | 2013-07-19T00:00:03Z | |
| dc.date.issued | 1992 | |
| dc.description.abstract | Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. С учетом этого основной вывод из теоремы о неполноте можно переформулировать так: всякая достаточно всеобъемлющая, но застывшая система мышления неизбежно оказывается несовершенной – в ней содержатся либо противоречия, либо проблемы, для решения которых данной (застывшей!) системы недостаточно. Именно в строгом доказательстве принципиального несовершенства всякой застывшей системы мышления состоит подлинный диалектический смысл достижений Геделя. Изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологи- ческой концепции. | en_US |
| dc.identifier.citation | Подниекс К. Вокруг теоремы Геделя. – Рига: Зинатне, 1992. | en_US |
| dc.identifier.isbn | 5-7966-0928-9 | |
| dc.identifier.uri | https://dspace.lu.lv/dspace/handle/7/1453 | |
| dc.language.iso | rus | en_US |
| dc.publisher | Рига: Зинатне | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | логика | en_US |
| dc.subject | основания математики | en_US |
| dc.subject | теорема о неполноте | en_US |
| dc.subject | теорема Геделя | en_US |
| dc.subject | платонизм | en_US |
| dc.subject | формальная теория | en_US |
| dc.title | Вокруг теоремы Геделя | en_US |
| dc.type | Book | en_US |