Copyright © Philip M. Parker, INSEAD. Terms of Use.

AUTOMATH

Definition: AUTOMATH

AUTOMATH

Noun

1. One who is self-taught.

Source: Webster's Revised Unabridged Dictionary (1913)
 

Etymology: Automath \Au"to*math\, noun. [expression of Greek origin; self + to learn.]. (Websters 1913)


Specialty Definition: AUTOMATH

DomainDefinition

Computing

AUTOMATH A very high level language for writing proofs, from Eindhoven, Netherlands. ["The Mathematical Language AUTOMATH, Its Usage and Some of its Extensions", N.G. deBruijn, in Symp on Automatic Demonstration, LNM 125, Springer 1970]. (2001-07-09). Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top     

Commercial Usage: AUTOMATH

DomainTitle

Books

  • Automath; a language for mathematics (reference)

  • Checking Landau's "Grundlagen" in the automath system (reference)

  • Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics, Vol 133) (reference)

    (more book examples)

Source: compiled by the editor from various references; see credits.

Top     

Bible Trace: AUTOMATH

LanguageDateSourceMark Chapter 4, Verse 28
Greek (transliterated)250 BCSeptuagintAutomath gar h gh karpoforei prwton corton eita stacun eita plhrh siton en tw stacui
Latin405VulgateUltro enim terra fructificat primum herbam deinde spicam deinde plenum frumentum in spica
Old English990West SaxonSoðlice selfwilles syo eorðe wæstmebyreð. ærest gærs. & sedðan ear. sydðanfullne hwæte on þam eare.
Middle English1395WyclifFor the erthe makith fruyt, first the gras, aftirward the ere, and aftir ful fruyt in the ere.
Renaissance English1526TyndaleFor ye erth bringeth forthe frute of her silfe: fyrst the blade then the eares after that full corne in the eares.
Jacobean English1611King JamesFor the earth bringeth forth fruit of herself; first the blade, then the ear, after that the full corn in the ear.
Victorian English1833WebsterFor the earth bringeth forth fruit of itself; first the blade, then the ear, after that the full corn in the ear.
Basic English1964OgdenThe earth gives fruit by herself; first the leaf, then the head, then the full grain.

Source: compiled by the editor from various references; see credits.

Top     

Matched Bible Translations: AUTOMATH

LanguageMark Chapter 4, Verse 28
CebuanoAng yuta, pinaagi sa kaugalingon niini, nagahatag ug abut: ang nahauna mao ang dahon, unya ang uhay, ug unya ang bus-ok nga lugas sa uhay.
Croatianzemlja sama od sebe donosi plod: najprije stabljiku, onda klas i napokon puno zrnja na klasu.
DanishAf sig selv bærer Jorden Frugt, først Strå, derefter Aks, derefter fuld Kærne i Akset;
DutchWant de aarde brengt van zelve vruchten voort: eerst het kruid, daarna de aar, daarna het volle koren in de aar.
FinnishSillä itsestään maa tuottaa viljan: ensin korren, sitten tähkän, sitten täyden jyvän tähkään.
FrenchLa terre produit d`elle-même, d`abord l`herbe, puis l`épi, puis le grain tout formé dans l`épi;
GaelicOir bheir an talamh a mach toradh leis fhein, an toiseach an duilleag, an sin an dias, a rithist an grainnean lan anns an deis.
GermanDenn die Erde bringt von selbst zum ersten das Gras, darnach die Ähren, darnach den vollen Weizen in den Ähren.
Indonesian-Bahasa Sehari-hariTanah itulah yang dengan sendirinya mengeluarkan hasil: mula-mula tangkainya, kemudian bulirnya, lalu buahnya.
Indonesian-Terjemahan LamaMaka bumi itu mengeluarkan buah dari dirinya sendiri, mula-mula kecambah, kemudian mayangnya, akhirnya butir gandum yang sepenuh-penuhnya di dalam mayang itu.
ItalianPoiché la terra produce spontaneamente, prima lo stelo, poi la spiga, poi il chicco pieno nella spiga.
LatvianJo zeme nes augïus: vispirms stiebru, tad vârpu, beigâs pilnu vârpu graudiem.
MaoriE hua ana hoki te whenua i tona kaha ake ano; ko te rau ki mua, ko reira te puku, muri iho ko te witi pakari i roto i te puku.
NorwegianAv sig selv bærer jorden grøde: først strå, så aks, så fullt korn i akset.
PortugueseA terra por si mesma produz fruto, primeiro a erva, depois a espiga, e por último o grão cheio na espiga.   
RumanianPqmkntul rodewte singur: kntki un fir verde, apoi spic, dupq aceea grku deplin kn spic;
RussianЙ'П ЪЕНМС УБНБ УП'ПА ТПЙЪЧП"ЙФ У ЕТЧБ ЪЕМЕОШ, ПФПН ЛПМПУ, ПФПН ПМОПЕ ЪЕТОП Ч ЛПМПУЕ.
ShuarKame Jinkiái nunkanam init aku ninki tsapaatsuk; emka nukareawai, Nuyá tuyureawai tura nujamar katsuawai.
SpanishPorque de por sí la tierra da fruto: primero el tallito, luego las espigas y después el grano lleno en la espiga.
SwahiliUdongo wenyewe huiwezesha mimea kukua na kuzaa matunda: kwanza huchipua jani changa, kisha suke, na mwishowe nafaka ndani ya suke.
SwedishAv sig själv bär jorden frukt, först strå och sedan ax, och omsider finnes fullbildat vete i axet.
UmaNgkai tana' moto-hawo pehupaa' wua' -na. Lomo' -na rau-na pai' kaho-na to mehupa', ngkai ree huwu-mi, duu' -na mo'ihi.

Source: compiled by the editor from various references; see credits.

Top     

Rhyming with "AUTOMATH"

Words rhyming with "AUTOMATH" (pronounced 'Au"to*math'): Aftermath, math, Philomath. (additional references)

Top     

Anagrams: AUTOMATH

Scrabble® Enable2K-Verified Anagrams

Words within the letters "a-a-h-m-o-t-t-u"

-2 letters: mahout.

-3 letters: mouth.

-4 letters: amah, atma, atom, auto, haut, math, matt, maut, moat, moth, mott, mutt, oath, taut, that, thou, tout.

-5 letters: aah, aha, ama, amu, att, ham, hao, hat, hot, hum, hut, mat, mho, moa, mot, mut, oat, ohm, out, tam, tao, tat, tau, tho, tom, tot, tut, uta.

 Words containing the letters "a-a-h-m-o-t-t-u"
 

+4 letters: atheromatous.

 

+5 letters: exanthematous, ultramarathon.

Source: compiled by the editor from various references; see credits.

SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.

Top     

Alternative Orthography: AUTOMATH


Hexadecimal (or equivalents, 770AD-1900s) (references)

41 55 54 4F 4D 41 54 48

Leonardo da Vinci (1452-1519; backwards) (references)

American Sign Language (origins from 1620-1817 in Italy and, especially, France) (references)

=

Semaphore (1791, in France) (references)

Braille (1829, in France) (references)

Morse Code (1836) (references)

.-    ..-    -    ---    --    .-    -    ....

Dancing Men (Sir Arthur Conan Doyle, 1903) (references)

Binary Code (1918-1938, probably earlier) (references)

01000001 01010101 01010100 01001111 01001101 01000001 01010100 01001000

HTML Code (1990) (references)

&#65 &#85 &#84 &#79 &#77 &#65 &#84 &#72

ISO 10646 (1991-1993) (references)

0041 0055 0054 004F 004D 0041 0054 0048

British Sign Language (Fingerspelling, BSL; 1992, British Deaf Association Dictionary of British Sign Language) (references)

Encryption (beginner's substitution cypher): (references)

3555544947355442

Top     



INDEX

1. Definition
2. Usage: Commercial
3. Bible Trace
4. Rhymes
5. Anagrams
6. Orthography
7. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.