Kisoron-ml April 2018

2 participants
2 discussions

JAIST Logic Seminar Series
by Hajime Ishihara 21 Apr '18

21 Apr '18

皆様ウィーン工科大学のMatthias Baaz先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 26, April, 2018, 11:00-12:30 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Matthias Baaz (Vienna University of Technology) Title: The concept of proof Abstract: The concept of proof is one of the most fundamental building blocks of mathematics. The Hilbertian revolution at the beginning of the 20th century is based on an atomic notion of proof which is the foundation of the axiomatic method: "A proof is a finite sequence of formulas A1,..,An such that each Ai is instance of an axiom or follows by direct application of a rule from Ai1,..,Aik with all ij<i." No scientific revolution is however total, but there is a trend to disregard all alternatives to the successful method. In this lecture we discuss more global notions of proof, where subproofs are not necessarily proofs themselves. Examples are among others 1.protoproofs in the sense of Euler's famous solution to the Basel problem, which uses analogical reasoning and where additional external justifications are necessary. 2.circular notions of proof, where the concept of proof itself incooperates induction 3.sound proofs based on locally unsound rules 4.proofs based on abstract proof descriptions prominent e.g. in Bourbaki, where only the choice of a suitable result makes a verification possible. We discuss the benefits of these alternative concepts and the possibility that innovative concepts of proof adapted to the problems in question might lead to strong mathematical results and constitute a novel area of Proof Theory.

1 0

第二回組合せ論・モデル理論セミナー開催のお知らせ
by Shunsuke Okabe 10 Apr '18

10 Apr '18

数学基礎論メーリングリストの皆さま神戸大学博士課程4年の岡部峻典と申します。前年度の1月に開催された組合せ論・モデル理論セミナーの第一回ですが、おかげさまで盛況のうちに終えることができました。厚く御礼を申し上げます。さて、第二回のセミナーが5月上旬に開催の予定です。詳細は以下になります。 ------------------------------------------------------------- 日時: 2018年5月10日 (木) 16:00-17:30 講演者: 竹内耕太氏 (筑波大学) タイトル: Szemerédi's regularity lemma and model theory 開催場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館 421室 HP: https://sites.google.com/site/kcmseminar/2ndseminar ------------------------------------------------------------- 以上となります。また、詳細はまだ未定ですが、講演終了後に懇親会の方を予定しております。参加される方は5/8までに岡部(137x606x(a)stu.kobe-u.ac.xn--jp)-u63ba8a7d1as2d9d2nh8yu746hgz9buf3a. 皆さまの参加をお待ちしております。世話人岡部峻典桔梗宏孝佐竹翔平澤正憲 ------------------------------------------------------------- 〒657-8501 兵庫県神戸市灘区六甲台1-1 神戸大学大学院システム情報学研究科博士後期課程 4年岡部峻典 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 April 2018