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 Risk and Negligence in Wills, Estates, and Trusts by
Cover of the book Separation of Powers in African Constitutionalism by
Cover of the book Little Dorrit by
Cover of the book Disruptive Mood by
Cover of the book Quantitative Genetics in the Wild by
Cover of the book Comparing Westminster by
Cover of the book Foundations of Private Law by
Cover of the book The Mapmakers' Quest: Depicting New Worlds in Renaissance Europe by
Cover of the book Empty Representations by
Cover of the book The Oxford Illustrated History of Science by
Cover of the book Employment and Development by
Cover of the book Annuity Markets by
Cover of the book Objectivity: A Very Short Introduction by
Cover of the book Justice and Grace by
Cover of the book Debating Scotland 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