Поиск
На сайте: 567443 статей, 285487 фото.

Metamathematics, Machines and Godel's Proof (книга)

Metamathematics, Machines and Godel's Proof
Автор: N. Shankar
C. J. van Rijsbergen
Оригинал издан: ????

«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…»

Рецензии

См. также

Ссылки