Events Tagged: "Hilbert program"
Home
Browse Events
People
Places
Books
Search
Timeline
Go →
1 events with tag "Hilbert program"
1920
ID: 392
Hilbert proposes his program to prove consistency of mathematics using finitary methods
ID: 392
👤
David Hilbert
metamathematics
consistency
Hilbert program
finitism