Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Godel's Disjunction : The scope and limits of mathematical knowledge, EPUB eBook

Godel's Disjunction : The scope and limits of mathematical knowledge EPUB

Edited by Leon Horsten, Philip Welch

EPUB

Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.

Description

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 physicistand 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 inthis 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.

Information

Information