At the beginning of the 20th century, the German mathematician David Hilbert (1862–1943) advocated an ambitious program to formulate a system of axioms and rules of inference that would encompass all ...
Mark Colyvan: I think he's one of the great logicians; I think he belongs right up there with Aristotle, Descartes, but just in general philosophy, in mathematics, I think he ranks in any one of those ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback