Bäst pris
769,00 krKöp fr 769 kr
Metamathematics, Machines and Gödel's Proof
N ShankarNatarajan ShankarC J van RijsbergenNaturvetenskap & teknikMathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Gödel's proof of his incompleteness theorem showed that no computer program could automatically prove true al...
Visa mer...769,00 krTILL akademibokhandelnVisa priser från alla butiker...Övrig information
| ISBN | 9780521585330 |
| Språk | sv |
Priser
Beskrivning
Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Gödel's proof of his incompleteness theorem showed that no computer program could automatically prove true al...