BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:論計舎連続講義「ゲーデルの不完全性定理へ
 の12講」#01
X-WR-CALNAME:論計舎連続講義「ゲーデルの不完全性定理へ
 の12講」#01
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:865254@techplay.jp
SUMMARY:論計舎連続講義「ゲーデルの不完全性定理への12
 講」#01
DTSTART;TZID=Asia/Tokyo:20220911T130000
DTEND;TZID=Asia/Tokyo:20220911T163000
DTSTAMP:20260407T090139Z
CREATED:20220706T063117Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/86525
 4?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n論計舎連続
 講義「ゲーデルの不完全性定理への12講」#01\nDescription\
 n本年9月から毎月一回一年かけた「ゲーデルの不完全
 性定理への12講」という有料連続講座を開設します。\n
 数理論理学とは何かという話から始めて第一不完全性
 定理をお伝えし、第二不完全性定理を紹介します。\n
 初回の9月は、\n歴史的な背景と技術的な背景について
 お話しさせていただきます。\nSpeaker\n川井 新 (Shin Quawai
 )\n論計舎主催・講師。 論理と計算の関わりに関心をも
 ち、在野研究者として活躍中。\n他に哲学的論理学も
 専門とする。\nRIMS共同研究にて口頭発表2回。\n論理学
 友の会発起人。\n指導実績のある分野に、線形代数、
 微分積分学、数理論理学。\nウィスキーと珈琲を好む
 。\n\nresearchgate\nreserchmap\nTwitter\n\nTime Table\nTBA\nAttendane\n
 各回の録画および資料を含めた全12回参加権をまとめ
 てご購入なさりたい方は、\n論計舎サイト内ページか
 らお問い合わせください。\n各回の参加はその都度、co
 nnpassページからご登録いただけます。\nなお、各回ご
 との参加にアーカイブの閲覧権は付随しません。\nKeywo
 rds and Topics\n一階述語論理/算術の言語/計算可能性/原始
 再帰的関数/原始再帰的関係/ゲーデル符号化/第一不完
 全性定理/対角線補題/第一不完全性定理の一般化/第一
 不完全性定理の応用/第二不完全性定理/可導性条件\nCou
 rse Objectives\n数理論理学の基本定理で一つの大きな達成
 である、\nゲーデルの不完全性定理を理解する。\nここ
 でいう理解とは、\n背後の基本的な考え方・発想およ
 び数学的な技法を含むものである。\nこの技法は、\n不
 完全性定理にかぎらず、\nチューリングおよびチャー
 チそれぞれによる\n実行的に解けない数学の問題の存
 在を示した業績などでも使われたものである。\nSchedule
 \n11 Sep. 2022\nHistorical and Technical Backgrounds\n\nスケジュー
 ルの説明\n不完全性定理と歴史的背景\n不完全性定理の
 技術的背景\n\nOct. 2022\nProof Theory: Quick Installation\n\n前回
 の復習\n証明論\n一階述語論理の自然演繹\n\nNov. 2022\nPro
 of Theory: Details and Examples\n\n前回の復習\n一階述語論理の
 自然演繹\n実例の提示\n\nDec. 2022\nComputability: Quick Installa
 tion\n\n前回の復習\n計算可能性の歴史\n速習計算可能性\
 n\nJan. 2023\nComputability: Recursion\n\n前回の復習\nコード化\n
 原始再帰的関数\n\nFeb. 2023\nComputability: Details and Examples\n
 \n前回の復習\nChurchのテーゼ\n実例の提示\n\nMar. 2023\nAn I
 ntroduction to Incompleteness (1)\n\n前回の復習\n算術の形式理
 論\nΣ1完全性\n\nApr. 2023\nAn Introduction to Incompleteness (2)\n\n
 前回の復習\n算術化・ゲーデル符号化\n表現定理\n\nMay 2
 023\nThe First Incompleteness Theorem\n\n前回の復習\n対角線補題
 \n第一不完全性定理\n\nJune 2023\nUse and Abuse\n\n全体の振り
 返り\n第一不完全性定理の応用\n\nJuly 2023\nThe Second Incomp
 leteness Theorem\n\n前回の復習\n第二不完全性定理の概略\n
 第二不完全性定理の応用と現在の研究の紹介\n\nAug. 2023
 \nSummary\n\nSummary\n\nResources\nTexts\n\n鹿島亮『数理論理学
 』朝倉出版、2009\nCooper\, S. Barry. Computability theory. Chapman 
 and Hall/CRC\, 2017.\n新井敏康『数学基礎論 増補版』東大
 出版、2021\n菊池誠『不完全性定理』共立出版、2014\nト
 ルケル・フランセーン『ゲーデルの定理 利用と御用の
 不完全ガイド』みすず出版、2011\n\nFurther reading on Incompl
 eteness\n\nゲーデル著、林晋、八杉満利子、訳・解説、
 『不完全性定理』岩波書店\nBoolos\, George. "Gödel's second i
 ncompleteness theorem explained in words of one syllable." Mind (1994): 1
 -3.\nBoolos\, George. "A New Proof of the Gödel Incompleteness Theorem."
  Notices Am. Math. Soc. 36 (1989): 388-390.\n\nIncompleteness and the Phi
 losophy of Mathematics\n\nBoolos\, George. "On “Seeing” the Truth of 
 the Gödel Sentence." Behavioral and Brain Sciences 13.4 (1990): 655-656.
 \nHilbert’s Program (Stanford Encyclopedia of Philosophy)\n
LOCATION:オンライン Zoom
URL:https://techplay.jp/event/865254?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR