N. Shankar – författare

Visar alla böcker från författaren N. Shankar. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Metamathematics, Machines and Gödel's Proof

   Av N. Shankar, C. J. van Rijsbergen

   Häftad, 1997

   764 kr

   Lägg i varukorg

   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 all the theorems of mathematics. In practice, however, …