English Explanatory Dictionary

Herbrand function

English dictionary entry

Meanings

noun
  1. 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).

Word forms

Herbrand function Herbrand functions

Etymology

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

Related words

Herbrandization
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on H Russian dictionary Dahl dictionary