Vaughan Pratt
101
reputation
Pursuits: physics, climate, mathematics, computer science, statistics, logic, philosophy.