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!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 mmartinez@ithaca.edu or (607) 274-3355. We ask that requests for accommodations be made as soon as possible.
https://www.ithaca.edu/intercom/article.php/20190411124320623