You are most cordially invited to the Yeditepe Mathematics Department 25th Year Seminars organized by the Department of Mathematics (please note that the seminar is at 18:00 this week). The details of this week's talk are as follows:
Title: Proofs by example
Speaker: Benjamin Matschke (Boston University)
Abstract: We study the proof method "proof by example" in which a general statement can be proved by verifying it for a single example. This strategy can indeed work if the statement in question is an algebraic identity and the example is ``generic". This talk addresses the problem of constructing a practical example, which is sufficiently generic, for which the statement can be verified efficiently, and which allows for a numerical margin of error. Our method is based on diophantine geometry, in particular an arithmetic Bezout theorem, an arithmetic Nullstellensatz, and a new effective Liouville-Lojasiewicz type inequality for algebraic varieties. As an application we discuss theorems from plane geometry and how to prove them by example.
Date: Friday, March 19, 2021
Yer: Contact Asst. Prof. Dr. Mehmet Akif ERDAL (email@example.com).
You can fınd a copy of the flyer here. For a full list of this semester's seminar schedule, click on the link below!
Zoom: Contact Asst. Prof. Dr. Mehmet Akif ERDAL (firstname.lastname@example.org) for the address.