Automath
(
n.
) One who is self-taught.