РАЦИО.ru

2014 Выпуск №12

Назад к списку Скачать статью

В защиту программы Гильберта

Аннотация

В статье дается обоснование, почему вторая теорема Гёделя никак не «наносит смертельного удара по программе Гильберта» поскольку основной контекст обеих теорем Гёделя о неполноте это неполнота достаточно сильных непротиворечивых формальных систем, а вовсе не вопрос об отсутствии финитных доказательств их непротиворечивости.

Abstract

T

Список литературы

Feferman, S. (1960) ‘Arithmetization of Metamathematics in a General Setting’, Fundamenta Mathematicae, vol. 49, no. 1, pр. 35-92.
Raatikainen, P. (2013) ‘Gödel's Incompleteness Theorems’, The Stanford Encyclopedia of Philosophy, [Online], http://plato.stanford.edu/archives/win2013/entries/goedel-incompleteness/ [10 May 2014].
Zach, R. (2003) ‘Hilbert's Program’, The Stanford Encyclopedia of Philosophy, [Online], http://plato.stanford.edu/archives/spr2009/entries/hilbert-program/ [10 May 2014].