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 The Mayor of Casterbridge by
Cover of the book The Oxford Companion to English Literature by
Cover of the book The Darwinian Tourist by
Cover of the book International Law in Domestic Courts by
Cover of the book Plants: A Very Short Introduction by
Cover of the book Only in Australia by
Cover of the book Pragmatism and Organization Studies by
Cover of the book Essays on Ethics and Feminism by
Cover of the book Elective Monarchy in Transylvania and Poland-Lithuania, 1569-1587 by
Cover of the book Einstein and Twentieth-Century Politics by
Cover of the book Tales of Imperial Russia by
Cover of the book Physical Health and Schizophrenia by
Cover of the book Host Manipulation by Parasites by
Cover of the book Photography: A Very Short Introduction by
Cover of the book Asthma: The Biography 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