Logical Dilemmas

The Life and Work of Kurt Gödel

John W., Jr Dawson

374 pages, parution le 11/07/2005

Ajouter à une liste

Indisponible

Résumé

This definitive biography of the logician and philosopher Kurt Godel is the first in-depth account to integrate details of his personal life with his work and is based on the author's intensive study of Godel's papers and surviving correspondence. Godel (1906-1978) is considered to be the preeminent logic researcher of the twentieth century. His noted works on the completeness of first-order logic, the incompleteness of formal number theory, and the relative consistency of the Axiom of Choice and the Continuum Hypothesis established bounds on the efficacy of formal methods in investigating foundational questions. He is also noted for his unique and distinctive writings on the philosophy behind mathematics, and his lesser-known results in cosmology raised problematic issues in the philosophy of time. Dawson, a logician and historian of science, examines the life of this driven man whose work on the foundation of mathematics has fundamentally changed our thoughts on these subjects and has stimulated much of the research conducted in this century. He further explores the relationship between Godel's personality and his scientific achievements and describes the impact Godel's results have had on our modern world view.

Sommaire

Der Herr Warum
Intellectual Maturation
Excursus
Moment of Impact
Dozent in absentia
"Jetzt, Mengenlehre"
Homecoming and Hegira
Years of Transition
Philosophy and Cosmology
Recognition and Reclusion
New Light on the Continuum Problem
Withdrawal
Aftermath
Reflections on Godel's Life and Legacy
Appendix A: Chronology
Appendix B: Family Genealogies
Appendix C: Biographical Vignettes

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	AK Peters
Auteur(s)	John W., Jr Dawson
Parution	11/07/2005
Nb. de pages	374
Format	15,5 x 23
Couverture	Broché
Poids	555g
Intérieur	Noir et Blanc
EAN13	9781568812564
ISBN13	978-1-56881-256-4