[logic-ml] JAIST Logic Seminar Series

[Hajime Ishihara]

皆様

ルートヴィヒ・マクシミリアン大学ミュンヘンのHelmut 
Schwichtenberg先生の講演のお知らせです。
どうぞふるってご参加ください。

問合せ先：
石原　哉
北陸先端科学技術大学院大学 情報科学系
e-mail: ishihara at 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 FP7 Marie Curie Actions IRSES 
project CORCON.
(http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/)

Date: Thursday 25 August, 2016, 13:30-15:10

Place: JAIST, Lecture room I2
(Access: http://www.jaist.ac.jp/english/location/access.html)

Speaker: Helmut Schwichtenberg (Ludwig-Maximilians-Universität München)

Title: Invariance axioms for realizability
Abstract:
Kolmogorov (1932) proposed to consider mathematical formulas
as problems asking for solutions.  Following this idea it seems
reasonable to extend arithmetical theories by adding invariance axioms,
which state that every formula is equivalent to the (internal) formula
stating that it has a realizer.  We sketch such a theory, which in
addition allows to fine-tune the computational content of proofs by
decorations of the logical connectives.  A soundness theorem holds.