Alex Shoulson '10 presented a talk on "Reason Machines: The Potential of Automated Theorem Proving" at the Hudson River Undergraduate Mathematics Conference on April 18 at Union College. Shoulson raised the question, "why regress to pencil and paper to create mathematical proofs when we have super computers on our desktops, and illustrated the strengths and weaknesses of computer generated proofs?"
The 16th annual Hudson River Conference drew undergraduates from five states and featured more than 160 talks. Shoulson's work was supervised by Professor of Computer Science Richard Decker and encouraged by Professor of Mathematics Larry Knop.
The 16th annual Hudson River Conference drew undergraduates from five states and featured more than 160 talks. Shoulson's work was supervised by Professor of Computer Science Richard Decker and encouraged by Professor of Mathematics Larry Knop.