|
" Gödel's disjunction : "
Leon Horsten, Philip Welsh.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
558526
|
| Doc. No
|
:
|
b387464
|
| Main Entry
|
:
|
Leon Horsten
|
| Title & Author
|
:
|
Gödel's disjunction : : the scope and limits of mathematical knowledge\ Leon Horsten, Philip Welsh.
|
| Edition Statement
|
:
|
First edition
|
| Publication Statement
|
:
|
Oxford ; New York: NY Oxford University Press,, 2016. ©2016
|
| Page. NO
|
:
|
(277 pages)
|
| ISBN
|
:
|
0191077682
|
|
|
:
|
: 0191820377
|
|
|
:
|
: 9780191077685
|
|
|
:
|
: 9780191820373
|
| Abstract
|
:
|
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 theThe 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 theThe 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",,,,,,"A famous theorem from Goedel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems.A famous theorem from Goedel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems.Within this context, the contributions to this book critically examine positions about the scope and limits of human mathematical knowledge.A famous theorem from Goedel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems.A famous theorem from Goedel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems.Within this context, the contributions to this book critically examine positions about the scope and limits of human mathematical knowledge.A famous theorem from Goedel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems.A famous theorem from Goedel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems.Within this context, the contributions to this book critically examine positions about the scope and limits of human mathematical knowledge.Read less
|
| Subject
|
:
|
Electronic books
|
| Added Entry
|
:
|
Philip Welsh
|
| |