VS.

Automath vs. Autodidact

Published:

Automathnoun

One who is self-taught; an autodidact.

Autodidactnoun

A self-taught person.

‘Leonardo Da Vinci is one of the greatest autodidacts.’;

Automathnoun

One who is self-taught.

Autodidactnoun

One who is self-taught; an automath.

Automath

Automath () is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness.

‘automating mathematics’;

Autodidactnoun

a person who is self-taught

ADVERTISEMENT

Autodidactnoun

a self-taught person.

Autodidact Illustrations

Popular Comparisons

Latest Comparisons

Trending Comparisons