Mathematician:Vaughan Pratt