metamathematiciann.

Brit.

/ˌmɛtəˌmaθ(ə)məˈtɪʃn/, U.S.

/ˈˌmɛdəˌmæθ(ə)məˈtɪʃ(ə)n/

Origin: Formed within English, by derivation. Etymons: meta- prefix, mathematician n.

Etymology: < meta- prefix + mathematician n., after metamathematics n. Compare earlier metamathematical adj.

An expert in or student of metamathematics.

ΘΚΠ

the world > relative properties > number > mathematics > [noun] > knowledge of > one who has

mathematician?a1475

mathematical1545

mathematic1547

algebrician1579

computist1595

algebraist1614

philomathematic1621

Archimedesa1649

algorist1656

analyst1656

fluxionist1734

calculist1829

metamathematician1935

numerical analyst1956

1935 Mind 44 394 The metamathematician may use mathematical induction for the recursive definition of simple functions.

1952 S. C. Kleene Introd. Metamath. iii. 64 The interpretation motivates the metamathematician in his choice of the particular formal system which he introduces by his definitions.

1976 Jrnl. Symbolic Logic 41 766 A formalist or metamathematician would prefer to substitute consistency properties.

This entry has been updated (OED Third Edition, December 2001; most recently modified version published online March 2022).

单词	metamathematician
释义	metamathematiciann. Brit. /ˌmɛtəˌmaθ(ə)məˈtɪʃn/, U.S. /ˈˌmɛdəˌmæθ(ə)məˈtɪʃ(ə)n/ Origin: Formed within English, by derivation. Etymons: meta- prefix, mathematician n. Etymology: < meta- prefix + mathematician n., after metamathematics n. Compare earlier metamathematical adj. An expert in or student of metamathematics. ΘΚΠ the world > relative properties > number > mathematics > [noun] > knowledge of > one who has mathematician?a1475 mathematical1545 mathematic1547 algebrician1579 computist1595 algebraist1614 philomathematic1621 Archimedesa1649 algorist1656 analyst1656 fluxionist1734 calculist1829 metamathematician1935 numerical analyst1956 1935 Mind 44 394 The metamathematician may use mathematical induction for the recursive definition of simple functions. 1952 S. C. Kleene Introd. Metamath. iii. 64 The interpretation motivates the metamathematician in his choice of the particular formal system which he introduces by his definitions. 1976 Jrnl. Symbolic Logic 41 766 A formalist or metamathematician would prefer to substitute consistency properties. This entry has been updated (OED Third Edition, December 2001; most recently modified version published online March 2022). < n.1935
随便看	drop the f-bomb drop the fbomb drop the flag drop the handkerchief drop the handkerchief at drop the handkerchief to drop the pilot drop the rag drop the writ drop to or on drop to or on to drop trou drop vie drop vies drop your cocks and grab your socks drop, throw, etc, in someone's lap drop, throw, etc, something in someone's lap drop- drop-arch drop-bar drop-black drop-bolt drop-bottle drop-bottom drop-cake