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
Works matching Gödel's theorem
Results: 204
1
2
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
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 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
5
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
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
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
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
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
14
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
15
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
16
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
17
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
18
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
19
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.
- Published in:
- 2006
- Publication type:
- Book Review
20
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
21
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
22
Peter Smith. An Introduction to Gödel's Theorems.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
23
Gödel's Theorem: An Incomplete Guide to its Use and Abuse.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
24
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.
- Published in:
- 2007
- By:
- Publication type:
- Book Review
25
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
26
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
27
GÖDEL'S THEOREM: AN INCOMPLETE GUIDE TO ITS USE AND ABUSE.
- Published in:
- 2008
- By:
- Publication type:
- Book Review
28
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
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
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
31
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
32
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
33
Strategic Use of the Unsayable: Paradox as Argument in Gödel's Theorem.
- Published in:
- Quarterly Journal of Speech, 1998, v. 84, n. 1, p. 80, doi. 10.1080/00335639809384205
- By:
- Publication type:
- Article
34
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
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 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
37
A Short Guide to Gödel's Second Incompleteness Theorem.
- Published in:
- Teorema, 2003, v. 22, n. 3, p. 5
- Publication type:
- Article
38
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
39
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
40
What Does Gödel's Second Theorem Say<sup>†</sup>.
- Published in:
- Philosophia Mathematica, 2001, v. 9, n. 1, p. 37, doi. 10.1093/philmat/9.1.37
- By:
- Publication type:
- Article
41
Gödel's Theorem.
- Published in:
- Nature, 1960, v. 186, n. 4718, p. 61, doi. 10.1038/186061a0
- By:
- Publication type:
- Article
42
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
43
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
44
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
45
Gödel's Theorem.
- Published in:
- Computer Journal, 1968, v. 10, n. 4, p. 417
- By:
- Publication type:
- Article
46
Gödel's theorem: a very short introduction.
- Published in:
- 2024
- By:
- Publication type:
- Book Review
47
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
48
APPLIED MATHEMATICS IN THE SOCIAL SCIENCES (MASS). REVIEW OF CRIMINAL CONVICTIONS IN THE FRENCH JUSTICE, BASED ON GÖDEL'S COMPLETENESS THEOREM, COMPLEX SYSTEMS THEORY, ABSTRACT CATEGORY THEORY, GRAPH THEORY, NETWORK TOPOLOGY, AND OPERATIONAL RESEARCH
- Published in:
- International Journal of Communication Research, 2020, v. 10, n. 2, p. 222
- By:
- Publication type:
- Article
49
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
50
An Introduction to Gödel's Theorems.
- Published in:
- Gogoa, 2007, v. 7, n. 2, p. 295
- By:
- Publication type:
- Article