Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Monarch
|
| gptkbp:bfsLayer |
3
|
| gptkbp:bfsParent |
gptkb:John_W._Mc_Carthy
|
| gptkbp:applies_to |
computational theory
|
| gptkbp:depicts |
limitations of formal systems
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mc Carthy's paradox
|
| gptkbp:involves |
truth values
|
| gptkbp:is_a |
logical paradox
|
| gptkbp:is_discussed_in |
gptkb:philosopher
|
| gptkbp:proposed_by |
gptkb:John_W._Mc_Carthy
|
| gptkbp:related_to |
gptkb:philosopher
gptkb:Mathematician self-reference |