Found: 83
Select item for more details and to access through your institution.
Logbuch Mathematik.
- Published in:
- Mitteilungen der DMV, 2021, v. 29, n. 2, p. 90, doi. 10.1515/dmvm-2021-0034
- By:
- Publication type:
- Article
Logbuch Mathematik.
- Published in:
- Mitteilungen der DMV, 2020, v. 28, n. 3, p. 152, doi. 10.1515/dmvm-2020-280311
- By:
- Publication type:
- Article
THE LIMITS OF HUMAN MATHEMATICS.
- Published in:
- Nous, 2001, v. 35, n. s15, p. 93, doi. 10.1111/0029-4624.35.s15.5
- By:
- Publication type:
- Article
Contribution of Polish Logicians to Decidability Theory.
- Published in:
- Poznan Studies in the Philosophy of the Sciences & the Humanities, 2010, v. 98, n. 1, p. 211
- Publication type:
- Article
Phenomenology and Philosophy of Mathematics.
- Published in:
- Poznan Studies in the Philosophy of the Sciences & the Humanities, 2010, v. 98, n. 1, p. 135
- Publication type:
- Article
Leibniz's and Kant's Philosophical Ideas vs. Hilbert's Program.
- Published in:
- Poznan Studies in the Philosophy of the Sciences & the Humanities, 2010, v. 98, n. 1, p. 29
- Publication type:
- Article
An Isomorphism Related to Gödel's Fundamental Operations.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 439, doi. 10.1093/jigpal/12.6.439
- By:
- Publication type:
- Article
Maxims IV.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
Filosofía de la matemática: La intuición en el pensamiento de Kurt Gödel.
- Published in:
- Filosofia UNISINOS, 2021, v. 22, n. 2, p. 1, doi. 10.4013/fsu.2021.222.06
- By:
- Publication type:
- Article
Gödel's 'Disproof' of the Syntactical Viewpoint.
- Published in:
- Southern Journal of Philosophy, 2001, v. 39, n. 4, p. 527, doi. 10.1111/j.2041-6962.2001.tb01832.x
- By:
- Publication type:
- Article
Gödel's Proof.
- Published in:
- Resonance: Journal of Science Education, 2007, v. 12, n. 5, p. 71, doi. 10.1007/s12045-007-0052-z
- By:
- Publication type:
- Article
The incompleteness of physics.
- Published in:
- 2007
- By:
- Publication type:
- Editorial
"That Which Surpasses All Understanding": The Limitations of Human Thought.
- Published in:
- Dialogue: A Journal of Mormon Thought, 2009, v. 42, n. 3, p. 1, doi. 10.5406/dialjmormthou.42.3.0001
- By:
- Publication type:
- Article
A Theorem about Computationalism and 'Absolute' Truth.
- Published in:
- Minds & Machines, 2016, v. 26, n. 3, p. 205, doi. 10.1007/s11023-015-9382-x
- By:
- Publication type:
- Article
TOKEN-REFLEXIVITY.
- Published in:
- Journal of Philosophy, 2013, v. 110, n. 4, p. 173
- By:
- Publication type:
- Article
GÖDEL, NAGEL, MINDS, AND MACHINES.
- Published in:
- Journal of Philosophy, 2009, v. 106, n. 4, p. 201
- By:
- Publication type:
- Article
REFLECTIONS ON THE LEGACY OF KURT GÖDEL: MATHEMATICS, SKEPTICISM, POSTMODERNISM.
- Published in:
- 1989
- By:
- Publication type:
- Essay
Reflective inquiry and 'The Fate of Reason'.
- Published in:
- Synthese, 2014, v. 191, n. 18, p. 4253, doi. 10.1007/s11229-014-0533-z
- By:
- Publication type:
- Article
Even Accelerating Machines are not Universal.
- Published in:
- International Journal of Unconventional Computing, 2007, v. 3, n. 2, p. 105
- By:
- Publication type:
- Article
NOMINALISM AND MATHEMATICAL INTUITION.
- Published in:
- Protosociology: An International Journal of Interdisciplinary Research, 2008, v. 25, p. 89
- By:
- Publication type:
- Article
Cantor, Gödel y la naturaleza del tiempo.
- Published in:
- Gaceta de la Real Sociedad Matematica Espanola, 2023, v. 26, n. 2, p. 363
- By:
- Publication type:
- Article
MÉTODOS CIENTÍFICOS Y MÉTODO DEL DERECHO: UNA HISTORIA SUPERADA.
- Published in:
- Persona y Derecho, 2010, n. 62, p. 29
- By:
- Publication type:
- Article
Löb's Theorem Philosophically Interpreted.
- Published in:
- Philosophical Alternatives Journal / Filosofski Alternativi, 2011, v. 20, n. 4, p. 142
- By:
- Publication type:
- Article
Analysing the mathematical experience: Posing the 'What is mathematics?' question.
- Published in:
- Australian Senior Mathematics Journal, 2011, v. 25, n. 2, p. 25
- By:
- Publication type:
- Article
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
TROUBLES WITH PEACOCKE'S RATIONALISM. A CRITICAL STUDY OF THE REALM OF REASON.
- Published in:
- Crítica, 2006, v. 38, n. 112, p. 81, doi. 10.22201/iifs.18704905e.2006.468
- By:
- Publication type:
- Article
LIMITATIONS AND THE WORLD BEYOND.
- Published in:
- Logos & Episteme, 2017, v. 8, n. 4, p. 425, doi. 10.5840/logos-episteme20178434
- By:
- Publication type:
- Article
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
A note on the existence property for intuitionistic logic with function symbols.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 17, doi. 10.1002/malq.19900360104
- By:
- Publication type:
- Article
Valuations in Gödel Logic, and the Euler Characteristic.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2012, v. 19, n. 1-3, p. 71
- By:
- Publication type:
- Article
In Retrospect: Gödel's proof.
- Published in:
- 2008
- By:
- Publication type:
- Book Review
Forum on Science & Technology.
- Published in:
- Phi Kappa Phi Forum, 2003, v. 83, n. 4, p. 6
- By:
- Publication type:
- Article
Learning in brain and machine--complexity, Gödel, Aristotle.
- Published in:
- Frontiers in Neurorobotics, 2013, v. 7, p. 1
- By:
- Publication type:
- Article
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
"Logic will never be the same again" - Kurt Gödet Centenary.
- Published in:
- 2006
- By:
- Publication type:
- Biography
How to build a kangaroo the way a kangaroo builds itself.
- Published in:
- 2009
- By:
- Publication type:
- Essay
BSL volume 22 issue 4 Cover and Front matter.
- Published in:
- 2016
- Publication type:
- Table of Contents
GÖDEL’S NOTRE DAME COURSE.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 4, p. 469, doi. 10.1017/bsl.2016.36
- By:
- Publication type:
- Article
RUSSELL AND GÖDEL.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 4, p. 504, doi. 10.1017/bsl.2016.35
- By:
- Publication type:
- Article
THE PARADOX OF KURT GÖDEL: A RESPONSE.
- Published in:
- Journal of Interdisciplinary Studies, 2020, v. 32, n. 1/2, p. 119, doi. 10.5840/jis2020321/27
- By:
- Publication type:
- Article
KURT GÖDEL'S RELIGIOUS WORLDVIEW: AN IMMANENT PERSONAL CONCEPTION.
- Published in:
- Journal of Interdisciplinary Studies, 2020, v. 32, n. 1/2, p. 95, doi. 10.5840/jis2020321/26
- By:
- Publication type:
- Article
TLP volume 11 issue 1 Cover and Back matter.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 1, p. b1, doi. 10.1017/S1471068410000505
- Publication type:
- Article
PROVING UNPROVABILITY.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 92, doi. 10.1017/S1755020316000216
- By:
- Publication type:
- Article
Count themselves lucky.
- Published in:
- Nature, 2005, v. 436, n. 7051, p. 603, doi. 10.1038/436603b
- Publication type:
- Article
Gödel's universe.
- Published in:
- Nature, 2005, v. 435, n. 7038, p. 19, doi. 10.1038/435019a
- By:
- Publication type:
- Article
Formally speaking.
- Published in:
- Nature, 2001, v. 411, n. 6837, p. 527, doi. 10.1038/35079200
- By:
- Publication type:
- Article
Hierarchies Ontological and Ideological.
- Published in:
- Mind, 2012, v. 121, n. 482, p. 269, doi. 10.1093/mind/fzs050
- By:
- Publication type:
- Article
Collected Works, Volume I, Publications 1929-1936.
- Published in:
- 1987
- By:
- Publication type:
- Book Review
Truth and Provability.
- Published in:
- Mathematical Intelligencer, 2013, v. 35, n. 1, p. 21, doi. 10.1007/s00283-012-9328-6
- By:
- Publication type:
- Article
Gödel's Vienna.
- Published in:
- Mathematical Intelligencer, 2006, v. 28, n. 3, p. 44, doi. 10.1007/BF02986884
- By:
- Publication type:
- Article