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
Works matching Incompleteness theorems
Results: 383
1
2
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
3
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
4
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
5
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
6
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
7
John von Neumann's Discovery of the 2<sup>nd</sup> Incompleteness Theorem.
- Published in:
- History & Philosophy of Logic, 2023, v. 44, n. 1, p. 66, doi. 10.1080/01445340.2022.2137324
- By:
- Publication type:
- Article
8
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
9
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 4/5, p. 307, doi. 10.1002/malq.201110067
- By:
- Publication type:
- Article
10
Hans Magnus Enzensberger a teorém bezespornosti.
- Published in:
- Word & Sense / Slovo a Smysl, 2020, n. 33, p. 85, doi. 10.14712/23366680.2020.1.4
- By:
- Publication type:
- Article
11
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
12
The limitless first incompleteness theorem.
- Published in:
- Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzaf012
- By:
- Publication type:
- Article
13
The Second Incompleteness Theorem and Bounded Interpretations.
- Published in:
- Studia Logica, 2012, v. 100, n. 1/2, p. 399, doi. 10.1007/s11225-012-9385-z
- By:
- Publication type:
- Article
14
Can We Make the Second Incompleteness Theorem Coordinate Free?
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 4, p. 543, doi. 10.1093/logcom/exp048
- By:
- Publication type:
- Article
15
ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 2, p. 269, doi. 10.1017/S1755020319000248
- By:
- Publication type:
- Article
16
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
17
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
18
Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words.
- Published in:
- International Journal of Foundations of Computer Science, 2019, v. 30, n. 3, p. 449, doi. 10.1142/S012905411950014X
- By:
- Publication type:
- Article
19
About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 1, p. 375, doi. 10.1093/logcom/exaa083
- By:
- Publication type:
- Article
20
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
21
A Note on Boolos' Proof of the Incompleteness Theorem.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 528, doi. 10.1002/malq.19940400409
- By:
- Publication type:
- Article
22
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
23
On interpreting Chaitin's incompleteness theorem.
- Published in:
- Journal of Philosophical Logic, 1998, v. 27, n. 6, p. 569, doi. 10.1023/A:1004305315546
- By:
- Publication type:
- Article
24
Kolmogorov complexity and the second incompleteness theorem.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 437, doi. 10.1007/s001530050074
- By:
- Publication type:
- Article
25
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
26
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
27
From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference.
- Published in:
- Journal of Logic & Computation, 2019, v. 29, n. 5, p. 595, doi. 10.1093/logcom/exz004
- By:
- Publication type:
- Article
28
Incompleteness in the Bell Theorem with an Arbitrary Number of Settings.
- Published in:
- International Journal of Theoretical Physics, 2020, v. 59, n. 11, p. 3426, doi. 10.1007/s10773-020-04601-2
- By:
- Publication type:
- Article
29
Incompleteness in the Bell Theorem Using Non-contextual Local Realistic Model.
- Published in:
- International Journal of Theoretical Physics, 2020, v. 59, n. 2, p. 313, doi. 10.1007/s10773-019-04312-3
- By:
- Publication type:
- Article
30
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
31
Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems.
- Published in:
- History & Philosophy of Logic, 1999, v. 20, n. 1, p. 33, doi. 10.1080/014453499298174
- By:
- Publication type:
- Article
32
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
33
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
34
A reunion of Gödel, Tarski, Carnap and Rosser.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 6, p. 1172, doi. 10.1093/logcom/exad001
- By:
- Publication type:
- Article
35
Rosser-Type Undecidable Sentences Based on Yablo's Paradox.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 5, p. 999, doi. 10.1007/s10992-013-9309-z
- By:
- Publication type:
- Article
36
Daniel Kehlmann und Kurt Gödel Zur Gödel-Rezeption bei Daniel Kehlmann.
- Published in:
- Brünner Hefte zu Deutsch als Fremdsprache, 2020, v. 13, n. 1/2, p. 13, doi. 10.5817/BHDF2020-1-2-13
- By:
- Publication type:
- Article
37
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
38
A NOTE ON DERIVABILITY CONDITIONS.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 3, p. 1224, doi. 10.1017/jsl.2020.33
- By:
- Publication type:
- Article
39
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH.
- Published in:
- Review of Symbolic Logic, 2022, v. 15, n. 4, p. 880, doi. 10.1017/S1755020321000265
- By:
- Publication type:
- Article
40
Löb's Theorem Philosophically Interpreted.
- Published in:
- Philosophical Alternatives Journal / Filosofski Alternativi, 2011, v. 20, n. 4, p. 142
- By:
- Publication type:
- Article
41
Logic in general and mathematical logic in particular.
- Published in:
- Bulletin of Pure & Applied Sciences-Mathematics, 2021, v. 40E, n. 2, p. 172, doi. 10.5958/2320-3226.2021.00020.5
- By:
- Publication type:
- Article
42
Rationality As A Meta-Analytical Capacity of the Human Mind: From the Social Sciences to Gödel.
- Published in:
- Philosophy of the Social Sciences, 2023, v. 53, n. 3, p. 167, doi. 10.1177/00483931221115345
- By:
- Publication type:
- Article
43
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
44
A Logically Formalized Axiomatic Epistemology System Σ + C and Philosophical Grounding Mathematics as a Self-Sufficing System.
- Published in:
- Mathematics (2227-7390), 2021, v. 9, n. 16, p. 1859, doi. 10.3390/math9161859
- By:
- Publication type:
- Article
45
UNIVERSAL ROSSER PREDICATES.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 292, doi. 10.1017/jsl.2016.19
- By:
- Publication type:
- Article
46
On the necessity of importing neurobiology into mathematics.
- Published in:
- PsyCh Journal, 2022, v. 11, n. 5, p. 755, doi. 10.1002/pchj.524
- By:
- Publication type:
- Article
47
ON RUDIMENTARITY, PRIMITIVE RECURSIVITY AND REPRESENTABILITY.
- Published in:
- Reports on Mathematical Logic, 2020, n. 55, p. 73, doi. 10.4467/20842589RM.20.004.12436
- By:
- Publication type:
- Article
48
BETWEEN PATHOLOGY AND WELL-BEHAVIOUR -- A POSSIBLE FOUNDATION FOR TAME MATHEMATICS.
- Published in:
- Studia Universitatis Babes-Bolyai, Philosophia, 2022, v. 67, p. 63, doi. 10.24193/subbphil.2022.sp.iss.04
- By:
- Publication type:
- Article
49
DIAGONAL ANTI-MECHANIST ARGUMENTS.
- Published in:
- Semiotic Studies / Studia Semiotyczne, 2020, v. 34, n. 1, p. 203, doi. 10.26333/sts.xxxiv1.09
- By:
- Publication type:
- Article
50
Heterologicality and Incompleteness.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 1, p. 105
- By:
- Publication type:
- Article