One who is self-taught.
A very high level language for writingproofs, from Eindhoven, Netherlands.["The Mathematical Language AUTOMATH, Its Usage and Some ofits Extensions", N.G. deBruijn, in Symp on AutomaticDemonstration, LNM 125, Springer 1970].