Dictionaries › English

Skolem function

The English word “Skolem function” has 1 meaning listed here.

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

Etymology

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

Keep exploring: in the interactive dictionary every word of a definition is a link. Open “Skolem function” there

More English words

About this dictionary

The English dictionary on Glottosphere has 650,529 entries with a page. Browse the English dictionary.

Definitions are from Wiktionary, extracted by Kaikki.org, and are available under the CC BY-SA 4.0 licence.