nonConstructive
P22980
predicate
Indicates that the relationship or action does not provide a direct, explicit method or example to realize or build the object, outcome, or proof it asserts exists.
Aliases (1)
- negativeAnswerGivenBy ×2
Sample triples (3)
| Subject | Object |
|---|---|
| Brouwer fixed-point theorem | true → |
| Entscheidungsproblem | Alan Turing ("negativeAnswerGivenBy") → |
| Entscheidungsproblem | Alonzo Church ("negativeAnswerGivenBy") → |