論理学ないと#001

5/30（土）に仮称ロジカル論理学ナイトonlineを開催します。 名前から分かる通りに ロマンティック数学ナイト＠オンライン #15 | ロマンティック数学ナイトを受けての 悪ノリですが、内容は至極まじめです。

様子するに、 持ち寄り論理学ゼミのようなことをやります。

基本的な日程は以下の通りです。 発表者の都合に合わせて時間帯は変更します。

• 19:30会場
• 20:00開会
• 23:00閉会（途中入退室可能）

Zoom会議での開催です。

さて、 発表者と聴講者を募集します。 本ページの最後で連絡先を提示します。

どちらの参加様式についても無料です。 ただし事前の参加申し込みがない方の参加は不可能です^deadline

発表にかんして時間や内容の制限はありません^save。 とくに論理学に関する初歩的な内容や質問・疑問をまとめた発表を歓迎します。 ただし、 発表時なんらかの資料があることが必須であり、 可能ならそれを事前配布していただきたく思います。 事前配布は主催者であるわたしが主催側から配布できるように手配します。

発表で顔を出す必要はありません。 資料を表示して声だけで発表していただければ充分です。 顔を見せたい人は見せてもいいですが、 以下の「YouTube公開について」をご参照ください。 またご自身で可能なら、 変声機械の使用やボイスロイドの使用も可能です。

現時点で以下の二名から発表の希望をいただいております。

発表詳細

Alweさん(@AlweLogic)から「Goodsteinの定理」というタイトルで発表していただけます。以下概要です。

「自然数上の組合せ論的命題であるGoodsteinの定理と順序数の関係、そしてGentzen自然数論の無矛盾性証明との関連について講演します」

松本さん(@cardinal_spline)の発表タイトルは「述語論理の完全性定理」です。以下概要です。

「可算言語上の述語論理計算の完全性定理を、証明探索による方法で証明します。推件計算に馴染んでいることを仮定します。また、モデルに関する知識や初等的な再帰理論の知識があるとよいです。」

松本さんの発表資料

会場

パスワードは参加者の方に通知します。

Topic: 論理学ないと Time: May 30, 2020 07:30 PM Osaka, Sapporo, Tokyo

Meeting ID: 851 9440 6603

YouTube公開について

Zoom会議の様子をYouTubeにて後日公開したいと考えております^youtube。 したがって、 発表のYouTube公開を拒否したい方は予めお伝えください。 聴講にあたっても、カメラをオフにしていただきます。

参加方法

発表希望の方は、 その旨と以下をお伝えください。

• タイトル（仮のものでok）
• 発表内容の概要（順番決定などの参考にします）
• 発表したい時間帯ないし順番のご希望
• 発表時間の目安（
• すでにある場合は発表資料^resume

発表をお願いすることが決まった場合、 発表内容の概要を5/28中までに発表資料とともにわたしにメールください。 29日に発表者の告知をTwitterおよびわたしのブログ（ここです）で、行います。

聴講は原則的に当日2020年5月30日19時までご連絡いただければ可能ですが、 すべての希望者が発表できるとはかぎりません。 ご了承ください。 その場合では聴講していただく事は可能です。

最後に

はじめての試みなので、 暖かい目で見守っていただけたら嬉しく思います。