Kurt Gödel and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Cambridge University Press

9780511974236

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lieber Herr Bernays! Lieber Herr Gödel! Gödel on Finitism, Constructivity, and Hilbert's Program

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.009 ◽

2011 ◽

pp. 111-134 ◽

Cited By ~ 1

Author(s):

Solomon Feferman

Download Full-text

Preface

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.002 ◽

2011 ◽

pp. xv-xvi

Download Full-text

The Reception of Gödel's 1931 Incompletability Theorems by Mathematicians, and Some Logicians, to the Early 1960s

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.006 ◽

2011 ◽

pp. 57-74 ◽

Cited By ~ 1

Author(s):

Ivor Grattan-Guinness

Download Full-text

The Impact of Gödel's Incompleteness Theorems on Mathematics

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.004 ◽

2011 ◽

pp. 3-26 ◽

Cited By ~ 7

Author(s):

Angus Macintyre

Keyword(s):

Incompleteness Theorems ◽

The Impact ◽

Gödel’S Incompleteness Theorems

Download Full-text

The Gödel Theorem and Human Nature

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.018 ◽

2011 ◽

pp. 325-338

Author(s):

Hilary W. Putnam

Keyword(s):

Human Nature ◽

Gödel Theorem

Download Full-text

Gödel, the Mind, and the Laws of Physics

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.019 ◽

2011 ◽

pp. 339-358

Author(s):

Roger Penrose

Keyword(s):

The Mind

Download Full-text

Gödel, Einstein, Mach, Gamow, and Lanczos: Gödel's Remarkable Excursion into Cosmology

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.012 ◽

2011 ◽

pp. 185-212

Author(s):

Wolfgang Rindler

Download Full-text

Gödel's Ontological Proof and Its Variants

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.017 ◽

2011 ◽

pp. 307-322

Author(s):

Petr Hájek

Keyword(s):

Ontological Proof

Download Full-text

Short Biography of Kurt Gödel

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.003 ◽

2011 ◽

pp. xix-xxiv

Keyword(s):

Kurt Gödel ◽

Short Biography

Download Full-text

The Gödel Phenomenon in Mathematics: A Modern View

Kurt Gödel and the Foundations of Mathematics ◽

10.1017/cbo9780511974236.024 ◽

2011 ◽

pp. 475-508

Author(s):

Avi Wigderson

Keyword(s):

Modern View

Download Full-text