Sydney, New South Wales, Australia
  • The notion of ‘simple proof’​.
    Philosophical Transactions. 2019.
    In 2000, Rüdiger Thiele [1] found in a notebook of David Hilbert, kept in Hilbert's Nachlass at the University of Göttingen, a small note concerning a 24th problem. As Hilbert wrote, he had considered including this problem in his famous problem list for the International Congress of Mathematicians in Paris in 1900
  • Hilbert 24th problem
    with Reinhard Kahle
    Philosophical Transactions of the Royal Society A 1 (Notion of Simple Proof). 2019.
    In 2000, Rüdiger Thiele [1] found in a notebook of David Hilbert, kept in Hilbert's Nachlass at the University of Göttingen, a small note concerning a 24th problem. As Hilbert wrote, he had considered including this problem in his famous problem list for the International Congress of Mathematicians in Paris in 1900