A new reading and comparative interpretation of Gödel’s completeness (1930) and incompleteness (1931) theorems

Vasil Penchev

Аннотация


A new reading and comparative interpretation of Gödel’s completeness (1930) and incompleteness (1931) theorems


Полный текст:

PDF

Литература


Gödel K. Die Vollständigkeit der Axiome des logischen Funktionenkalküls // Monatshefte der Mathematik und Physik 37(1), 1930, pp. 349-360

Gödel K. Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I // Monatshefte der Mathematik und Physik 38(1), 1931, pp. 173-198

Skolem T. Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre // In: Skolem T. Selected works in logic of Thoralf Skolem. Ed. by E. Fenstad. Oslo: Univforlaget, 1970, pp. 137-152

Neumann J. Mathematische Grundlagen der Quantenmechanik. Berlin: Springer, 1932, pp. 167-173

Kochen S., Specker E. The problem of hidden variables in quantum mechanics // Journal of Mathematics and Mechanics 17(1), 1968, pp. 59-87


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2016 Vasil Penchev

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.