Found: 82
Select item for more details and to access through your institution.
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
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
How to build a kangaroo the way a kangaroo builds itself.
- Published in:
- 2009
- By:
- Publication type:
- Essay
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
Forum on Science & Technology.
- Published in:
- Phi Kappa Phi Forum, 2003, v. 83, n. 4, p. 6
- 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
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
Douglas R.: Gödel, Escher, Bach: an Eternal Golden Braid.
- Published in:
- 1981
- By:
- Publication type:
- Book Review
Closed Timelike Curves-Time and Again.
- Published in:
- Foundations of Physics, 2010, v. 40, n. 9/10, p. 1326, doi. 10.1007/s10701-010-9448-9
- 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
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
BSL volume 22 issue 4 Cover and Front matter.
- Published in:
- 2016
- Publication type:
- Table of Contents
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
In Retrospect: Gödel's proof.
- Published in:
- 2008
- 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
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
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
GÖDEL'S LOOPHOLE.
- Published in:
- Capital University Law Review, 2013, v. 41, n. 3, p. 637
- 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
On the Question of Absolute Undecidability.
- Published in:
- Philosophia Mathematica, 2006, v. 14, n. 2, p. 153, doi. 10.1093/philmat/nkj009
- By:
- Publication type:
- Article
After Gödel: Mechanism, Reason, and Realism in the Philosophy of Mathematics.
- Published in:
- Philosophia Mathematica, 2006, v. 14, n. 2, p. 229, doi. 10.1093/philmat/nkj008
- By:
- Publication type:
- Article
Introduction.
- Published in:
- Philosophia Mathematica, 2006, v. 14, n. 2, p. 133, doi. 10.1093/philmat/nkj007
- By:
- Publication type:
- Article
Two Draft Letters from Gödel on Self-knowledge of Reason.
- Published in:
- Philosophia Mathematica, 2006, v. 14, n. 2, p. 255, doi. 10.1093/philmat/nkj006
- By:
- Publication type:
- Article
Gödel on computability.
- Published in:
- Philosophia Mathematica, 2006, v. 14, n. 2, p. 189, doi. 10.1093/philmat/nkj005
- By:
- Publication type:
- Article
Gödel's interpretation of intuitionism.
- Published in:
- Philosophia Mathematica, 2006, v. 14, n. 2, p. 208, doi. 10.1093/philmat/nkj004
- By:
- Publication type:
- Article
Gödel's Correspondence on Proof Theory and Constructive Mathematics.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
Godel's Unpublished Papers on Foundations of Mathematics<sup>†</sup>.
- Published in:
- 2001
- By:
- Publication type:
- Book Review
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
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
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
"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
Juliette Kennedy, ed. Interpreting Gödel: Critical Essays. Cambridge: Cambridge University Press, 2014. ISBN 978-1-10700266-1 (hbk); 978-1-13998943-5 (e-book). Pp. xi + 279.
- Published in:
- 2015
- Publication type:
- Book Review
Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott and Charles L. Harper Jr, editors, Kurt Gödel and the Foundations of Mathematics: Horizon of Truth.
- Published in:
- Philosophia Mathematica, 2012, v. 20, n. 1, p. 129, doi. 10.1093/philmat/nkr028
- Publication type:
- Article
Solomon Feferman, Charles Parsons, and Steven [sic]* G. Simpson, eds. Kurt Gödel: Essays for His Centennial.
- Published in:
- Philosophia Mathematica, 2010, v. 18, n. 3, p. 368, doi. 10.1093/philmat/nkq011
- 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
The incompleteness of physics.
- Published in:
- 2007
- By:
- Publication type:
- Editorial
Formally speaking.
- Published in:
- Nature, 2001, v. 411, n. 6837, p. 527, doi. 10.1038/35079200
- By:
- Publication type:
- Article
Deciphering an enigma.
- Published in:
- 1997
- By:
- Publication type:
- Book Review
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
How Woodin changed his mind: new thoughts on the Continuum Hypothesis.
- Published in:
- Archive for History of Exact Sciences, 2015, v. 69, n. 2, p. 125, doi. 10.1007/s00407-014-0142-8
- By:
- Publication type:
- Article
After Gödel: Platonism and Rationalism in Mathematics and Logic.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
THE GRAND ILLUSION.
- Published in:
- Lapham's Quarterly, 2014, v. 7, n. 4, p. 187
- By:
- Publication type:
- Article
A patch to the possibility part of Gödel's Ontological Proof.
- Published in:
- Analysis, 2020, v. 80, n. 2, p. 229, doi. 10.1093/analys/anz024
- By:
- Publication type:
- Article