epsilon calculus (Q5383976)
Jump to navigation
Jump to search
logical calculus with a primitive symbol that denotes an arbitrary value satisfying a given predicate or, if no such value exists, another arbitrary value
- Hilbert operator
- epsilon operator
- Hilbert epsilon
- Hilbert epsilon calculus
Language | Label | Description | Also known as |
---|---|---|---|
English | epsilon calculus |
logical calculus with a primitive symbol that denotes an arbitrary value satisfying a given predicate or, if no such value exists, another arbitrary value |
|
Statements
0 references
Identifiers
Sitelinks
Wikipedia(3 entries)
- cswiki Operátor výběru
- enwiki Epsilon calculus
- frwiki Epsilon de Hilbert