cam a22 7 4500 551369043 CHVBK 20201114033829.0 m d cr |n |||||||| 160107s2016 enk s 000 0 eng d 2016930237 978-0-19-875959-1 0-19-875959-2 (SERSOL)ssj0001749410 (WaSeSS)ssj0001749410 ERASA eng ERASA BTCTA BDX NLE OCLCO YDX NYP OCLCF DLC WaSeSS QA8.4 .H67 2016 190 Horsten Leon author Gödel's disjunction [Elektronische Daten] the scope and limits of mathematical knowledge Leon Horsten, Professor of Philosophy, University of Bristol, Philip Welch, Professor of Mathematical Logic, University of Bristol First edition. Oxford, United Kingdom Oxford University Press 2016 1 online resource (x, 277 pages) text txt rdacontent/eng computer c rdamedia/eng online resource cr rdacarrier/eng Includes bibliographical references and index. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is 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, Kurt Gödel, Kurt (OCoLC)fst00030398 fast Mathematics Philosophy Mathematics Philosophy (OCoLC)fst01012213 fast Welch Philip author https://oxford.universitypressscholarship.com/view/10.1093/acprof:oso/9780198759591.001.0001/acprof-9780198759591 Uni Basel: Volltext https://oxford.universitypressscholarship.com/view/10.1093/acprof:oso/9780198759591.001.0001/acprof-9780198759591 Uni Bern: Volltext BK020053 XK020053 XK020000 Oxford Scholarship Online Mathematics University Press Scholarship Online E-Books von 360MarcUpdates Oxford Scholarship Online IDSBB A145 A145 145VT NELA1451712 IDSBB B405 B405 405VT NELB4052008 IDSBB 100 1- Horsten Leon author IDSBB 700 1- Welch Philip author IDSBB 856 40 https://oxford.universitypressscholarship.com/view/10.1093/acprof:oso/9780198759591.001.0001/acprof-9780198759591 Uni Basel: Volltext IDSBB 856 40 https://oxford.universitypressscholarship.com/view/10.1093/acprof:oso/9780198759591.001.0001/acprof-9780198759591 Uni Bern: Volltext SWISSBIB 508142504