Word Pronunciation & Dictionary

herbrand function

Word Rarity Very rare

Frequency: Zipf frequency 1.46 in modern English

Syllables: her-brand -func-tion
IPA

27

Scrabble Score

16

Letters

4

Syllables

13

Unique Chars

Meaning

noun

A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

Etymology

Named after Jacques Herbrand (1908–1931), French mathematician.

Inflected Forms

Herbrand functions (plural)

Frequently Paired Words

Herbrandization

Questions

What does herbrand function mean?: A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).
Where does herbrand function come from?: Named after Jacques Herbrand (1908–1931), French mathematician.

How to pronounce herbrand function

Open the pronunciation page — Open the Speakur entry for “herbrand function”.
Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
Play the audio — Click Play to hear reference audio for “herbrand function”.
Repeat and practice — Say “herbrand function” aloud, matching stress and vowels until it feels natural.