«Metamathematics, Machines and Godel's Proof» — книга ???? года.

Содержание

От издателя

«The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Godel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems…»

Рецензии

См. также

Ссылки

Book closed template.gif

Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её.