Joint Seminar with MATH & CSE: The Value (and Pitfalls) of Proof

The computer is taking over. AND, in many branches of applied mathematics and statistics we hear 'why bother to prove theorems? simulations and numerical approximation are easier and better for real problems'. NOT SO FAST; I will present a collection of real-world examples where the computer lies and thousands of hours of simulations give persistently wrong results. On the other hand, we theorem provers can prove useless, irrelevant things that choke off research and really do miss the interesting stuff. There is room for both of us, and there are interesting things to think about.

Some References for the Values (and Pitfalls) of Proof

Live Stream available via YouTube:
https://youtube.com/live/gn9XPwbXaqI 
Also available: http://youtube.com/uwcse

Notes: 
•    No online interaction will be available – this talk will have in-person participation only.
•    A reception will be held in CSE2 G20 after the talk, where refreshments will be served.