Talk:Automath
Add topic | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Bcvv
Disambiguation page?
[edit]this is said to be a Autodidact in the article Autodidacticism perhaps a disambiguation page is in order? --Pete Iriarte (talk) 05:06, 3 March 2008 (UTC)
Billion-Dollar Brain
[edit]Part of an Automath Statement featured in the graphic design of Len Deighton's Billion-Dollar Brain book, on the endpapers. Something about calculating curves for armature loads. --Auric talk 22:41, 3 February 2018 (UTC)
Mizar influence? Really?
[edit]"The Mizar system, a system of writing and checking formalized mathematics that is still in active use, was influenced by Automath."
I've never seen evidence for this claim. I've looked at both the Automath and the Mizar literature. The two systems are utterly different. The Cold War made interaction between the two groups all but impossible. Lcpaulson (talk) 17:19, 17 July 2026 (UTC)