The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

Các định lý bất toàn của Gödel, hay gọi chính xác là Các định lý về tính bất hoàn chỉnh của Gödel (tiếng Anh: Gödel's incompleteness theorems, tiếng Đức: Gödelscher…

English

Gödel's incompleteness theorems

Cited by user CBM on 13 Jul 2016

Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories.

Indonesian

Teorema ketaklengkapan Gödel

Cited by user JohnThorne on 26 Dec 2014

Portuguese

Teoremas da incompletude de Gödel

Cited by user Simone Cohen on 11 Mar 2014

Catalan

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

Mentioned by

Citations

Readers on

Геделове теореме о непотпуности

Cited by user Dcirovic on 10 Sep 2021

Wilhelm Ackermann

Cited by user Ferran Mir on 16 Jan 2021

Các định lý bất toàn của Gödel

Cited by user Thuanmycuatoi on 21 Dec 2018