Speakur

Word Pronunciation & Dictionary

herbrandization

Word Rarity Very rare

Frequency: Zipf frequency 0.00 in modern English

Syllables
her-bran-diza-tion
IPA
30
Scrabble Score
15
Letters
4
Syllables
11
Unique Chars

Meaning

noun

The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function.

Uncountable

Etymology

From Herbrand + -ization, after Jacques Herbrand (1908–1931), French mathematician.

Word Breakdown

Usage

Frequently Paired Words

Skolemization

Questions

What does herbrandization mean?
The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function.
Where does herbrandization come from?
From Herbrand + -ization, after Jacques Herbrand (1908–1931), French mathematician.

How to pronounce herbrandization

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