Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:concept
|
| gptkbp:applies_to |
arithmetic
|
| gptkbp:developed_by |
gptkb:Kurt_Gödel
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gödel numbering
|
| gptkbp:is |
a method of assigning numbers to expressions
|
| gptkbp:is_essential_for |
proof of incompleteness
|
| gptkbp:is_used_to |
prove the consistency of arithmetic
|
| gptkbp:provides |
encoding of symbols
|
| gptkbp:related_to |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:technique |
mathematical logic
|
| gptkbp:used_in |
formal systems
|
| gptkbp:bfsParent |
gptkb:Kurt_Gödel
|
| gptkbp:bfsLayer |
4
|