Gödel's speed-up theorem
theorem on proofs and axiomatic systems
| rdfs:label |
"Gödel's speed-up theorem"@en
|
|
skos:alt |
"Théorème d'accélération de Gödel"@fr
|
| schema:description |
"theorem on proofs and axiomatic systems"@en
|
|
schema:date |
"2025-07-18T22:49:53+00:00"^^xsd:dateTime |
| schema:version | 2381501648 |
| wikibase:identifiers | 2 |
| wikibase:sitelinks | 4 |
| wikibase:statements | 6 |
| p:P138 | wd:statement/q5626450-e69d3a59-4573-ce41-910a-07d19026a597 |
| p:P31 | wd:statement/Q5626450-ddea5f5a-4dcb-4a2c-e746-36f81446d675 |
| p:P361 | wd:statement/Q5626450-f5db86d7-47a1-f3a3-5e2b-a8bbee9275d6 |
| p:P6104 | wd:statement/Q5626450-CB0335B6-CE62-4670-B565-939D274A8410 |
| p:P6366 | wd:statement/Q5626450-D80D086F-B3B2-4DA7-88A1-3E6F40255A4F |
| p:P646 | wd:statement/Q5626450-CF94C146-2DD7-4DCB-AAD6-C122A16BCBF8 |
|
p:direct- |
<https:/ |
| wdt:P138 | Kurt Gödel |
| wdt:P31 | theorem |
| wdt:P361 | proof theory |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "2779754291" |
| wdt:P646 | "/m/0h63wpy" |
Download as: