Definitions from Wikipedia (Epsilon calculus)

▸ noun:  In logic, Hilbert's epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language.


▸ Words similar to epsilon calculus
▸ Usage examples for epsilon calculus

▸ Idioms related to epsilon calculus
▸ Wikipedia articles (New!)
▸ Words that often appear near epsilon calculus
▸ Rhymes of epsilon calculus

▸ Invented words related to epsilon calculus