Disambiguation evidence for Hilbert’s program via surface form

"Hilbert’s program"

Triples (11)

Triples where some other subject referred to this entity as "Hilbert’s program".

David Hilbert → notableWork →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
Entscheidungsproblem → historicalContext →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
Philosophy of Mathematics and Natural Science → discusses →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
Hilbert’s second problem → relatedTo →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
The Undecidable → subject →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
The Universal Computer → explainsConcept →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
Grundzüge der theoretischen Logik → relatedTo →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
linked to: Hilbert and Ackermann’s "Grundzüge der theoretischen Logik"
Hilbert-style deductive systems → historicalOrigin →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
Gentzen’s consistency proof for arithmetic → relatedTo →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
Gerhard Gentzen → contributedTo →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ
linked to: Gentzen
Rosser’s trick in incompleteness proofs → relatedTo →
"Hilbert’s program"
↳ resolves to Hilbert’s program
ⓘ