Exhibits At the Museum

This Day in History

      December 2015
       
  12345
6789101112
13141516171819
20212223242526
2728293031  
Today: September 4, 2015
J. Barkley Rosser

December 6, 1907

Mathematical Logician Rosser Born

J. Barkley Rosser is born in Jaksonville, Florida. In 1934 Rosser received a PhD in logic from Princeton under the supervision of Alonso Church. Rosser was able to anticipate the potential of early computers in many areas of mathematics as well as the ultimate impact of logic on the future of computing. He contributed to the Church-Rosser theorem that identifies the outer limit of what is achievable in automated theorem proving and, therefore, plays the same role in computing science as the second law of thermodynamics in engineering.

Rosser taught at Cornell and the University of Wisconsin, served as a president of the Association of Symbolic Logic and SIAM. He died on September 5, 1989.