COMPUTER SCIENCE/DISCRETE MATH II | |

Topic: | To Check is To Know is To Prove |

Speaker: | Doron Zeilberger |

Affiliation: | Rutgers, The State University |

Date: | Tuesday, May 19 |

Time/Room: | 10:30am - 12:30pm/S-101 |

It has been checked, for zillions of even numbers, that they can all be expressed as a sum of two primes. It has also been checked for zillions of (non-trivial) zeros of Zeta(s), that their real parts are all equal to one half. Alas, these checks do not (yet) constitute a proof. But in many other analogous cases, such checks lead to fully rigorous proof, and there is always the low-budget option, of checking less, and settling for a semi-rigorous proof, since absolute certainty (like a Ferrari or a diamond ring) is an unnecessary luxury, whose only purpose is to cater to human vanity.