みなさま
直前になりましたが、第2回の基礎論セミナー のお知らせです。 どなたでも聴講できますので ご興味のおありの方はどうぞいらして下さい。
web page: https://www.ms.u-tokyo.ac.jp/seminar/logic/
新井敏康
第2回基礎論セミナー 日時：2019年11月21日（木）13:30-15:00 場所：東京大学大学院数理科学研究科 003号室
講演者：佐藤憲太郎 title: Self-referential Theorems for Finitist Arithmetic
abstract:: The finitist logic excludes,on the syntax level, unbounded quantifiers and accommodates only bounded quantifiers. The following two self-referential theorems for arithmetic theories over the finitist logic will be considered: Tarski's impossibility of naive truth predicate and Goedel's incompleteness theorem. Particularly, it will be briefly explained that (i) the naive truth theory over the finitist arithmetic with summation and multiplication is consistent and proves its own consistency, and that (ii) by the use of finitist arithmetic, the hierarchy of consistency strengths, based on Goedel's second incompleteness theorem, can be extended downward (to the area not reachable by first order predicate arithmetic). This is a joint work with Jan Walker, and overlaps significantly with his doctoral dissertation.
問合せ先：新井敏康 [email protected]
みなさま
下記の
第2回基礎論セミナー 日時：2019年11月21日（木）13:30-15:00
の開催場所（部屋）を 場所：東京大学大学院数理科学研究科 156号室
に変更させて下さい。 003号室は場所がわかりにくいので 156号室にします。
前日のお知らせになり、申し訳ございません。
新井敏康
2019年11月15日(金) 14:07 arai toshiyasu [email protected]:
みなさま
直前になりましたが、第2回の基礎論セミナー のお知らせです。 どなたでも聴講できますので ご興味のおありの方はどうぞいらして下さい。
web page: https://www.ms.u-tokyo.ac.jp/seminar/logic/
新井敏康
第2回基礎論セミナー 日時：2019年11月21日（木）13:30-15:00 場所：東京大学大学院数理科学研究科 003号室
講演者：佐藤憲太郎 title: Self-referential Theorems for Finitist Arithmetic
abstract:: The finitist logic excludes,on the syntax level, unbounded quantifiers and accommodates only bounded quantifiers. The following two self-referential theorems for arithmetic theories over the finitist logic will be considered: Tarski's impossibility of naive truth predicate and Goedel's incompleteness theorem. Particularly, it will be briefly explained that (i) the naive truth theory over the finitist arithmetic with summation and multiplication is consistent and proves its own consistency, and that (ii) by the use of finitist arithmetic, the hierarchy of consistency strengths, based on Goedel's second incompleteness theorem, can be extended downward (to the area not reachable by first order predicate arithmetic). This is a joint work with Jan Walker, and overlaps significantly with his doctoral dissertation.
問合せ先：新井敏康 [email protected]
-
arai toshiyasu