Kisoron-ml September 2018

kisoron-ml@fos.kuis.kyoto-u.ac.jp

5 participants
6 discussions

RIMS Model Theory Workshop 2018
by Hirotaka Kikyo 20 Sep '18

20 Sep '18

皆様 RIMS共同研究（公開型）モデル理論における独立概念と次元の研究 <http://www2.kobe-u.ac.jp/~kikyo/Sites/rims2018/rims2018.html> 部屋：110 期間：2018-12-10～2018-12-12 代表者：桔梗宏孝(神戸大学システム情報学研究科) http://www2.kobe-u.ac.jp/~kikyo/Sites/rims2018/rims2018.html を開催いたします。講演を募集中です。桔梗までご連絡ください。詳しくは上のURLをご覧ください。必要に応じて更新いたします。神戸大学大学院システム情報学研究科桔梗宏孝

1 0

第53回MLG数理論理学研究集会（追加情報）
by Suzuki, Nobu-Yuki 18 Sep '18

18 Sep '18

皆さま静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。第53回MLG 数理論理学研究集会の情報です。第53回MLG 数理論理学研究集会期間・場所・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ 今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 参加申し込みについて参加の申し込みは以下のURLから必要事項を記入の上、11月2日(金)までにお送りください。 https://docs.google.com/forms/d/e/1FAIpQLScBi6voKtT7J6q3xqm1rpaoztSe2GvRF8a… もしくは以下のフォームにご記入の上、メールでお送りください。送り先: mlg53rd.shizuoka(a)gmail.com 件名: MLG53申込 ---------------------------------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(11月30日予定)に参加する・しない (学生の方で懇親会に参加される場合は「参加する(学生)」とご記入ください。懇親会費の割引をする予定です。) ７．備考 (講演の希望日などがありましたらこちらにご記入ください) ---------------------------------------------- ※申し込み無しでもご参加いただけますが、懇親会への参加を希望される場合は必ずお申し込みください。 ※タイトルが未定の場合は、可能であれば開催一週間前までにお知らせください。 ※配布資料等で印刷が必要な場合は、11月22日までにお送り頂ければこちらで印刷いたします(白黒になります)。

1 0

第53回MLG数理論理学研究集会のご案内
by Suzuki, Nobu-Yuki 17 Sep '18

17 Sep '18

皆さま静岡大学の鈴木信行と申します。今年度の　MLG 数理論理学研究集会　の世話人（代表）をいたします。今年度、第53回MLG 数理論理学研究集会は、以下の要領で開催する予定です。第53回MLG 数理論理学研究集会期間・場所 (予定) ・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ （現時点では、まだあまり情報はありません）ご予定にお加えいただけますよう、お願いいたします。

1 0

数学通信
by Satoru Kuroda 14 Sep '18

14 Sep '18

皆様，数学基礎論および歴史分科会に関連する事項で会報１７１号（「数学通信」23巻3号）紙上で全会員にお知らせすることがありましたら，9月28日（金）までに連絡責任評議員の黒田までお知らせください．その際，ウェブ上の情報を参照する場合にはURLを明記いただければ幸いです．よろしくお願いいたします． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

ジラール教授（Jean-Yves GIRARD）連続講義 Sept 25th,Oct.2nd, Keio Univ.
by Mitsu Okada 10 Sep '18

10 Sep '18

次のレクチャーの予定をこのMLで流させていただきます。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　岡田光弘（慶応義塾大学文学部哲学専攻） ********************************************************************************** *ジラール教授（Jean-Yves GIRARD）連続講義（９月２５日、１０月２日,　Sept 25th,Oct.2nd, Keio Univ.）* *Lecture**“LOGIC 2.0 : A derealistic refoundation of logic” * *********************************************************************************. 参加自由、事前登録なしです。お気軽にお立ち寄りください。 ********************************************************************************* Abstract attached below アブストラクトは下をご覧ください。１回目：9月25日(火)　Sept.25th, 18:00-19:30, Lecture 1 and discussion. ２回目：10月2日(火) Oct.2nd, 17:00-19:00, Lecture 2 and extended discussion,. 慶應義塾大学三田キャンパス大学院校舎1階313番教室, Room 313 Graduate School Building, Mita Campus, Keio University （大学院校舎は下記キャンパスマップの8です） Mita Campus, Keio University, Classroom 313, 1F of Graduate School Building (Number 8 of the Campus Map below) 構内図Campus Map: https://www.keio.ac.jp/en/maps/mita.html **************************************************************************************************** 招聘講師/ Invited Lecturer: ジャン＝イヴ　ジラール教授（フランス国立科学センターCNRS名誉主任研究員、マルセイユ数学研究所） Prof. Jean-Yves GIRARD (Directeur de Recherches émérite, CNRS-IMM) 題目/ Title: LOGIC 2.0 : A derealistic refoundation of logic See below for ABSTRACT （アブストラクトは下にあります。）お問い合わせ先: 慶應義塾大学文学部岡田光弘研究室東京都港区三田２−１５−４５ Email(事務局): logic(a)abelard.flet.keio.ac.jp ---------------------------------------------------------- アブストラクト/ABSTRACT LOGIC 2.0 : A derealistic refoundation of logic. Logic is based upon a doubt as to « reality », not to speak of authority. This is why axiomatic realism, a.k.a. Tarskism, at work in familiar (1.0) logic is a miscarriage of logical rationality. We propose to replace the trinity Syntax/Semantics/Meta, with an architecture based upon the synthetic a posteriori : « l’usine » (the factory) and its proofnets. We thus replace the nets of logic with the logic of nets. Among the technical novelties, the self-dual propositional constants フand ヲwhose multiplicative combinations define natural numbers. Since equality becomes logical equivalence, natural numbers provide pairwise contradictory propositions, which is classically inconsistent : a conjunction can thus be true while one of its components is false.Truth, which no longer proceeds from the Sky, is governed by the Euler-Poincaré invariant of graphs, with a derealistic switch : the invariant depends upon the divide between objective and subjective vertices. Derealism thus accomplishes a spectacular jailbreak from Tarskism! ----------------------------------------------------------

1 0

WIAS Seminar: “The epsilon calculus with equality predicate and Herbrand complexity” (September 10, Waseda University)
by Makoto Fujiwara 07 Sep '18

07 Sep '18

皆様， (重複して受け取られた場合はご容赦ください) 早稲田大学の藤原誠です． 9月10日(月)に早稲田大学早稲田キャンパスにてインスブルック大学の宮本賢治さんをお迎えしてセミナーを開催いたします．ヨーロッパで研究をされている宮本さんの日本での貴重なご講演です．参加自由ですのでどうぞふるってご参加下さい．なお，今回の講演は英語で行われます．予めご了承下さい．詳細については以下のページをご参照下さい． https://www.waseda.jp/inst/wias/news/2018/08/23/5646/ 日時：2018年９月10日(月)16:00-17:30 Date & Time: Monday, 10 September 2018, 16:00 – 17:30 場所：早稲田大学早稲田キャンパス9号館5階第1会議室 Venue: Meeting room #1 on the 5th floor, Building #9, Waseda University Speaker: Kenji Miyamoto (University of Innsbruck, Kenji.Miyamoto(a)uibk.ac.at) Title: The epsilon calculus with equality predicate and Herbrand complexity Abstract: Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\varepsilon$ [1]. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. Moser and Zach study the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure [2]. We extend their results to epsilon-calculus with equality predicate. This is joint work with Georg Moser. [1] D. Hilbert and P. Bernays, Grundlagen der Mathematik, vol. 2, Springer Berlin, 1939. [2] G. Moser and R. Zach, The epsilon calculus and Herbrand complexity, Studia Logica, vol. 82 (2006), no. 1, pp. 133--155. ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml September 2018