• Turkish
  • English

Dear Colleagues,
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


Saat: 18:00


Yer: Contact Asst. Prof. Dr. Mehmet Akif ERDAL (mehmet.erdal@yeditepe.edu.tr).


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!



Friday, 19 March, 2021 - 18:00 to 19:00

Zoom:  Contact Asst. Prof. Dr. Mehmet Akif ERDAL (mehmet.erdal@yeditepe.edu.tr) for the address.