intercom home  |  advanced search  |  about intercom  |  alerts  |  faq  |  help  |  rss  

user functions

Current Ithaca College community members may contribute stories and comments as well as view additional topics by logging in. ➤



Sign up to receive a summary of Intercom headlines via e-mail three times a week.

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 or (607) 274-3355. We ask that requests for accommodations be made as soon as possible.

Tensor Lecture Series: The Role of the Computer in Mathematics, Dr. Evelyn Sander | 0 Comments |
The following comments are the opinions of the individuals who posted them. They do not necessarily represent the position of Intercom or Ithaca College, and the editors reserve the right to monitor and delete comments that violate College policies.
Refresh view