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 Godel's Theorem
Results: 368
1
2
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
3
Godel's second incompleteness theorem explained in words of one syllable.
- Published in:
- Mind (0026-4423), 1994, v. 103, n. 409, p. 1, doi. 10.1093/mind/103.409.1
- By:
- Publication type:
- Article
4
ZNAČAJ GEDELOVE TEOREME O NEPOTPUNOSTI U MATEMATICI I RAČUNARSTVU.
- Published in:
- MAT-KOL (Banja Luka), Matematicki Kolokvijum, 2010, v. 16, n. 1, p. 15
- By:
- Publication type:
- Article
5
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
6
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
7
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
8
GÖDEL'S THEOREM: AN INCOMPLETE GUIDE TO ITS USE AND ABUSE.
- Published in:
- 2008
- By:
- Publication type:
- Book Review
9
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
10
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
11
Are the Gödel incompleteness theorems limitative results for the neurosciences?
- Published in:
- Journal of Biological Physics, 2010, v. 36, n. 1, p. 23, doi. 10.1007/s10867-009-9160-1
- By:
- Publication type:
- Article
12
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
13
Towards metamathematics of weak arithmetics over fuzzy logic.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 3, p. 467, doi. 10.1093/jigpal/jzp091
- By:
- Publication type:
- Article
14
The Non-unique Universe.
- Published in:
- Foundations of Physics, 2010, v. 40, n. 6, p. 629, doi. 10.1007/s10701-010-9425-3
- By:
- Publication type:
- Article
15
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
16
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
17
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
18
A Physical Approach to the Construction of Cognition and to Cognitive Evolution.
- Published in:
- Foundations of Science, 2001, v. 6, n. 4, p. 273, doi. 10.1023/A:1011610921631
- By:
- Publication type:
- Article
19
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
20
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
21
The Incompleteness of the Economy and Business: A Forceful Reminder.
- Published in:
- Journal of Business Ethics, 2011, v. 100, n. 1, p. 29, doi. 10.1007/s10551-011-1185-2
- By:
- Publication type:
- Article
22
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
23
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
24
Herbrand consistency of some finite fragments of bounded arithmetical theories.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 317, doi. 10.1007/s00153-012-0318-3
- By:
- Publication type:
- Article
25
Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1391, doi. 10.1093/logcom/exw025
- By:
- Publication type:
- Article
26
ILLUSORY MODELS OF PEANO ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1163, doi. 10.1017/jsl.2015.52
- By:
- Publication type:
- Article
27
The winter, the summer and the summer dream of artificial intelligence in law: Presidential address to the 18th International Conference on Artificial Intelligence and Law.
- Published in:
- Artificial Intelligence & Law, 2022, v. 30, n. 2, p. 147, doi. 10.1007/s10506-022-09309-8
- By:
- Publication type:
- Article
28
A refutation of Penrose's Gödelian case against artificial intelligence.
- Published in:
- Journal of Experimental & Theoretical Artificial Intelligence, 2000, v. 12, n. 3, p. 307, doi. 10.1080/09528130050111455
- By:
- Publication type:
- Article
29
On Reliability of the Meta-Mathematical Notions Defined by Gödel's Coding Method.
- Published in:
- Teorema, 2016, v. 35, n. 1, p. 5
- By:
- Publication type:
- Article
30
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
31
Are declarative sentences representational?
- Published in:
- Mind (0026-4423), 1998, v. 107, n. 425, p. 33, doi. 10.1093/mind/107.425.33
- By:
- Publication type:
- Article
32
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
33
Letter Games: a metamathematical taster.
- Published in:
- Mathematical Gazette, 2016, v. 100, n. 549, p. 442, doi. 10.1017/mag.2016.109
- By:
- Publication type:
- Article
34
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
35
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
36
GÖDEL Y WITTGENSTEIN: ALGUNAS REFLEXIONES SUELTAS DE FILOSOFÍA DE LAS MATEMÁTICAS.
- Published in:
- Universitas Philosophica, 2003, v. 20, n. 40/41, p. 117
- By:
- Publication type:
- Article
37
COMMENTS AND CRITICISM.
- Published in:
- Journal of Philosophy, 2004, v. 101, n. 4, p. 197
- By:
- Publication type:
- Article
38
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
39
Derrida and Cavailles: Mathematics and the Limits of Phenomenology.
- Published in:
- International Journal of Philosophical Studies, 2010, v. 18, n. 2, p. 243, doi. 10.1080/09672551003685963
- By:
- Publication type:
- Article
40
The Godelian Inferences.
- Published in:
- History & Philosophy of Logic, 2009, v. 30, n. 3, p. 241, doi. 10.1080/01445340802617523
- By:
- Publication type:
- Article
41
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
42
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
43
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
44
PENROSE'S NEW ARGUMENT.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 3, p. 241, doi. 10.1023/A:1017595530503
- By:
- Publication type:
- Article
45
Advantages and limitations of formal expression.
- Published in:
- Foundations of Science, 1999, v. 4, n. 1, p. 25, doi. 10.1023/A:1009686703349
- By:
- Publication type:
- Article
46
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
47
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
48
GÖDEL'S CAUTIONS - SOME COMMENTSe.
- Published in:
- Saeculum (12212245), 2016, n. 2, p. 165
- By:
- Publication type:
- Article
49
How do We Know that the Gödel Sentence of a Consistent Theory Is True?†.
- Published in:
- Philosophia Mathematica, 2011, v. 19, n. 1, p. 47
- By:
- Publication type:
- Article
50
Peter Smith. An Introduction to Gödel's Theorems.
- Published in:
- 2010
- By:
- Publication type:
- Book Review