Hilbert's epsilon as an operator of indefinite committed choice (Q946570)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5346255
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Hilbert's epsilon as an operator of indefinite committed choice |
scientific article; zbMATH DE number 5346255 |
Statements
Hilbert's epsilon as an operator of indefinite committed choice (English)
0 references
23 September 2008
0 references
Hilbert's epsilon operator
0 references
theories of truth and validity
0 references
formal philosophy of language
0 references
semantics of natural language
0 references
human-oriented interactive theorem proving
0 references
automated theorem proving
0 references
0.8180319666862488
0 references
0.8177517652511597
0 references
0.7828376889228821
0 references
0.7628798484802246
0 references
0.7616155743598938
0 references
