Herbrand universe

短语

[计] 海尔勃朗全域

词形变化

Herbrand universes 复数 Herbrand universes

释义与例句

n.
  1. 1.

    The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)

    数学 哲学

词源

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

来源：wiktionary