Goedel''s Way : Exploits into an undecidable worldMaterial type: TextSeries: eBooks on DemandPublisher: Hoboken : Taylor and Francis, 2012Description: 1 online resource (162 p.)ISBN: 9781136587641Subject(s): Feminism and literature -- Great Britain -- History | France -- History -- Revolution, 1789-1799 -- Influence | Hamilton, Elizabeth, 1756?-1816 -- Political and social views | Literary form -- History | Politics in literature | Women and literature -- Great Britain -- HistoryGenre/Form: Electronic books.Additional physical formats: Print version:: Goedel''s Way : Exploits into an undecidable worldDDC classification: 511.3 | 823/.6 LOC classification: PR4739.H164 Z68 2012Online resources: Click here to view this ebook.
|Item type||Current location||Call number||URL||Status||Date due||Barcode|
|Electronic Book||UT Tyler Online Online||PR4739.H164 Z68 2012 (Browse shelf)||http://uttyler.eblib.com/patron/FullRecord.aspx?p=870671||Available||EBL870671|
Front Cover; Contents; Prologue; Acknowledgments; About the Authors; A Caveat; 1. Gödel, Turing; 2. Complexity, Randomness; 3. A List of Problems; 4. The Halting Function and its Avatars; 5. Entropy, P vs. NP; 6. Forays into Uncharted Landscapes; References
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
Description based upon print version of record.
Reviews provided by Syndetics
CHOICE ReviewThis is not a conventional book on science; rather, it is the three authors' personal journey through the world of Godel's theorem and computational complexity. Chaitin, a mathematician/computer scientist, da Costa, a logician, and Doria, a physicist, briefly introduce Godel's theorem and Turing machines, and in the rest of the book they explain their views on what these two topics mean for their respective fields. There are no formal definitions, theorems, or detailed proofs. But there are audacious predictions, which would surprise most complexity theorists. One such prediction is that P=NP, or, at the very least, if P=NP, then it will be easy to prove (in some sense); whereas if PM. Bona University of Florida
Author notes provided by Syndetics
Gregory Chaitin is an Argentinian-American mathematician and computer scientist. The author of many books and scholarly papers, Chaitin proved the Gödel-Chaitin incompleteness theorem and is the discoverer of the remarkable omega number, which shows that God plays dice in pure mathematics. Currently, he is attempting to create a mathematical theory of evolution and biological creativity, based on considering life as evolving software. Henbsp; is a member of the International Academy of the Philosophy of Science and of the Brazilian Academy of Philosophy, and was awarded honorary doctorates from the University of Cordoba and the University of Maine. Chaitin is currently a visiting professor at the Federal University of Rio de Janeiro (UFRJ) in the program on Epistemology and History of Science and Technology (HCTE). He is also an honorary professor at the University of Buenos Aires.
Newton da Costa is a Brazilian logician whose best known contributions have been in the realm of nonclassical logics. Da Costa developed paraconsistent logics, that is, logical systems that admit inner contradictions. Da Costa has wide-ranging interests, which go from foundational issues in the philosophy of science to physics (general relativity and quantum theory); besides his development of paraconsistent logics, he introduced the concept of quasi-truth to deal with mutually inconsistent scientific theories. Da Costa has a B. Sc. in civil engineering and a PhD in mathematics. He has visited several major universities (Stanford, Berkeley, Paris VII among others) and published about 200 scientific papers and several books on logic and the foundations of science. In 2009, he became a Professor Emeritus at Unicamp (Campinas, Brazil). Newton da Costanbsp; is a member of thenbsp; Institut International de Philosophie, of the International Academy of the Philosophy of Science and of the Brazilian Academy of Philosophy.
Francisco Antonio Doria is a Brazilian physicist. Doria is a Professor Emeritus at the Federal University of Rio de Janeiro, where he currently teaches economic theory at the graduate School of Engineering (UFRJ COPPE). Doria has a B. Sc. in chemical engineering and a PhD in mathematical physics. He has made contributions to the gauge field copy problem in quantum field theory and proved with Newton da Costa several incompleteness theorems in mathematics, physics and mathematical economics, including the undecidability of chaos theory. Doria is a member of the Brazilian Academy of Philosophy, was a Senior Fulbright Scholar at Stanford University, 1989-1990, and a visiting researcher at the mathematics department, University of Rochester.