Godel's Theorem in Focus

Main
Mathematics
Godel's Theorem in Focus

Godel's Theorem in Focus

S. G. Shanker (editor)

0 / 5.0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

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

Categorías:

Año:

1987

Editorial:

Routledge

Idioma:

english

Páginas:

260

ISBN 10:

0709933576

ISBN 13:

9780709933571

Serie:

Philosophers in Focus

Archivo:

PDF, 6.48 MB

IPFS:

,

english, 1987

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

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

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

WANG HAO — A SURVEY OF MATHEMATICAL LOGIC

Desconocido — Goldstein, Rebecca - Incompleteness (Godel)

Joan Roselló — From Foundations to Philosophy of Mathematics

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

Gödel's Theorem [An Incomplete Guide To Its Use And Abuse] — Gödel's Theorem [An Incomplete Guide To Its Use And Abuse]

Jaako Hintikka — On Gödel

Wang H. — A survey of mathematical logic

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

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

Smullyan, Raymond M — Gödel's incompleteness theorems

Solomon Feferman — In the Light of Logic

Solomon Feferman — In the Light of Logic

Alec Fisher — Formal Number Theory and Computability A Workbook

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

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

Rebecca Goldstein — Incompleteness

Michael Detlefsen (ed.) — Proof, logic and formalization

Stuart G. Shanker (editor) — Gödel’s Theorem in Focus

Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy — Foundations of Set Theory

Evert W. Beth (Eds.) — The Foundations of Mathematics

Hao Wang — A Survey of Mathematical Logic.

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams — What is mathematical logic?

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

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

Alexander George, Daniel J. Velleman — Philosophies of Mathematics

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

Stuart Shanker — Gödel's Theorem in Focus

Andrzej Mostowski — Sentences Undecidable in Formalized Arithmetic

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

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

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

Piergiorgio Odifreddi (editor) — Kreiseliana: About and Around Georg Kreisel

Términos más frecuentes