Logic-ml March 2018

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

14 participants
20 discussions

セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19

数理論理学セミナーのお知らせ東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を　　９月８日（金）と１５日（金）に開催します。以下に「話者（所属）題目」の一覧を載せました。どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。 ----- 鹿島亮東京工業大学情報理工学院数理・計算科学系 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝【８日（金）】西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理とdecomposabilityについて藤原誠（早大）Bar induction and restricted classical logic 武原直紀（東工大）直観主義二階命題論理と論理式完備ハイティング代数について松田直祐（神奈川大）Curry's last problemへの弱い解答中村誠希（東工大）関係Kleene代数におけるatomic negationについて（仮題）新屋良磨（東大）論文紹介 Cyclic Arithmetic Is Equivalent to Peano Arithmetic 【１５日（金）】池上貴大（東工大）様相命題論理におけるツリーシークエント計算（仮題）河野友亮（東工大）Quantum logic の implication algebra と restricted negation について（仮題）鹿島亮（東工大）２階の関数記号を持つ１階述語論理について山﨑紗紀子（首都大）ゲーデル・マッキンゼイ・タルスキの定理の証明論的証明ー後件複数な直観主義論理のG3-style sequent calculus を用いてー大森仁（京大）Jaskowskiのdiscussive logicの周辺金沢誠（国立情報学研）Context-Free Languages with Finite Context and Kernel Properties 高橋正子 Grzegorczyk階層について＝＝＝＝以上＝＝＝＝

1 8

特任研究員の募集
by koba＠kb.is.s.u-tokyo.ac.jp 28 May '18

28 May '18

＃複数受け取られましたらご容赦ください．東京大学の小林と申します．当研究室では現在，高階モデル検査（高階再帰スキームのモデル検査）とそのプログラム検証などへの応用をテーマとした研究を精力的に進めており，プロジェクトに携わる特任研究員を探しております．身近にご興味のある方がいらっしゃいましたら，10月20日までに小林 (koba(a)is.s.u-tokyo.ac.jp) までメールでお知らせいただければ幸いです。その際、できれば略歴および論文リスト（フォーマット自由）もメールに添えるかまたは郵送でお送りください。（後日、さらに詳細な資料をお願いする可能性があります）．募集の条件は概ね以下のとおりです。 ================ 着任時期：2018年4月（数ヵ月の前後は応相談）任期：年度単位の更新で、業績により最長2020年3月まで延長可能給与：月額38～45万円　　（大学の規定および本人の実績による．細かい条件は応相談.）研究テーマ：高階モデル検査（高階再帰スキームのモデル検査）および、そのプログラム検証やデータ圧縮、知識発見などへの応用。高階モデル検査については，プロジェクトのページ　　　http://www-kb.is.s.u-tokyo.ac.jp/~koba/hmc/ および下の参考文献をご覧ください。　　本プロジェクトは科学研究費補助金基盤研究(S)：　　　課題名：高階モデル検査の深化と発展　　　研究代表者：小林直樹（東京大学）　　　研究分担者：五十嵐淳（京都大学）、篠原歩（東北大学）　　の支援をいただいており、その補助金で研究員を雇用する予定です。条件： - 着任時に博士号を取得していること - 理論計算機科学全般に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明　　　　　計算量理論 (可逆)データ圧縮技術自然言語処理ゲノムデータ解析問い合わせ先：　　小林直樹　　東京大学大学院情報理工学系研究科コンピュータ科学専攻　　〒113-0033 東京都文京区本郷7-3-1 　　Phone: 03-5841-4124 　　Fax: 03-5841-4114 　　email: koba(a)is.s.u-tokyo.ac.jp 参考文献の抜粋 ------------- 高階モデル検査の概要： Naoki Kobayashi, "Model Checking Higher-Order Programs", Journal of the ACM, 60(3), 2013. Naoki Kobayashi, "Higher-Order Model Checking: From Theory to Practice", Invited paper in Proceedings of LICS 2011. (A very brief survery of the field) 高階モデル検査/高階言語の理論： Naoki Kobayashi, Etienne Lozes, Florian Bruse, "On the relationship between higher-order recursion schemes and higher-order fixpoint logic", POPL 2017, pp.246-259, 2017 Kazuyuki Asada, Naoki Kobayashi, "Pumping Lemma for Higher-order Languages", ICALP 2017, 97:1-97:14, 2017. Ryoma Sinya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada, "Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence", FoSSaCS 2017, pp.53-68 プログラム検証への応用: Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno, "Predicate Abstraction and CEGAR for Higher-Order Model Checking", Proceedings of PLDI 2011, pp.222-233, 2011. Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno, "Temporal verification of higher-order functional programs", POPL 2016, pp.57-68 データ圧縮への応用: Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi, "Functional Programs as Compressed Data", Higher-Order and Symbolic Computation, 2(1), pp.39-84, 2012.

1 1

Symposium on Modernism and Modernisation in Mathematics
by 久木田水生 01 Apr '18

01 Apr '18

皆さま、数学史家の Jeremy Gray 先生（The Open University）と林晋先生（京都大学）をお招きして、4月7日、名古屋大学にてシンポジウムを開催いたします。本シンポジウムは応用哲学会の年次大会の一部として開催されますが、シンポジウムのみご参加の方からは参加費をいただきません。どうぞ奮ってご参加ください。また興味を持ちそうな方にお声がけいただけると幸いです。久木田水生 Symposium on Modernism and Modernisation in Mathematics Time: 16:15-18:30, April 7th, 2018 2018年4月7日、16:15-18:30 Place: Room A31, Liberal Arts and Sciences Building A, Higashiyama Campus, Nagoya University. (No. A4(1) of http://www.nagoya-u.ac.jp/access-map/index.html) 名古屋大学東山キャンパス全学教育棟A館A31教室。http://www.nagoya-u.ac.jp/access-map/index.html のA4(1)の建物 Lecture 1: Jeremy Gray, ``Poincaré and Weyl: two dissenters from mathematical modernism'' Around 1900 a characteristic form of modern mathematics took over the subject, which we associate with Georg Cantor, Richard Dedekind, and David Hilbert among others. It sees mathematics as an autonomous system of ideas, emphasises the formal or axiomatic aspects, and brings about a complicated relationship with the sciences. Henri Poincaré (1854-1912) and Hermann Weyl (1885-1955) preferred a much more intimate connection between mathematics and physics and argued in different ways for a symbiotic approach, which they also linked to a broader philosophical vision. Lecture 2: Susumu Hayashi, ``How was Mathematics modernized?'' I have been developing a historical view on the modernization, in the sense of Max Weber sociology, of mathematics for the last 19 years. I will outline it in this presentation. The starting point of my research was an enigmatic (to me) claim by Kurt Godel in his unpublished philosophical essay. His claim may be interpreted as “World-views have been disenchanted (modernized) through the history since the Renaissance. Particularly in physics, this development reached a peak in the 20th century. However, mathematics alone went in the opposite direction as set theory was introduced into it.” My historical view was slightly changed from Godel’s to make it fit into Weber’s modernization theory. I will discuss how important Hilbert’s program and Godel’s incompleteness theorems were for the modernization of mathematics, and how they made the process of modernization of mathematics somewhat different from the process of modernization of physics. Jeremy Gray short bio Jeremy Gray is an Emeritus Professor of The Open University and an Honorary Professor in the Mathematics Department at the University of Warwick. His research interests are in the history of mathematics, specifically the history of algebra, analysis, and geometry, and mathematical modernism in the 19th and early 20th Centuries. The work on mathematical modernism links the history of mathematics with the history of science and issues in mathematical logic and the philosophy of mathematics. He was awarded the Otto Neugebauer Prize of the European Mathematical Society in 2016 for his work in the history of mathematics, and the Albert Leon Whiteman Memorial Prize of the American Mathematical Society in 2009 for his contributions to the study of the history of modern mathematics internationally. In 2012 he was elected an Inaugural Fellow of the American Mathematical Society. In 2010 he was one of the nine founder members of the Association for the Philosophy of Mathematical Practice (APMP). He is the author of eleven books, of which among the most recent are Plato’s Ghost: The Modernist Transformation of Mathematics (Princeton U.P. 2008), Henri Poincaré: a scientific biography (Princeton 2012), and The Real and the Complex (Springer 2015). Two more books are to be published in 2018: Under the Banner of Number: A History of Abstract Algebra, by Springer, and Simply Riemann in the Simply Charly series of e-books. Susumu Hayashi short bio Susumu Hayashi is a professor of Kyoto university and an emeritus professor of Kobe university. He started his academic career in mathematics, and then moved to other research areas including computer science, software engineering, science and technology policy research for Japanese goverment, history of mathematics, digital humanities, and history of ideas. His current research interests are mainly the history of the foundations of mathematics, the history of Kyoto school of philosophy, and digital humanities. He is the author of ten books and over fifty academic articles. He is now working on a book of Iwanami Shinsho series on Godel's incompleteness theorems and the history of the foundations of mathematics based on the sociological modernization theory. Contact Information: Minao Kukita (久木田水生), minao.kukita(a)i.nagoya-u.ac.jp

1 0

Call for Participation: FLOPS 2018
by Koji Nakazawa 30 Mar '18

30 Mar '18

みなさま，（重複してお受け取りの際は御容赦ください） 5月に名大で開催されるFLOPS 2018参加募集です．みなさまの御参加をお待ちしております． -- 中澤巧爾 (NAKAZAWA Koji) 名古屋大学大学院情報科学研究科情報システム学専攻 mail: knak(a)i.nagoya-u.ac.jp ======================= Call For Participation ======================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan Registration is now open for FLOPS 2018. http://www.sqlab.jp/FLOPS2018/#registration Deadline for early registration is 20 April, 2018. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. The list of accepted papers is at http://www.sqlab.jp/FLOPS2018/accepted.html Invited Speakers William E. Byrd (University of Alabama at Birmingham, USA) Zhenjiang Hu (National Institute of Informatics, SOKENDAI, Japan) Cédric Fournet (Microsoft) Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair)

1 0

The Fourth Taiwan Philosophical Logic Colloquium (TPLC 2018)
by 小野寛晰 28 Mar '18

28 Mar '18

[Please circulate. Apologies for multiple copies.] The Fourth Taiwan Philosophical Logic Colloquium (TPLC 2018) With a main theme: “Conditionals: Truth-Conditions, Probability, and Causality” Call for Papers 15th (Thursday) - 17th (Saturday) of November, 2018 Department of Philosophy, National Taiwan University, Taipei, Taiwan. http://www.philo.ntu.edu.tw/lmmgroup <http://www.philo.ntu.edu.tw/lmmgroup> We are pleased to invite you to submit an abstract of a contributed talk to TPLC 2018. Deadline of the submission: 31 July, 2018 Notification of accepted contributed talk: 20 August, 2018 DESCRIPTION OF TPLC 2018 The Taiwan Philosophical Logic Colloquium (TPLC-series, TPLCs for short) is one of two series of biennial conferences established since 2012 and is hosted by Department of Philosophy, National Taiwan University, Taiwan. (The other is the series of Taiwan Metaphysics Colloquium (TMC-series, TMCs for short), established since 2013). Funding is mainly sourced from annual donation by Ms. Wendy Huang and Shun Yih Ltd. The primary concern of this funding is to enhance the research of logic and analytic philosophy in Taiwan. The aim of TPLCs is to provide a forum for dialogues amongst philosophers and logicians with regard to a variety of significant issues and topics from philosophical and logical perspectives. We intend to bring together a group of logic-minded philosophers and philosophically oriented logicians. We hope that TPLCs and TMCs will become a series of inspiring events so as to promote the development of logic and analytic philosophy, especially philosophical logic and metaphysics in Asian area, especially in Taiwan. In order to bring in more philosophical discussions in TPLCs, the organizing committee has decided that for each TPLC, henceforth, a particular topic/issue/problem, which has involved some philosophical debates, will be set as the main theme. We are hoping that, apart from the general topics in philosophical logic, there could be a certain portion (say, half) of talks focusing on the main theme. The main theme of TPLC 2018 will be “Conditionals: Truth-Conditions, Probability and Causality”. Conditional is undoubtedly one of the most important, and yet controversial, philosophical topics in philosophy. What is the nature of conditionals? Specifically, what is the difference between indicative conditionals and subjunctive ones? Do either indicative conditionals or subjunctive conditionals have truth conditions? If either do, what are their truth conditions? While enormous efforts have been devoted to these questions (and more others), there is undoubtedly plenty of room for further exploration. This year, the Fourth Taiwan Philosophical Logic Colloquium (TPLC 2018) will set the research of conditionals as its main theme. We are hoping that apart from non-classical logics, the philosophy of logic and mathematics, and general topics in philosophical logic, more and more attention can be paid to the study of conditionals. KEYNOTE SPEAKERS: Dorothy Edgington (FBA, Birkbeck College, University of London) Alan Hajek (FAAH, School of Philosophy, RSSS, Australian National University) INVITED SPEAKERS Churn-Jung Liau (Academia Sinica) Edwin Mares (Victoria University of Wellington) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Katie Steele (Australian National University) Jiji Zhang (Lingnan University) And more to come. SUBMISSION OF ABSTRACTS FOR CONTRIBUTED TALKS All researchers working on various aspects of conditionals and general topics in philosophical logic are cordially invited to submit their abstracts by 31 July, 2018. Authors should submit an extended abstract, which is no less than one page but no more than four pages (A4 size, single space). Please put on a separate page with the details of (all) authors, including full names, titles, affiliations, email addresses. By convention, the first author will be the corresponding author, unless special notification is added. Each submission will be reviewed. Abstracts and cover letters must be submitted as PDF files and sent to Hsuan-Chih Lin [azurviolet(a)gmail.com <mailto:azurviolet@gmail.com>] POST-CONFERENCE PUBLICATION: TPLCs has been flourishing since 2012 and we have had several successful events, including TPLC 2014, AWPL-TPLC 2016. We have published two volumes of post-conference proceedings: Structural Analysis of Nonclassical Logics (Proceedings of TPLC 2014), and Philosophical Logic: Current Trends in Asia (Proceedings of AWPL-TPLC 2016), in the ‘Logic in Asia’ (LIAA) Book Series, which is one of sub-series of Studia Logica Library, by Springer in October 2015 and December 2017 respectively. Following this tradition, we are planning to publish a post-conference proceedings for TPLCIV-2018 as a new volume of the LIAA Book Series by Springer, or some other publisher. All authors of papers presented at the conference are encouraged to submit a full paper. All papers submitted will be refereed to high journal standards, and thus acceptance as a presentation is no guarantee that the post-conference paper will be published. A formal schedule concerning the submission of manuscripts and some other details will be announced after the conference. Based on our previous experience, the deadline of the submission of manuscripts is more likely to be around the end of April. TRAVEL GRANTS FOR GRADUATES AND JUNIOR RESEARCHERS Free accommodation and travel awards for graduates and junior researchers have been made available by the organizing committee. In some cases, full compensation of expenses is possible. The details, including general information about the awards and the instructions of application, will be announced later on the website. A NOTE ON HOTEL-ROOM BOOKING As the hotel rooms are usually in high demand, it is strongly recommended that as long as you intend to submit an abstract, please send us a note at your convenience: the earlier we get your note, the easier we can secure the room-booking for you. ORGANIZATION COMMITTEE (in alphabetical order): Duen-Min Deng (National Taiwan University) Kok Yong Lee (National Chung Cheng University) Churn-Jung Liau (Academia Sinica) Hsuan-Chih Lin (Birkbeck, University of London) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Shih-Ping Tung (Chung Yuan Christian University) Syraya Chin-Mu Yang (National Taiwan University) Jiji Zhang (Lingnan University) FURTHER CONTACT: Hsuan-Chih Lin [azurviolet(a)gmail.com <mailto:azurviolet@gmail.com>] Duen-Min Deng [dmdeng(a)ntu.edu.tw <mailto:dmdeng@ntu.edu.tw>] Kok Yong Lee [kokyonglee.mu(a)gmail.com <mailto:kokyonglee.mu@gmail.com>]

1 0

Prof. Helmut Schwichtenberg at NII Logic Seminar
by Makoto Tatsuta 26 Mar '18

26 Mar '18

Prof. Helmut Schwichtenberg at NII Logic Seminar Date: April 2, 2018, 14:00--16:00 Place: National Institute of Informatics, Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Helmut Schwichtenberg (Munchen University) Title: Logic for exact real arithmetic Abstract: Real numbers in the exact (as opposed to floating-point) sense can be given in different formats, for instance as Cauchy sequences (of rationals, with Cauchy modulus), or else as infinite sequences (streams) of (i) signed digits -1, 0, 1 or (ii) -1, 1, bot containing at most one copy of bot (meaning undefinedness), so-called Gray code (di Gianantonio 1999, Tsuiki 2002). We are interested in formally verified algorithms on real numbers given as streams. To this end we consider formal (constructive) existence proofs M and apply a proof theoretic method (realizability) to extract their computational content. We switch between different representations of reals by labelling universal quantifiers on reals x as non-computational and then relativising x to a predicate CoI coinductively defined in such a way that the computational content of x in CoI is a stream representing x. The desired algorithm is obtained as the extracted term of the existence proof M, and the required verification is provided by a formal soundness proof of the realizability interpretation. As an example we consider multiplication of reals. This is a joint work with Ulrich Berger, Kenji Miyamoto and Hideki Tsuiki. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

CFP: 49th TRS Meeting at Ikaho
by Fujita Kenetsu 15 Mar '18

15 Mar '18

皆様，第49回TRS Meetingのご案内をさせて頂きます．どうぞよろしくお願いいたします．藤田憲悦（群馬大学） ============================================================== Call For Participation 49th TRS Meeting September 25 -- 27, 2018 Ikaho, Gunma * About TRS meeting Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. See also Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/ We should like to invite all of you to the upcoming TRS Meeting at Ikaho, Gunma. * Information Date: September 25 (Tues) -- 27 (Thur), 2018 Venue: Ikaho Onsen, Nagomigokoro No Yado Omori: http://www.ikaho-omori.com/eng/ 58 Ikaho, Shibukawa city, Gunma 371-0102 Access: http://www.ikaho-omori.com/eng/ * Schedule Opening: 14:00 on Sept 25 (Tues) Closing: 12:00 on Sept 27 (Thur) * Fee Registration for meeting room fee, tea and snacks at breaks: 4,000 JPY Accommodation fee including breakfasts and dinners (lunches are not included): A shared room with four (10,950　JPY per night) A shared room with three (11,490　JPY per night) (A six-mat single room (12,030 JPY per night) but limited to several) * Registration form Please send the registration form below to Ken-etsu Fujita (mailto: fujita at cs.gunma-u.ac.jp) no later than August 24, 2018. Registration after the deadline is subject to room availability. ------------------------------------------------------------------------------------------------------------- Registration Form of the 49th TRS meeting name: affiliation: [male / female] (leave one) special room request: [single room / shared room / none] (leave one) -------------------------------------------------------------------------------------------------------------- Japanese style shared rooms are default, but several single are also available. If you prefer a single, let me know at your earliest convenience. In the latter case, let me also know your roommate. * Contact Ken-etsu Fujita (mailto: fujita at cs.gunma-u.ac.jp) ==============================================================

1 0

「ポアンカレとワイルの数学の哲学」Gray教授連続講義と討論会　慶応大三田キャンパス（3月28日）
by Yuta Takahashi 14 Mar '18

14 Mar '18

みなさま、重複して受け取られた場合はどうかご容赦願います。名古屋大学・JSPSの高橋優太と申します。 3月28日に、Jeremy Gray教授による以下の連続講義及び討論会が、慶応大学三田キャンパスにて開催されます。どうぞご参加ください。高橋優太 yuuta.taka84(a)gmail.com ************************************************************ *********************** 「ポアンカレとワイルの数学の哲学」Gray教授連続講義と討論会（3月28日） Philosophy of Mathematics of Poincare and Weyl Two lectures by Professor Jeremy Gray and Discussion 3月28日 (水) 15:00-18:00 Wed., Mar. 28th 慶應大三田キャンパス東館4階セミナー室（オープンラボ） Mita Campus, Keio University, Meeting Room, 4F of East Research Building （Gray教授のBiographyおよびAbstractsは下にあります。）（最新情報 http://abelard.flet.keio.ac.jp/seminar/poincare-and-weyl-2018/ ） ************************************************************ *********************** 場所 Venue: 慶應義塾大学三田キャンパス東館4階セミナー室（オープンラボ）（東館は下記キャンパスマップの3です） Mita Campus, Keio University, Meeting Room, 4F of East Research Building (Number 3 of the Campus Map below) 構内図 Campus Map: https://www.keio.ac.jp/en/maps/mita.html 日時 Date & Time: 3月28日（水） 15:00-18:00 Wed., Mar. 28th プログラム Program: 15:00-16:00 The philosophy of mathematics of Henri Poincaré 16:00-17:00 The philosophy of mathematics of Hermann Weyl 17:00-18:00 Discussion Gray教授プロフィールと各講義のアブストラクトが下にあります。このMeetingは名古屋大学情報学研究科・久木田水生先生のご協力により実現いたしました。最新情報は http://abelard.flet.keio.ac.jp/seminar/poincare-and-weyl-2018/ 及び http://www.carls.keio.ac.jp/gcarls/ にあります。問い合わせ先：慶應義塾大学文学部哲学専攻岡田光弘研究室事務局アドレス logic(a)abelard.flet.keio.ac.jp 主催：慶應義塾大学論理と感性のグローバル研究センター Jeremy Gray short bio: Jeremy Gray is an Emeritus Professor of The Open University and an Honorary Professor in the Mathematics Department at the University of Warwick. His research interests are in the history of mathematics, specifically the history of algebra, analysis, and geometry, and mathematical modernism in the 19th and early 20th Centuries. The work on mathematical modernism links the history of mathematics with the history of science and issues in mathematical logic and the philosophy of mathematics. He was awarded the Otto Neugebauer Prize of the European Mathematical Society in 2016 for his work in the history of mathematics, and the Albert Leon Whiteman Memorial Prize of the American Mathematical Society in 2009 for his contributions to the study of the history of modern mathematics internationally. In 2012 he was elected an Inaugural Fellow of the American Mathematical Society. In 2010 he was one of the nine founder members of the Association for the Philosophy of Mathematical Practice (APMP). He is the author of eleven books, of which among the most recent are Plato’s Ghost: The Modernist Transformation of Mathematics (Princeton U.P. 2008), Henri Poincaré: a scientific biography (Princeton 2012), and The Real and the Complex (Springer 2015). Two more books are to be published in 2018: Under the Banner of Number: A History of Abstract Algebra, by Springer, and Simply Riemann in the Simply Charly series of e-books. Abstracts: Poincaré on proof and understanding Poincaré has an exaggerated reputation not being rigorous in his work. In this talk I shall show that he cared about rigour in mathematics, but had justified criticisms of it. However, the more important task was to understand mathematics and physics, and this meant to be enabled to discover new ideas. Certainty in abstract mathematics was provided by the principle of recurrence, which imposed limits on any theory of sets. Thereafter, a pragmatic sense of certainty was provided in applied mathematics and physics by the use of conventions. Conventions, he believed, govern our choice of a geometry for space and the choice of the laws of mechanics and other branches of physics. Objectivity, he said, depended on discourse, and I shall argue that Poincaré’s fundamental position is that the use of mathematics in science is close to Wittgenstein’s idea of a language game. The philosophy of Hermann Weyl By 1910, the year he turned 25, Weyl was developing a finitist philosophy of mathematics, based on a logical theory of relations. He also believed that the human mind can understand ideas only sequentially. He developed this approach on his book The Continuum (1918), and for a time came close to agreeing with Brouwer’s intuitionism, but he abandoned them in the mid-1920s when he became involved in exploring the theory of Lie groups. He then had to turn back towards Hilbert’s ideas about mathematics and physics, and developed his own theory of what he called the symbolic universe in which mathematics and physics supported each other in complementary ways. Weyl sought a unified philosophy that would govern not only his scientific practice but be rooted in a theory of knowledge and an understanding of how it is acquired. Jeremy Gray Open University, Milton Keynes, MK7 6AA, U.K. and University of Warwick, Coventry, CV4 7AL, U.K.

1 0

Lectures by Prof. Jeremy Gray
by 久木田水生 13 Mar '18

13 Mar '18

皆さま、重複して受け取られた方はご容赦願います。名古屋大学情報学研究科の久木田水生です。数学者であり数学史研究家の Jeremy Gray 教授の講演が3月28日に慶應大学、4月2日に京都大学、4月7日に名古屋大学にて開催されます。いずれも参加費無料、事前登録は不要です。どうぞ奮ってご参加ください。時間・場所、タイトル、要旨、プロフィールなどはこちらのウェブページ http://www.is.nagoya-u.ac.jp/dep-ss/phil/kukita/seminars/jeremy-gray.html または本メールの末尾をご覧ください。なお4月7日の講演は応用哲学会年次大会の中のシンポジウムとして開催され、大会には参加費がかかりますが、シンポジウムのみの聴講は無料です。このシンポジウムでは Gray 教授に加え、林晋教授（京都大学文学研究科）も登壇されます。どうぞよろしくお願いいたします。久木田水生ーーーーーーーーーーーーーーーーー Lectures by Prof. Jeremy Gray March 28th, 2018, Keio University Time: 15:00-18:00 Place: Meeting room, 4F of East Research Building, Keio University Mita Campus. (Building No. 3 of this map: https://www.keio.ac.jp/en/maps/mita.html) Lecture 1 (15:00-16:00): ``Poincaré on proof and understanding'' Poincaré has an exaggerated reputation not being rigorous in his work. In this talk I shall show that he cared about rigour in mathematics,but had justified criticisms of it. However, the more important task was to understand mathematics and physics, and this meant to be enabled to discover new ideas. Certainty in abstract mathematics was provided by the principle of recurrence, which imposed limits on any theory of sets. Thereafter, a pragmatic sense of certainty was provided in applied mathematics and physics by the use of conventions. Conventions, he believed, govern our choice of a geometry for space and the choice of the laws of mechanics and other branches of physics. Objectivity, he said, depended on discourse, and I shall argue that Poincaré’s fundamental position is that the use of mathematics in science is close to Wittgenstein’s idea of a language game. Lecture 2 (16:00-17:00): ``The philosophy of Hermann Weyl'' By 1910, the year he turned 25, Weyl was developing a finitist philosophy of mathematics, based on a logical theory of relations. He also believed that the human mind can understand ideas only sequentially. He developed this approach on his book The Continuum (1918), and for a time came close to agreeing with Brouwer’s intuitionism, but he abandoned them in the mid-1920s when he became involved in exploring the theory of Lie groups. He then had to turn back towards Hilbert’s ideas about mathematics and physics, and developed his own theory of what he called the symbolic universe in which mathematics and physics supported each other in complementary ways. Weyl sought a unified philosophy that would govern not only his scientific practice but be rooted in a theory of knowledge and an understanding of how it is acquired. April 2nd, 2018, Kyoto University Time: 16:30-18:00 Place: Large conference room in the basement, Faculty of Letters Main Building, Yoshida Campus, Kyoto University. (No. 8 of this map: http://www.kyoto-u.ac.jp/en/access/yoshida/main.html) ``The philosophy of Hermann Weyl'' By 1910, the year he turned 25, Weyl was developing a finitist philosophy of mathematics, based on a logical theory of relations. He also believed that the human mind can understand ideas only sequentially. He developed this approach on his book The Continuum (1918), and for a time came close to agreeing with Brouwer’s intuitionism, but he abandoned them in the mid-1920s when he became involved in exploring the theory of Lie groups. He then had to turn back towards Hilbert’s ideas about mathematics and physics, and developed his own theory of what he called the symbolic universe in which mathematics and physics supported each other in complementary ways. Weyl sought a unified philosophy that would govern not only his scientific practice but be rooted in a theory of knowledge and an understanding of how it is acquired. April 7th, Nagoya University: Symposium on Modernism and Modernisation of Mathematics Time: 16:15-18:35 Place: Room A31, Liberal Arts and Sciences Building A, Higashiyama Campus, Nagoya University. (No. A4(1) of this map: http://en.nagoya-u.ac.jp/map/index.html) Lecture 1: Jeremy Gray, ``Poincaré and Weyl: two dissenters from mathematical modernism'' Around 1900 a characteristic form of modern mathematics took over the subject, which we associate with Georg Cantor, Richard Dedekind, and David Hilbert among others. It sees mathematics as an autonomous system of ideas, emphasises the formal or axiomatic aspects, and brings about a complicated relationship with the sciences. Henri Poincaré (1854?1912) and Hermann Weyl (1885?1955) preferred a much more intimate connection between mathematics and physics and argued in different ways for a symbiotic approach, which they also linked to a broader philosophical vision. Lecture 2: Susumu Hayashi, ``How was Mathematics modernized?'' I have been developing a historical view on the modernization, in the sense of Max Weber sociology, of mathematics for the last 19 years. I will outline it in this presentation. The starting point of my research was an enigmatic (to me) claim by Kurt Godel in his unpublished philosophical essay. His claim may be interpreted as “World-views have been disenchanted (modernized) through the history since the Renaissance. Particularly in physics, this development reached a peak in the 20 th century. However, mathematics alone went in the opposite direction as set theory was introduced into it.” My historical view was slightly changed from Godel’s to make it fit into Weber’s modernization theory. I will discuss how important Hilbert’s program and Godel’s incompleteness theorems were for the modernization of mathematics, and how they made the process of modernization of mathematics somewhat different from the process of modernization of physics. Jeremy Gray short bio Jeremy Gray is an Emeritus Professor of The Open University and an Honorary Professor in the Mathematics Department at the University of Warwick. His research interests are in the history of mathematics, specifically the history of algebra, analysis, and geometry, and mathematical modernism in the 19th and early 20th Centuries. The work on mathematical modernism links the history of mathematics with the history of science and issues in mathematical logic and the philosophy of mathematics. He was awarded the Otto Neugebauer Prize of the European Mathematical Society in 2016 for his work in the history of mathematics, and the Albert Leon Whiteman Memorial Prize of the American Mathematical Society in 2009 for his contributions to the study of the history of modern mathematics internationally. In 2012 he was elected an Inaugural Fellow of the American Mathematical Society. In 2010 he was one of the nine founder members of the Association for the Philosophy of Mathematical Practice (APMP). He is the author of eleven books, of which among the most recent are Plato’s Ghost: The Modernist Transformation of Mathematics (Princeton U.P. 2008), Henri Poincaré: a scientific biography (Princeton 2012), and The Real and the Complex (Springer 2015). Two more books are to be published in 2018: Under the Banner of Number: A History of Abstract Algebra, by Springer, and Simply Riemann in the Simply Charly series of e-books. Contact Information Minao Kukita (久木田水生), minao.kukita(a)i.nagoya-u.ac.jp

1 0

Project colloquium talk by Thorsten Wissman on 15 March
by urabenatsuki＠is.s.u-tokyo.ac.jp 13 Mar '18

13 Mar '18

[Apologies for multiple copies] Dear all, Let me advertise our next ERATO MMSD project colloquium talk by Thorsten Wissman on 15 March, 16:30-. Please find the title and the abstract below. You are all invited. Sincerely, -- Natsuki Urabe urabenatsuki(a)is.s.u-tokyo.ac.jp The University of Tokyo, ERATO MMSD ----- Thu 15 March 2017, 16:30–18:00 ERATO MMSD Takebashi Site Common Room 3 http://group-mmm.org/eratommsd/access.html Thorsten Wissman (FAU Erlangen-Nürnberg), Efficient Coalgebraic Partition Refinement This talk presents a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence. Coalgebraic generality implies in particular that not only classical relational systems are covered but also various forms of weighted systems. Under assumptions on the type functor that allow representing its finite coalgebras in terms of nodes and edges, the generic algorithm runs in time O(m⋅log n) where n and m are the numbers of nodes and edges, respectively. Instances of the generic algorithm thus match the runtime of the best known algorithms for unlabelled transition systems, Markov chains, and deterministic automata (with fixed alphabets), and improve the best known algorithms for Segala systems.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2018