WordNet-Online
Free dictionary and thesaurus of English. Definitions, synonyms, antonyms and more...
Hint: double-click any word to get it searched!

	Enter your search terms Submit search form
	Web www.wordnet-online.com

Definitions from the Web

Skolem

Part of Speech: Noun, Proper noun

Definition 1: A Norwegian last name, originally derived from the Old Norse word 'skálma', meaning 'noisy' or 'boisterous'.

Example sentence: The renowned mathematician Thoralf Skolem made significant contributions to the field of mathematical logic.

Definition 2: In logic, a Skolem constant is a symbol introduced in Skolemization, a method of converting a formula with quantifiers into an equivalent formula without quantifiers.

Example sentence: In mathematical logic, Skolemization is often employed to eliminate existential quantifiers using Skolem constants.

Definition 3: Skolem functions are functions used in mathematics and logic to describe the relationship between variables and quantifiers in first-order logic formulas.

Example sentence: Skolem functions are employed in proof theory to establish the consistency of various theories.

Possible related products on Amazon:

• Books on Mathematical Logic
• Books on Proof Theory