Authors:Czech Republic) Godel 9 (1996 Brno, Godel 96, Petr H
Publisher: AK Peters, Ltd.
Keywords: gã¶del, legacy, lecture, notes, logic, kurt, physics, foundations, mathematics, computer, science
Number of Pages: 336
Published: 2000-03-20
List price: $50.00
ISBN-10: 1568811535
ISBN-13: 9781568811536

This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Gödel’s Legacy, held in Gödel’s birthplace, Brno, Czech Republic, on the 90th anniversary of his birth. The wide and continuing importance of Gödel’s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event. Because of the continued interest and value of the work as a source and inspiration to younger researchers, this vol

Authors:Kurt Gödel, S. Feferman (Editor-in-Chief), John W. D
Publisher: Oxford University Press, USA
Keywords: collected, works, godel, kurt, lectures, unpublished, volume, iii, essays
Number of Pages: 560
Published: 1995-03-30
List price: $240.00
ISBN-10: 0195072553
ISBN-13: 9780195072556

Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory and stronger systems, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, the foundations of computation theory, unusual cosmological models, and for the strong individuality of his writings on the philosophy of mathematics. The Collected Works is a landmark resource that draws together a lifetime of creative accomplishment.

Authors:Kurt Gödel, Solomon Feferman, John W. Dawson, Warren
Publisher: Oxford University Press, USA
Keywords: collected, works, kurt, godel, volume, correspondence
Number of Pages: 696
Published: 2003-06-05
List price: $250.00
ISBN-10: 0198500750
ISBN-13: 9780198500759

Kurt Godel was one of the most outstanding logicians of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Godels writings. The first three volumes, already published consists of the papers and essays of Godel. The final two voulmes of the set deal with Godel’s correspondence with his contemporary mathematicians, this fifth volume consists of material from correspondents from H-Z.

Authors:Kurt Gödel, Solomon Feferman, John W. Dawson, Warren
Publisher: Oxford University Press, USA
Keywords: collected, works, kurt, godel, volume, correspondence
Number of Pages: 688
Published: 2003-06-05
List price: $225.00
ISBN-10: 0198500734
ISBN-13: 9780198500735

Kurt Godel was one of the most outstanding logicians of the twentieth century, famous for hsi work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuim hypothesis. He is also noted for his work on constructivity, the decision problem and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein’s equations, in theory, permitting time travel into the past. The b

Author:
Publisher:
Keywords: gã¶del, bis, hammurapi, von, algorithmen
Number of Pages: 374
Published:
List price: unknow
ISBN-10: 3817118147
ISBN-13: 9783817118144

Author: Hao Wang
Publisher: The MIT Pre
Keywords: gã¶del, kurt, reflections
Number of Pages: 368
Published: 1990-03-14
List price: unknow
ISBN-10: 0262730871
ISBN-13: 9780262730877

Kurt Gödel was indisputably one of the greatest thinkers of our time, and in this first extended treatment of his life and work, Hao Wang, who was in close contact with Gödel in his last years, brings out the full subtlety of Gödel’s ideas and their connection with grand themes in the history of mathematics and philosophy. The subjects he covers include the completeness of elementary logic, the limits of formalization, the problem of evidence, the concept of set, the philosophy of mathematics, time and relativity theory, metaphysics and religion, as well as general ideas on philosophy

Author: Kurt Godel
Publisher: Princeton University Pre
Keywords: hypothesis, continuum, consistency
Number of Pages: 72
Published: 1940-09-01
List price: $29.95
ISBN-10: 0691079277
ISBN-13: 9780691079271

Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency of the Continuum Hypothesis, is a classic of modern mathematics. The continuum hypothesis, introduced b