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

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

講演者：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.

問い合わせ先：早稲田大学高等研究所　秋吉亮太 ([email protected])