[logic-ml] 早稲田大学高等研究所主催セミナーのお知らせ

[AKIYOSHI Ryota]

次のようなセミナーを予定しております．参加自由です．
------------------------------------------------------------------------------

早稲田大学高等研究所主催セミナー

講演者：Florian Pelupessy

日時：5月25日（月）15:00—16:30
場所：早稲田大学早稲田キャンパス9号館5階　第2会議室

(URL: http://www.waseda.jp/wias/)

Title: Phase transitions in logic: combinatorics and provability

Abstract: Thanks to Gödel's incompleteness theorems we know that there 
exist
statements in the language of Peano Arithmetic which can be neither
proven nor disproven using PA. Only recently, from 1977 onwards, 
natural
examples of such statements have emerged. These statements can be
parametrised in such a manner that, at certain values, small tweaks to
the parameter value result in a sudden change of provability of the
resulting statement for this value. A programme has been started by
Andreas Weiermann to examine these phase transitions in provability,
revealing a connection between finite combinatorics which is very much
provable in PA and the transition thresholds. In this talk we examine
this relation and some examples.

問い合わせ先：早稲田大学高等研究所　秋吉亮太 (georg.logic at aoni.waseda.jp)