91B0FBB4-04A9-D5D7-16F0F3976AA697ED
C9A22247-E776-B892-2D807E7555171534
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.

Help us provide an accessible education, offer innovative resources and programs, and foster intellectual exploration.

Site Search