終了 「囚人と帽子のパズル」の無限化を通して、新たな数学の公理を作る

2023年7月の活動報告

いつもご支援・応援ありがとうございます。

当プロジェクトの2023年7月の月間活動報告です。

研究の進捗報告と来月の目標と、SOU数学ラボでの活動報告と来月の課題の4つ（１～４）に分けてまとめていきます。

１．【研究の進捗報告】

先月の活動報告にて証明できると思っていた一般定理ですが、その後の研究で反例が見つかり、実はそこまでシンプルな定理が成り立たないことが判明しました。しかし全ての場合を網羅して1つの定理にまとめれば、有限な帽子パズルにてかなりの一般定理が完成するのではと期待しています。
指導教員からも面白い定理だとコメントをいただいたため、自信をもって発表できる定理になるかもしれません。証明の残りの部分に関しても自分なりの予想を立てているので、それを踏まえて自分なりの定理を完成させたいと思っています。またある程度結果として有意義だと判明したので、証明を引き続き昇華させつつ、英語でまとめる練習をしていきたいと思います。

２．【研究の来月の目標】

先の項目での結果は有限なパズルに対しての定理です。無限を研究する集合論の研究室にいる以上、無限なパズルにおいて結果を出したいものです。今年の最初に先行研究にあたる論文はまとめてあったので、これから順に読み自分のものにしてこうと思います。

３．【SOU数学ラボの活動報告】

大人向け数学教室や勉強会は順調に活動を続けています。
今後もSOU数学ラボTwitterアカウントにて随時レッスンや勉強会の個別の活動報告をしていくので、是非そちらもご覧ください。

先月から同様、5つのイベント・勉強会が活動・運営されています。

・フライデー数学ナイト：隔週金曜夜
・なんば哲学勉強会：隔週金曜夜
・公理的集合論入門勉強会：毎週日曜朝
・帽子パズル研究会：隔週日曜昼
・不完全性定理勉強会：隔週日曜昼（個別ページはないのでページの真ん中あたりまでスクロールしてください）

どのイベントもとくにトラブルもなく順調に回を重ねています。

レッスンの予定やイベントの開催日程などについては先月からGoogleカレンダーで管理しているので、
気になる方は是非数学ラボHPのトップページ下部をご覧ください

４．【SOU数学ラボの来月の目標】

おかげさまでどのイベント・勉強会も盛況です。ただ私が隔週日曜に主催していた2つの勉強会は研究により集中するため一度休止・不定期開催に移行しました。

不完全性定理勉強会は自分の分野に関係するテーマだったのですが、結構予習復習が重荷になっていたので、一度休止して研究に充てる時間を増やすことにしました。休止している間はこの勉強会の参加メンバーの方同士で新たな勉強会を始める予定です。今時点では全くの未定ですが、キリの良いところで元の勉強会に戻す予定になっています。

帽子パズル研究会は不定期開催にします。今回の活動報告で紹介した定理はこの研究会から生まれたものです。参加者の方からこの研究会が本来の研究活動を阻害してはいけないから、余裕があるときだけの開催にしようと提案していただけました。確かに今はここで生まれた定理の整理やブラッシュアップが最優先課題です。なのでそれが終わった後新しい論文などを読んで生まれた結果があれば、またそのときには結果を共有する機会として利用させていただこうと思っています。

引き続き数学が関わることになんでも挑戦していきますので、ご支援・応援のほどよろしくお願いいたします！