Today! Thursday, October 8, 6:00 PM
Mathematics has typically been a field driven by pure thought, where statements are shown to be true or false by following a sequence of logical steps until a conclusion is reached. Relatively recently, the use of computers has started to creep into this proof-driven world of mathematics. Should computer solutions of mathematical problems be considered valid proofs? In this talk, Professor Murphy will present some of the problems in which computers were used to reach conclusions that have thus far evaded human thought. He will also highlight areas of math where computer use is instrumental. This public lecture series is in partnership between UW-Manitowoc and the Lester Public Library. The series meets the mission of both institutions, in essence, providing access to lifelong learning that enhances our lives and community. Scholar for Life programs will be hosted in the Lester Public Library’s Community Room. No registration is required.