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 ...
Ann Kajander receives funding from the Ministry of Education Mathematics Knowledge Network. Jennifer Holm does not work for, consult, own shares in or receive funding from any company or organization ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback