English Explanatory Dictionary

Skolem function

English dictionary entry

Meanings

noun
  1. A function which replaces a variable bound by an existential 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

Skolem function Skolem functions

Etymology

Named after Thoralf Skolem (1887–1963), Norwegian mathematician.

Related words

Skolemization
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 S Russian dictionary Dahl dictionary