Gödel’s Theorem in Focus

Main
Mathematics
Gödel’s Theorem in Focus

Gödel’s Theorem in Focus

Stuart G. Shanker (editor)

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

A layman's guide to the mechanics of Godel's proof together with a lucid discussion of the issues which it raises.

Kateqoriyalar:

İl:

1990

Nəşr:

New edition

Nəşriyyat:

Routledge

Dil:

english

Səhifələr:

534

ISBN 10:

0203407768

ISBN 13:

9780203407769

Seriyalar:

Croom Helm philosophers in focus series

Fayl:

EPUB, 1.45 MB

IPFS:

,

english, 1990

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

Stuart Shanker — Godel’s Theorem in Focus (Philosophers in Focus)

Smullyan, Raymond M — Forever undecided: a puzzle guide to Gödel

Gödel, Kurt;Goldstein, Rebecca — Incompleteness: The Proof and Paradox of Kurt Gödel

WANG HAO — A SURVEY OF MATHEMATICAL LOGIC

Michael Detlefsen (edt) — Proof, Logic and Formalization

Kurt Gödel / Solomon Feferman et al. — Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

Juliette Kennedy — GÖDEL'S INCOMPLETENESS THEOREMS

Gödel, Kurt — On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Horsten, Leon; Welsh, Philip — Gödel’s disjunction : the scope and limits of mathematical knowledge

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected works. Publications 1929-1936

Wilfried Sieg — Hilbert’s Programs and Beyond

Leon Horsten, Philip Welch — Gödel’s Disjunction: The scope and limits of mathematical knowledge

Ernest Nagel — Godel's Proof

Detlefsen M. (Ed) — Proof, Logic and Formalization

Kurt Gödel — Kurt Gödel: Collected Works volume I

Rebecca Goldstein — Incompleteness: The Proof and Paradox of Kurt Godel

Rebecca Goldstein — Incompleteness

Rebecca Goldstein — Incompleteness: The Proof and Paradox of Kurt Gödel [= Goedel]

Michael Detlefsen — Proof, Logic and Formalization

Ernest Nagel, James R. Newman — Gödel's Proof

Baaz, Matthias;Harper, Jr Charles L.;Papadimitriou, Christos H.;Putnam, Hilary W.;Scott, Dana S — Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper — Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Jean van Heijenoort — Frege and Gödel: Two Fundamental Texts in Mathematical Logic

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

S. G. Shanker (editor) — Godel's Theorem in Focus

Ernest Nagel & James Newman — Godel's Proof

Juliette Kennedy — Gödel's Incompleteness Theorems (Elements in Philosophy and Logic)

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Francesco Berto(auth.) — There's Something about Gödel: The Complete Guide to the Incompleteness Theorem

Roman Murawski — Logos and Mathema: Studies in the Philosophy of Mathematics and History of Logic

Dirk W. Hoffmann — Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel's Historic Proof

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.) — Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Roman Murawski — Essays in the Philosophy and History of Logic and Mathematics

Ernest Nagel & James R. Newman & Douglas R. Hofstadter [Nagel, Ernest] — Godel's Proof

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Açar ifadələr