Télécharger le livre :  Gödel's Disjunction
The logician Kurt Gödel 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...

Editeur : OUP Oxford
Parution : 2016-09-09
PDF

102,90

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Gödel's Disjunction
The logician Kurt Gödel 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...

Editeur : OUP Oxford
Parution : 2016-09-08
ePub

102,90

Téléchargement immédiat
Dès validation de votre commande