hilbert
highly influential logician building elegant rigorous theories
—defined Wed, 15 Apr 2026 16:25:41 GMT by 31415926L [history]