Poincaré on the value of reasoning machines

DOI10.1090/bull/1822zbMath1540.68003MaRDI QIDQ6554712

Colin McLarty

Publication date: 13 June 2024

Published in: Bulletin of the American Mathematical Society. New Series (Search for Journal in Brave)

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of computer science (68-03) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Poincaré on the value of reasoning machines