For more information about this meeting, contact Sergei Tabachnikov.
|Title:||On the use of computers in Mathematics and Science: the good, the bad, and what we should do about them|
|Speaker:||Sheldon Newhouse, Michigan State University|
|Computers have become a fundamental part of our lives. They are used in appliances ranging from cell phones to rocket launchers, in controlling our air travel, in describing models for financial management, and in large parts of Mathematics and Science. Can we trust what computers tell us? How can we improve the verification of various types of computation? These are questions of fundamental importance to all of us. In this lecture, we will explore some ideas and examples related to computation as it applies to Dynamical Systems--the branch of mathematics which deals with how various systems evolve in time. We will see that modern methods for verified computation can provide tests for finding certain computational errors as well as providing proofs of theorems which are, at the present time, unattainable with traditional methods.|
Room Reservation Information
|Date:||10 / 11 / 2012|
|Time:||02:30pm - 03:30pm|