Télécharger le livre :  Gödel's Disjunction
Ajouter à ma liste d'envies
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

104,48
Télécharger le livre :  Gödel's Disjunction
Ajouter à ma liste d'envies
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

104,48