В защиту программы Гильберта
- Страницы / Pages
- 41-44
Аннотация
В статье дается обоснование, почему вторая теорема Гёделя никак не «наносит смертельного удара по программе Гильберта» поскольку основной контекст обеих теорем Гёделя о неполноте это неполнота достаточно сильных непротиворечивых формальных систем, а вовсе не вопрос об отсутствии финитных доказательств их непротиворечивости.
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].