[logic-ml] 名古屋ロジックセミナー (6/29) のお知らせ

[Takayuki Kihara]

皆様

以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．

講演終了後に夕食会を予定しています．夕食会にご参加いただける方は，早めに木原貴行 kihara at i.nagoya-u.ac.jp までご一報お願い致します．


名古屋ロジックセミナー
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html

日時：6月29日 (金) 15:30〜
場所：名古屋大学大学院情報学研究科棟 314室

講演者：Paul-Elliot Anglès D'Auriac (パリ・エスト・クレテイユ大学)　

題目： On Infinite Time Turing Machine and and its related ordinals

アブストラクト：
In 1998, Hamkins and Lewis introduced Infinite Time Turing Machines (ITTMs), a version of Turing Machines where time is allowed to run through the ordinals instead of the integers. This model of computation revealed itself to have interesting connections with set theory and in particular Godel's constructible hierarchy. In this talk, we will be interested in the properties of the ordinals that naturally arises in the study of ITTMs, such as those that correspond to halting time, or that have a code that can be written on the tape of an ITTM.



--------

Takayuki Kihara
Graduate School of Informatics, Nagoya University, Japan
URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html
Email: kihara at i.nagoya-u.ac.jp

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180625/2c0acf91/attachment.html>