About this product

Product Identifiers

PublisherCRC Press LLC

ISBN-100415690854

ISBN-139780415690850

eBay Product ID (ePID)102971322

Product Key Features

Number of Pages160 Pages

LanguageEnglish

Publication NameGoedel's Way : Exploits Into an Undecidable World

SubjectLogic, Set Theory, Physics / Mathematical & Computational, Recreations & Games

Publication Year2011

TypeTextbook

AuthorGregory Chaitin, Francisco A. Doria, Newton C. A. Da Costa

Subject AreaMathematics, Science

FormatTrade Paperback

Dimensions

Item Height0.4 in

Item Weight8.8 Oz

Item Length9.3 in

Item Width6.3 in

Additional Product Features

Intended AudienceTrade

LCCN2011-033943

ReviewsMost scientists don't really understand how important the process of formalization of logic, set theory and mathematics has been, both for showing when formalization is possible, and when it is not. Ok, I admit that most filmmakers, myself included, don't really understand that eitherâ€¦ So for scientist and filmmaker's alike, I strongly recommend "GÃ¶del's Way: Exploits into an undecidable world". It's a brilliant book, written by three brilliant man, Gregory Chaitin, Francisco Doria and Newton da Costa, two which are Brazilians like me. Read it, and you will find out why GÃ¶del has a way of being relevant almost everywhere. JosÃ© Padilha, Most scientists done(tm)t really understand how important the process of formalization of logic, set theory and mathematics has been, both for showing when formalization is possible, and when it is not. Ok, I admit that most filmmakers, myself included, done(tm)t really understand that eithere So for scientists and filmmakers alike, I strongly recommend "Gdele(tm)s Way: Exploits into an undecidable world". Ite(tm)s a brilliant book, written by three brilliant men, Gregory Chaitin, Francisco Doria and Newton da Costa, two of whom are Brazilians like me. Read it, and you will find out why Gdel has a way of being relevant almost everywhere. Jos Padilha This is not a conventional book on science; rather, it is the three authorse(tm) personal journey through the world of Gdele(tm)s theorem and computational complexitye There are no formal definitions, theorems, or detailed proofs. But there are audacious predictions, which would surprise most complexity theorists... [E]ntertaining for a reader who has the same background as the three authors and likes to make big leaps forward at the same points as the authors. M. Bona, University of Florida, in CHOICE, September 2012, Vol. 50 No. 1. "The text is based on graduate lectures and extended courses for a wide spectrum of engineering student and on own practical experiences. Also professionals in modeling of heat transfer, incompressible viscous flow, and heat convection and corresponding codes can profit from the book." e"e"Georg Hebermehl, Zentralblatt MATH 1257, Most scientists don't really understand how important the process of formalization of logic, set theory and mathematics has been, both for showing when formalization is possible, and when it is not. Ok, I admit that most filmmakers, myself included, don't really understand that eitherâ€¦ So for scientists and filmmakers alike, I strongly recommend "GÃ¶del's Way: Exploits into an undecidable world". It's a brilliant book, written by three brilliant men, Gregory Chaitin, Francisco Doria and Newton da Costa, two of whom are Brazilians like me. Read it, and you will find out why GÃ¶del has a way of being relevant almost everywhere. JosÃ© Padilha This is not a conventional book on science; rather, it is the three authors' personal journey through the world of GÃ¶del's theorem and computational complexityâ€¦ There are no formal definitions, theorems, or detailed proofs. But there are audacious predictions, which would surprise most complexity theorists... [E]ntertaining for a reader who has the same background as the three authors and likes to make big leaps forward at the same points as the authors. M. Bona, University of Florida, in CHOICE, September 2012, Vol. 50 No. 1., Most scientists don't really understand how important the process of formalization of logic, set theory and mathematics has been, both for showing when formalization is possible, and when it is not. Ok, I admit that most filmmakers, myself included, don't really understand that either... So for scientists and filmmakers alike, I strongly recommend "Gödel's Way: Exploits into an undecidable world". It's a brilliant book, written by three brilliant men, Gregory Chaitin, Francisco Doria and Newton da Costa, two of whom are Brazilians like me. Read it, and you will find out why Gödel has a way of being relevant almost everywhere. José Padilha This is not a conventional book on science; rather, it is the three authors' personal journey through the world of Gödel's theorem and computational complexity... There are no formal definitions, theorems, or detailed proofs. But there are audacious predictions, which would surprise most complexity theorists... [E]ntertaining for a reader who has the same background as the three authors and likes to make big leaps forward at the same points as the authors. M. Bona, University of Florida, in CHOICE, September 2012, Vol. 50 No. 1. "The text is based on graduate lectures and extended courses for a wide spectrum of engineering student and on own practical experiences. Also professionals in modeling of heat transfer, incompressible viscous flow, and heat convection and corresponding codes can profit from the book." --Georg Hebermehl, Zentralblatt MATH 1257

IllustratedYes

Table Of Content1. Goedel, Turing 2. Complexity, Randomness 3. A List of Problems and Weird Spacetimes 4. The Halting Function and its Avatars 5. Entropy, P vs. NP 6. Forays into Uncharted Landscapes Envoi: On Eternity and Beyond

SynopsisKurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he proved that Einstein's theory allows for time machines. The Gödel incompleteness theorem - the usual formal mathematical systems cannot prove nor disprove all true mathematical sentences - is frequently presented in textbooks as something that happens in the rarefied realms of mathematical logic, and that has nothing to do with the real world. Practice shows the contrary though; one can demonstrate the validity of the phenomenon in various areas, ranging from chaos theory and physics to economics and even ecology. In this lively treatise, based on Chaitin's groundbreaking work and on the da Costa-Doria results in physics, ecology, economics and computer science, the authors show that the Gödel incompleteness phenomenon can directly bear on the practice of science and perhaps on our everyday life. This accessible book gives a new, detailed and elementary explanation of the Gödel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities. Besides theory, the historical report and personal stories about the main character and on this book's writing process, make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer sciences. See also: http://www.youtube.com/watch'v=REy9noY5Sg8, Kurt G del (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he proved that Einstein's theory allows for time machines. The G del incompleteness theorem - the usual formal mathematical systems cannot prove nor disprove all true mathematical sentences - is frequently presented in textbooks as something that happens in the rarefied realms of mathematical logic, and that has nothing to do with the real world. Practice shows the contrary though; one can demonstrate the validity of the phenomenon in various areas, ranging from chaos theory and physics to economics and even ecology. In this lively treatise, based on Chaitin's groundbreaking work and on the da Costa-Doria results in physics, ecology, economics and computer science, the authors show that the G del incompleteness phenomenon can directly bear on the practice of science and perhaps on our everyday life. This accessible book gives a new, detailed and elementary explanation of the G del incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities. Besides theory, the historical report and personal stories about the main character and on this book's writing process, make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer sciences. See also: http: //www.youtube.com/watch'v=REy9noY5Sg8, Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he proved that Einstein's theory allows for time machines. The Gödel incompleteness theorem - the usual formal mathematical systems cannot prove nor disprove all true mathematical sentences - is frequently presented in textbooks as something that happens in the rarefied realms of mathematical logic, and that has nothing to do with the real world. Practice shows the contrary though; one can demonstrate the validity of the phenomenon in various areas, ranging from chaos theory and physics to economics and even ecology. In this lively treatise, based on Chaitin's groundbreaking work and on the da Costa-Doria results in physics, ecology, economics and computer science, the authors show that the Gödel incompleteness phenomenon can directly bear on the practice of science and perhaps on our everyday life. This accessible book gives a new, detailed and elementary explanation of the Gödel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities. Besides theory, the historical report and personal stories about the main character and on this book's writing process, make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer sciences. See also: http: //www.youtube.com/watch?v=REy9noY5Sg8

LC Classification NumberQA9.65