Gödel Centenary 2006
Author :
Publisher :
Page : 106 pages
File Size : 10,12 MB
Release : 2006
Category :
ISBN : 9783901546068
Kurt Gödel and the Foundations of Mathematics
Author : Matthias Baaz
Publisher : Cambridge University Press
Page : 541 pages
File Size : 23,48 MB
Release : 2011-06-06
Category : Mathematics
ISBN : 1139498436
Book Description
This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.
Incompleteness
Author : Rebecca Goldstein
Publisher : W. W. Norton & Company
Page : 299 pages
File Size : 45,58 MB
Release : 2006-01-31
Category : Biography & Autobiography
ISBN : 0393327604
Book Description
"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.
Gödel's Theorem
Author : Torkel Franzén
Publisher : CRC Press
Page : 184 pages
File Size : 46,85 MB
Release : 2005-06-06
Category : Mathematics
ISBN : 1439876924
Book Description
"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." --- John W. Dawson, author of Logical Dilemmas: The Life and Work of Kurt Gödel
Gödel's Disjunction
Author : Leon Horsten
Publisher : Oxford University Press
Page : 288 pages
File Size : 16,57 MB
Release : 2016-09-09
Category : Mathematics
ISBN : 0191077682
Book Description
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Gödel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.
Principia Mathematica
Author : Alfred North Whitehead
Publisher :
Page : 688 pages
File Size : 50,68 MB
Release : 1910
Category : Logic, Symbolic and mathematical
ISBN :
Book Description
Foundations of Mathematics and Physics One Century After Hilbert
Author : Joseph Kouneiher
Publisher : Springer
Page : 454 pages
File Size : 23,50 MB
Release : 2018-05-26
Category : Science
ISBN : 3319648136
Book Description
This book explores the rich and deep interplay between mathematics and physics one century after David Hilbert’s works from 1891 to 1933, published by Springer in six volumes. The most prominent scientists in various domains of these disciplines contribute to this volume providing insight to their works, and analyzing the impact of the breakthrough and the perspectives of their own contributions. The result is a broad journey through the most recent developments in mathematical physics, such as string theory, quantum gravity, noncommutative geometry, twistor theory, Gauge and Quantum fields theories, just to mention a few. The reader, accompanied on this journey by some of the fathers of these theories, explores some far reaching interfaces where mathematics and theoretical physics interact profoundly and gets a broad and deep understanding of subjects which are at the core of recent developments in mathematical physics. The journey is not confined to the present state of the art, but sheds light on future developments of the field, highlighting a list of open problems. Graduate students and researchers working in physics, mathematics and mathematical physics will find this journey extremely fascinating. All those who want to benefit from a comprehensive description of all the latest advances in mathematics and mathematical physics, will find this book very useful too.
Kurt Gödel: Collected Works: Volume III
Author : Kurt Gödel
Publisher : Oxford University Press, USA
Page : 558 pages
File Size : 41,94 MB
Release : 1986
Category : Mathematics
ISBN : 0195072553
Book Description
"Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gödel and, in turn, mathematical logic have accomplished." --Isis (on volume I). The third volume brings togetherGödels unpublished essays and lectures.
When Einstein Walked with Gödel
Author : Jim Holt
Publisher : Farrar, Straus and Giroux
Page : 385 pages
File Size : 17,9 MB
Release : 2018-05-15
Category : Science
ISBN : 0374717842
Book Description
From Jim Holt, the New York Times bestselling author of Why Does the World Exist?, comes an entertaining and accessible guide to the most profound scientific and mathematical ideas of recent centuries in When Einstein Walked with Gödel: Excursions to the Edge of Thought. Does time exist? What is infinity? Why do mirrors reverse left and right but not up and down? In this scintillating collection, Holt explores the human mind, the cosmos, and the thinkers who’ve tried to encompass the latter with the former. With his trademark clarity and humor, Holt probes the mysteries of quantum mechanics, the quest for the foundations of mathematics, and the nature of logic and truth. Along the way, he offers intimate biographical sketches of celebrated and neglected thinkers, from the physicist Emmy Noether to the computing pioneer Alan Turing and the discoverer of fractals, Benoit Mandelbrot. Holt offers a painless and playful introduction to many of our most beautiful but least understood ideas, from Einsteinian relativity to string theory, and also invites us to consider why the greatest logician of the twentieth century believed the U.S. Constitution contained a terrible contradiction—and whether the universe truly has a future.
Kurt Gödel: Collected Works: Volume V
Author : Kurt Gödel
Publisher :
Page : 691 pages
File Size : 38,55 MB
Release : 2013-10
Category : Computers
ISBN : 0199689628
Book Description
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century. These collected works form the only comprehensive edition of Gödel's work available and are designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy.
