Gödel's Disjunction

The scope and limits of mathematical knowledge

Nonfiction, Science & Nature, Mathematics, Logic, History
Cover of the book Gödel's Disjunction by , OUP Oxford
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9780191077692
Publisher: OUP Oxford Publication: September 8, 2016
Imprint: OUP Oxford Language: English
Author:
ISBN: 9780191077692
Publisher: OUP Oxford
Publication: September 8, 2016
Imprint: OUP Oxford
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from OUP Oxford

Cover of the book Sovereignty at the Paris Peace Conference of 1919 by
Cover of the book The Artful Universe Expanded by
Cover of the book Commentary on the European Insolvency Regulation by
Cover of the book Inheritance of Wealth by
Cover of the book King Edward VIII by
Cover of the book Dynamic of Destruction by
Cover of the book How to Think About Analysis by
Cover of the book A Dictionary of Tourism and Travel by
Cover of the book Necessary Existence by
Cover of the book Horace's Epodes by
Cover of the book A Dictionary of Gender Studies by
Cover of the book The Oxford Companion to Classical Civilization by
Cover of the book Principles of Evolutionary Medicine by
Cover of the book Foundations of Modern Macroeconomics by
Cover of the book The Law of EU External Relations by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy