Gödel's Disjunction

Gödel's Disjunction
Author :
Publisher : Oxford University Press
Total Pages : 289
Release :
ISBN-10 : 9780198759591
ISBN-13 : 0198759592
Rating : 4/5 (91 Downloads)

Book Synopsis Gödel's Disjunction by : Leon Horsten

Download or read book Gödel's Disjunction written by Leon Horsten and published by Oxford University Press. This book was released on 2016 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: The logician Kurt Godel 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 Godel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.


Gödel's Disjunction Related Books

Gödel's Disjunction
Language: en
Pages: 289
Authors: Leon Horsten
Categories: Mathematics
Type: BOOK - Published: 2016 - Publisher: Oxford University Press

DOWNLOAD EBOOK

The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equiv
Kurt Gödel: Collected Works: Volume III
Language: en
Pages: 558
Authors: Kurt Gödel
Categories: Mathematics
Type: BOOK - Published: 1986 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

"Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this
From Frege to Gödel
Language: en
Pages: 684
Authors: Jean van Heijenoort
Categories: Philosophy
Type: BOOK - Published: 2002-01-15 - Publisher: Harvard University Press

DOWNLOAD EBOOK

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for
Science Between Truth and Ethical Responsibility
Language: en
Pages: 334
Authors: Mario Alai
Categories: Science
Type: BOOK - Published: 2015-04-30 - Publisher: Springer

DOWNLOAD EBOOK

This book offers the most complete and up-to-date overview of the philosophical work of Evandro Agazzi, presently the most important Italian philosopher of scie
Interpreting Gödel
Language: en
Pages: 293
Authors: Juliette Kennedy
Categories: Science
Type: BOOK - Published: 2014-08-21 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The logician Kurt Gödel (1906–1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among oth