As part of our ongoing Tensor Lecture Series, we will be visited by Dr. Evelyn Sander of the George Mason University Department of Mathematics. This talk will be accessible to a broad audience; all are welcome!
Title: The role of the computer in mathematics
Speaker: Evelyn Sander, Professor of Mathematics, George Mason University
Time/Location: Monday, April 22, Williams 323, 4-5PM
Abstract: Traditional mathematics involves the proof of theorems by step by step reasoning via mathematical logic, whereas numerical simulations give approximations. For more than half a century after the first computers, it was felt that there was a firm divide between rigorous proof and numerical approximation. However, in many different fields, the role of the computer has shifted to include the proof of rigorous theorems. In this talk, I will describe the types of computational tools used to create proofs. I will then discuss some famous historical examples of computer-assisted proofs, as well as a few examples from my own research.
Individuals with disabilities requiring accommodations should contact Megan Martinez at firstname.lastname@example.org or (607) 274-3355. We ask that requests for accommodations be made as soon as possible.