 |
|
What people are saying - Write a reviewReview: Kurt Godel: Essays for His CentennialUser Review - Joshua Stein - GoodreadsDo not read this book if you do not have some significant level of experience in logic, philosophy and mathematics. The material is technically dense and takes an enormous level of technical ... Read full review Related books
Contents
Common terms and phrasesabsolutely undecidable analysis argument arithmetic axiom of choice axiom system axiomatic Bernays Cantor’s Carnap Charles Parsons concept of set Conjecture consistency proof construction continuum hypothesis countable Dawson definable defined definition different discussion editors effect existence find finitary finite first first-order formal foundations of mathematics functions GN folder Heijenoort Herbrand’s hierarchy Hilbert’s Hilbert’s program Husserl idealism implies incompleteness theorem induction infinite influence inner model interpretation intuitionistic iteration Jean van Heijenoort justifications Kant Kant’s Kurt G¨odel language large cardinal axioms Leibniz mathematical intuition mathematical logic metamathematical natural numbers notion number theory objects ordinal Oxford University Press paper phenomenology philosophy primitive recursive propositions provable quantifiers question RCA0 realism reflection remarks result Reverse Mathematics Russell’s satisfies sense sentences set theory sets of reals significant Solomon Feferman specific statement sufficiently Symbolic Logic Tait Tarski transcendental transfinite truth Vienna Circle Wang Warren Goldfarb WKL0 Woodin cardinals Bibliographic information
|
