Değerli Paydaşlarımız,
Matematik Bölümü olarak bu yıl özellikle Yeditepe Üniversitesi'nin 25. kuruluş yılını kutlamak adına düzenlenen seminerlerimize sizleri davet etmekten büyük onur duyuyoruz. Bu hafta yapılacak olan konuşmanın detaylarını aşağıda bulabilirsiniz:
Başlık: Proofs by example
Konuşmacı: Benjamin Matschke (Boston Üniversitesi)
Özet: 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.
Tarih: Cuma, Mart 19, 2021
Saat: 18:00
Yer: Zoom adresi için Dr. Öğr. Üyesi Mehmet Akif ERDAL (mehmet.erdal@yeditepe.edu.tr) ile iletişime geçiniz.
Seminer ilanının bir kopyasına bu bağlantıdan ulaşabilirsiniz. Gelecek seminerlerimizin tam listesini aşağıdaki bağlantıda bulabilirsiniz:
Zoom adresi için Dr. Öğr. Üyesi Mehmet Akif ERDAL (mehmet.erdal@yeditepe.edu.tr) ile iletişime geçiniz.