皆さま
東京大学の小関と申します。
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
お問い合わせ先:
logic(a)abelatd.flet.keio.ac.jp
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.
----------------------------------------------------------
