Kisoron-ml January 2019

2 participants
2 discussions

JAIST Logic Seminar Series
by Hajime Ishihara 25 Jan '19

25 Jan '19

皆様 LMUミュンヘンのHelmut Schwichtenberg先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks and EU Horizon 2020 Marie Skłodowska-Curie actions RISE project CID (http://www.jaist.ac.jp/logic/ja/core2core, http://cid.uni-trier.de/). Date: Wednesday 6 March, 2019, 15:20-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Helmut Schwichtenberg (Mathematisches Institut, LMU Muenchen) Title: Equality and extensionality Abstract: We sketch a theory of computable functionals (TCF) based on finitary algebras given by their constructors. Its intended semantics admits non-total functionals. For closed algebras of level zero we allow infinite stream-like objects. For higher types we define (pointwise) equality as a logical relation, and extensionality by diagonalization of equality. We define realizability and -- in the spirit of Kolmogorov (1932) -- add an invariance axiom: every computationally relevant (c.r.) formula A is equivalent to the existence of an extensional realizer of A. Then we can prove (ordinary and dependent) choice, and also a soundness theorem stating that the computational content extracted from a proof of a c.r. formula A realizes A.

1 0

組合せ論・モデル理論セミナー第三回開催のご案内
by Shunsuke Okabe 09 Jan '19

09 Jan '19

メーリングリストの皆さま夜分に失礼いたします。神戸大学の岡部と申します。組合せ論・モデル理論セミナー第三回( https://sites.google.com/site/kcmseminar/ )の開催をご案内させていただきます。以下に開催の要領を記載いたします。日時：2019年1月16日(水) 16:30-18:00 場所：神戸大学六甲台第二キャンパス自然科学総合研究棟三号館421号室講演者：廣祥吾氏(慶應義塾大学) 講演タイトル：Pigeonhole Property for Colored Graphs 以上となります。開催間際の連絡となってしまい恐縮ですが、ぜひご参加ください。また、講演終了後に三宮駅周辺で懇親会の開催も予定しております。参加をご希望の方は、1月14日(月)の午前中までに岡部( 137x606x(a)stu.kobe-u.ac.jp )までご連絡ください。どうぞよろしくお願いいたします。〒657-8501 兵庫県神戸市灘区六甲台1-1 神戸大学大学院システム情報学研究科博士後期課程 3年岡部峻典 TEL: 090-3970-3756 E-mail: 137x606x(a)stu.kobe-u.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml January 2019