GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 4, p. 603, doi. 10.1017/S1755020317000235
- By:
- Publication type:
- Article
Works matching Gödel's theorem
Results: 209
1
2
ON THE ANTI-MECHANIST ARGUMENTS BASED ON GÖDEL'S THEOREM.
- Published in:
- Semiotic Studies / Studia Semiotyczne, 2020, v. 34, n. 1, p. 9, doi. 10.26333/sts.xxxiv1.02
- By:
- Publication type:
- Article
3
GÖDEL'S INCOMPLETENESS THEOREM AND THE ANTI-MECHANIST ARGUMENT: REVISITED.
- Published in:
- Semiotic Studies / Studia Semiotyczne, 2020, v. 34, n. 1, p. 159, doi. 10.26333/sts.xxxiv1.07
- By:
- Publication type:
- Article
4
On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program.
- Published in:
- Annals of the Japan Association for the Philosophy of Science, 2008, v. 17, n. 1, p. 13
- By:
- Publication type:
- Article
5
Gödel‘s Incompleteness Theorems and Computer Science.
- Published in:
- Foundations of Science, 1997, v. 2, n. 1, p. 123, doi. 10.1023/A:1009639629935
- By:
- Publication type:
- Article
6
HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 4, p. 638, doi. 10.1017/S1755020317000089
- By:
- Publication type:
- Article
7
Consequences of Gödel’s Theorems on Quantum Gravity.
- Published in:
- International Journal of Theoretical Physics, 2024, v. 63, n. 11, p. 1, doi. 10.1007/s10773-024-05818-1
- By:
- Publication type:
- Article
8
Gödel’s Undecidability Theorems and the Search for a Theory of Everything.
- Published in:
- International Journal of Theoretical Physics, 2024, v. 63, n. 2, p. 1, doi. 10.1007/s10773-024-05574-2
- By:
- Publication type:
- Article
9
Uma visada sobre as condições sócio-históricas de emergência e demonstração do teorema da incompletude de Gödel em 1931.
- Published in:
- Paradigma, 2022, v. 43, n. 2, p. 454
- By:
- Publication type:
- Article
10
CURRENT RESEARCH ON GÖDEL'S INCOMPLETENESS THEOREMS.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 2, p. 113, doi. 10.1017/bsl.2020.44
- By:
- Publication type:
- Article
11
Do sentido de beleza em matemática e do que se mostrou belo para nós na demonstração do teorema da incompletude de Gödel.
- Published in:
- Educação Matemática Pesquisa, 2022, v. 24, n. 2, p. 618, doi. 10.23925/1983-3156.2022v24i2p618-646
- By:
- Publication type:
- Article
12
What he could have said (but did not say) about Gödel's second theorem: A note on Floyd-Putnam's Wittgenstein.
- Published in:
- Wittgenstein Studien. Neue Folge, 2021, v. 12, n. 1, p. 121, doi. 10.1515/witt-2021-0007
- By:
- Publication type:
- Article
13
A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 5, p. 417, doi. 10.1002/malq.19870330505
- By:
- Publication type:
- Article
14
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.
- Published in:
- Minds & Machines, 2008, v. 18, n. 1, p. 1, doi. 10.1007/s11023-007-9082-2
- By:
- Publication type:
- Article
15
Wittgenstein as his Own Worst Enemy: The Case of Gödel's Theorem.
- Published in:
- Philosophia Mathematica, 2001, v. 9, n. 3, p. 257, doi. 10.1093/philmat/9.3.257
- By:
- Publication type:
- Article
16
On the Depth of Gödel's Incompleteness Theorems†.
- Published in:
- Philosophia Mathematica, 2022, v. 30, n. 2, p. 173, doi. 10.1093/philmat/nkab034
- By:
- Publication type:
- Article
17
ON THE INVARIANCE OF GÖDEL'S SECOND THEOREM WITH REGARD TO NUMBERINGS.
- Published in:
- Review of Symbolic Logic, 2021, v. 14, n. 1, p. 51, doi. 10.1017/S1755020320000192
- By:
- Publication type:
- Article
18
A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS.
- Published in:
- Review of Symbolic Logic, 2014, v. 7, n. 3, p. 484, doi. 10.1017/S1755020314000112
- By:
- Publication type:
- Article
19
Gödel's second incompleteness theorem for Σ<sub>n</sub>-definable theories.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 255, doi. 10.1093/jigpal/jzx061
- By:
- Publication type:
- Article
20
GÖDEL'S THEOREM: AN INCOMPLETE GUIDE TO ITS USE AND ABUSE.
- Published in:
- 2008
- By:
- Publication type:
- Book Review
21
GÖDEL’S INCOMPLETENESS THEOREMS AND NORMATIVE SCIENCE METHODOLOGY: A SYSTEMS THEORY APPROACH.
- Published in:
- Procesos de Mercado, 2022, v. 19, n. 1, p. 177
- By:
- Publication type:
- Article
22
Klein Bottle Logophysics, Metacognition, and Gödel's Theorem.
- Published in:
- Constructivist Foundations, 2025, v. 20, n. 2, p. 84
- By:
- Publication type:
- Article
23
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.
- Published in:
- 2007
- By:
- Publication type:
- Book Review
24
THE ANTI-MECHANIST ARGUMENT BASED ON GÖDEL'S INCOMPLETENESS THEOREMS, INDESCRIBABILITY OF THE CONCEPT OF NATURAL NUMBER AND DEVIANT ENCODINGS.
- Published in:
- Semiotic Studies / Studia Semiotyczne, 2020, v. 34, n. 1, p. 243, doi. 10.26333/sts.xxxiv1.11
- By:
- Publication type:
- Article
25
Gödel's Theorem in the Continuing Education of Mathematics Teachers.
- Published in:
- Journal of Humanistic Mathematics, 2024, v. 14, n. 1, p. 40, doi. 10.5642/jhummath.VSSK5786
- By:
- Publication type:
- Article
26
AN IMPLICATION OF GÖDEL'S INCOMPLETENESS THEOREM II: NOT REFERRING TO THE VALIDITY OF ONESELF'S ASSERTION.
- Published in:
- Communications in Mathematical Analysis, 2011, v. 10, n. 2, p. 24
- By:
- Publication type:
- Article
27
90 years of Gödel's incompleteness theorems: Logic and computation.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 6, p. 1003, doi. 10.1093/logcom/exae026
- By:
- Publication type:
- Article
28
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.
- Published in:
- 2006
- Publication type:
- Book Review
29
THE IMPORTANCE OF TEACHING GÖDEL'S INCOMPLETENESS THEOREM IN MATHEMATICS TEACHER EDUCATION.
- Published in:
- Philosophy of Mathematics Education Journal, 2018, n. 33, p. 1
- By:
- Publication type:
- Article
30
AXIOMATIC SHIFTING PARADIGMS: WITTGENSTEIN'S LANGUAGE-GAMES, GÖDEL'S INCOMPLETENESS THEOREM, LANGUAGE, LAW, AND THE LIMITS OF FORMALISM.
- Published in:
- University of Arkansas at Little Rock Law Review, 2025, v. 47, n. 2, p. 133
- By:
- Publication type:
- Article
31
Peter Smith. An Introduction to Gödel's Theorems.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
32
Gödel's Theorem: An Incomplete Guide to its Use and Abuse.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
33
Gödel's Theorem.
- Published in:
- Nature, 1960, v. 186, n. 4718, p. 61, doi. 10.1038/186061a0
- By:
- Publication type:
- Article
34
A Short Guide to Gödel's Second Incompleteness Theorem.
- Published in:
- Teorema, 2003, v. 22, n. 3, p. 5
- Publication type:
- Article
35
GÖDEL'S THEOREM AND DIRECT SELF-REFERENCE.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 650, doi. 10.1017/S1755020321000526
- By:
- Publication type:
- Article
36
Gödel's Theorems in English.
- Published in:
- Nature, 1964, v. 201, n. 4915, p. 117, doi. 10.1038/201117a0
- By:
- Publication type:
- Article
37
The logical heart of a classic proof revisited: A guide to Gödel's 'incompleteness' theorems.
- Published in:
- Australian Senior Mathematics Journal, 2011, v. 25, n. 1, p. 32
- By:
- Publication type:
- Article
38
A note on deduction theorem for Gödel's propositional calculus G4.
- Published in:
- Studia Logica, 1968, v. 23, n. 1, p. 35, doi. 10.1007/BF02124617
- By:
- Publication type:
- Article
39
How subtle is Gödel's theorem? More on Roger Penrose.
- Published in:
- Behavioral & Brain Sciences, 1993, v. 16, n. 3, p. 611, doi. 10.1017/S0140525X00031915
- By:
- Publication type:
- Article
40
Gödel's Theorem.
- Published in:
- Computer Journal, 1968, v. 10, n. 4, p. 417
- By:
- Publication type:
- Article
41
GÖDEL'S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 3/4, p. 241, doi. 10.1017/bsl.2020.22
- By:
- Publication type:
- Article
42
The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem.
- Published in:
- Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 689, doi. 10.1007/s10958-009-9408-0
- By:
- Publication type:
- Article
43
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 457, doi. 10.1002/malq.19780242513
- By:
- Publication type:
- Article
44
Gödel's Second Theorem for Elementary arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1968, v. 14, n. 1-5, p. 67, doi. 10.1002/malq.19680140106
- By:
- Publication type:
- Article
45
Deflationism and Gödel’s theorem – a comment on Gauker.
- Published in:
- Analysis, 2002, v. 62, n. 1, p. 85, doi. 10.1093/analys/62.1.85
- By:
- Publication type:
- Article
46
T-schema deflationism versus Gödel's first incompleteness theorem.
- Published in:
- Analysis, 2001, v. 61, n. 2, p. 129, doi. 10.1093/analys/61.2.129
- By:
- Publication type:
- Article
47
The Insolubility of the So-called Gödel's First Incompleteness Theorem. Gödelian and Hilbertian Mathematics.
- Published in:
- Philosophical Alternatives Journal / Filosofski Alternativi, 2010, v. 19, n. 5, p. 104
- By:
- Publication type:
- Article
48
Finite Mimicry of Gödel's Incompleteness Theorem.
- Published in:
- Mathematics Magazine, 2007, v. 80, n. 2, p. 126, doi. 10.1080/0025570X.2007.11953466
- By:
- Publication type:
- Article
49
Notes on the fate of logicism from principia mathematica to gödel's incompletability theorem.
- Published in:
- History & Philosophy of Logic, 1984, v. 5, n. 1, p. 67, doi. 10.1080/01445348408837063
- By:
- Publication type:
- Article
50
Gödel's theorem: a very short introduction.
- Published in:
- 2024
- By:
- Publication type:
- Book Review