# Tensor Lecture Series: The Role of the Computer in Mathematics, Dr. Evelyn
Sander

### 04/11/19

**Contributed by Megan Martinez**
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.

0 Comments

https://www.ithaca.edu/intercom/article.php/20190411124320623