皆さま
東京大学の小関と申します。 Giovanni Sambin 教授 (University of Padua) をお招きして、慶應義塾大学三田キャンパスにて 下記の通りご講演いただきます。オンライン参加も可能です。 ご興味をお持ちの方はぜひご参加ください。
======== 以下告知文 ========
三田ロジックミーティング Giovanni Sambin教授講演 Logic Seminar - Prof. Giovanni Sambin's Talk
2024年9月10日（火）September 10th (Tue.), 17:00-19:00 (JST) (ハイブリッド開催 Hybrid) ＊要事前登録・対面参加の方もお願いします。Pre-registration is required for both online and in-person participants.
◆講演者 / Speaker: Prof. Giovanni Sambin (University of Padua) ◆タイトル / Title: "From constructive topology to dynamics in foundations, and back"
アブストラクトは以下をご覧ください。Abstract attached below.
場所 / Venue: オープンラボ（三田キャンパス東館4階） OpenLab (Mita Campus East Building, 4th Floor) キャンパスマップ 13番の建物: https://www.keio.ac.jp/ja/maps/mita.html Campus Map Building #13: https://www.keio.ac.jp/en/maps/mita.html
Please pre-register here. / ここから事前登録をお願いします。オンライン参加の方には Zoomリンクをお送りします。 https://forms.gle/rnbLFoMV9RgsGB8p8
最新情報は次のページをご覧ください。See below for the updated information. https://abelard.flet.keio.ac.jp/2024/sambin_202409/ ＊URLは一両日中に開設されます。
《PROGRAM》 ◆17:00-18:30 Speaker: Prof. Giovanni Sambin Title: "From constructive topology to dynamics in foundations, and back"
◆18:30-19:00 Discussion
お問い合わせ先: [email protected] Organizers: Risako Ando, Koji Mineshima, Mitsuhiro Okada (Keio University), Kentaro Ozeki (University of Tokyo)
----------------------------------------------------------
アブストラクト / ABSTRACT
"From constructive topology to dynamics in foundations, and back"
We show that topology, understood as a mathematical discipline, is the basis of a dynamic vision of mathematics in which the main criterion is a genuine interaction with reality and not just the mere absence of contradictions.
The distinction between real mathematics, expressed by pointfree topology, and ideal mathematics, expressed by the notions of ideal point and ideal space, allows the development of an abstract mathematics, such as that which began at the end of the 19th century with set theory, but which does not suffer from the abstrusities of the usual axiomatic set theory and, in particular, maintains the priority of the effective and computational aspects of mathematics.
This could be the beginning of a new paradigm in mathematics in the sense of Thomas Kuhn, or rather the completion of the revolution initiated by Frege and Cantor, in which however mathematics is seen not as a given absolute truth, but rather as a cultural product constructed by humanity.
----------------------------------------------------------