Gödel's disjunction : the scope and limits of mathematical knowledge / Leon Horsten, Philip Welsh.
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 cen...
Full description
Saved in: