Disambiguation evidence for Hilbert’s program via surface form

"Hilbert program"

Triples (7)

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

Wilhelm Ackermann → contributedTo →
"Hilbert program"
↳ resolves to Hilbert’s program
ⓘ
completeness theorem for first-order logic → historicalContext →
"Hilbert program"
↳ resolves to Hilbert’s program
ⓘ
Grundzüge der theoretischen Logik → relatedTo →
"Hilbert program"
↳ resolves to Hilbert’s program
ⓘ
linked to: "Grundzüge der theoretischen Logik"
Hilbert–Brouwer controversy → relatedTo →
"Hilbert program"
↳ resolves to Hilbert’s program
ⓘ
Grundlagen der Mathematik → subject →
"Hilbert program"
↳ resolves to Hilbert’s program
ⓘ
Principles of Mathematical Logic → influenced →
"Hilbert program"
↳ resolves to Hilbert’s program
ⓘ
Principles of Mathematical Logic → partOf →
"Hilbert program"
↳ resolves to Hilbert’s program
ⓘ