Kisoron-ml June 2018

3 participants
3 discussions

名古屋ロジックセミナー (6/29) のお知らせ
by Takayuki Kihara 25 Jun '18

25 Jun '18

皆様以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．講演終了後に夕食会を予定しています．夕食会にご参加いただける方は，早めに木原貴行 kihara(a)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(a)i.nagoya-u.ac.jp

1 0

秋季総合分科会
by Satoru Kuroda 22 Jun '18

22 Jun '18

皆様，日本数学会2018年度秋季総合分科会は，9月24日から27日まで岡山大学で開催されますが，講演の申し込み期間がすでに始まっており，申し込み期限が6月29日（金）となっております．ぜひ講演をご検討いただき，またお近くの学生の方にもお勧め頂ければ幸いです．よろしくお願いいたします． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

Preliminary announcement of CTFM2018
by Kenshi Miyabe 01 Jun '18

01 Jun '18

Dear all, Let me announce CTFM 2018. Workshop on Computability Theory and Foundations of Mathematics 2018 Date: 13--15 September, 2018 The venue: Surugadai Campus, Meiji University, Tokyo, Invited Speakers George Barmpalias (Chinese Academy of Sciences) Matthew de Brecht (Kyoto University) Bjorn Kjos-Hanssen (University of Hawaii at Manoa) Tomoyuki Miyaji (Meiji University) Igor Potapov (University of Liverpool) Liang Yu (Nanjing University) Organising Committee Akitoshi Kawamura (Kyushu University) Kenshi Miyabe (Meiji University) Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. We will call for the contributed talks later. For other information, see the following website: http://www.isc.meiji.ac.jp/~random/ctfm2018/ best, Kenshi Miyabe -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml June 2018