私達が普段数学を考えるときに、「自然数」とか「実数」なんてものが出てきます。「群の公理」、幾何学では「開集合系の公理」など、どんな数学の分野にも、議論の出発点となる公理があります。数学の議論の出発点となる公理はなんでしょうか?公理的集合論では、ZFC公理系(公理の集まり)と呼ばれるものを数学の出発点として採用して、数学の中で数学を数学的対象として作り上げようという分野です。その中で、自然数や実数を構成します。この勉強会では、そんな公理的集合論が、実際にどんな公理を採用して、どのように数学的対象としての数学を作り上げて、自然数や実数を構成していくのかをイチから学ぼうという企画です。発表者も、集合論を学んでいる最中の大学4年生なので、皆様と一緒に学んでいけたらと思っております。このスペースの管理人の方は集合論が専門の大学院生であり、この勉強会ではオブザーバーとして参加していただけることになっています。第1回以降について第1回(12月11日)以降は以下のスケジュールで、基本的に毎週日曜日に開催していきます。開催します!!!「大阪か~。参加申し込みをすると見られるようになります。ノートと筆記用具があれば大丈夫です。必須ではありませんが、あると便利だと思います。ある程度大学数学を知っていて、論理式に慣れ親しんでいる方が対象です。お気軽にご参加ください。参考程度に、教科書が仮定する前提知識を書いておきます。.その他参考文献やおススメ本などは各回の途中で紹介します。教科書の第I章を、前から順に(適宜飛ばしながら)進めていきます。第1回以降はお一人参加費1000円。用いて、集合論を独学していました。10月から、このスペースの管理人の方が主催する論理学のゼミに参加させていただいて、集合論についても教えていただいております。集合論を学んでいる最中で、このゼミも私の集合論への理解を深めることを目的にしています。SOU数学ラボについて大阪なんばにある、この勉強会の数学パートを担当する大学院生が管理人をしているスペースです。地下鉄御堂筋線なんば駅から5分の立地にあるビルの一室です。管理人の研究室兼オフィスでもありますが、ここで数学の勉強会やイベントを開いたり、大人向けに数学の個人レッスンをしたり、中高生向けの数学・プログラミングのフリースクールをやったりもしています。ゲーデルの不完全性定理の証明の理解を目標とした勉強会です。当スペース管理人が発表を担当し、毎週日曜日の12時から15時までです。固定メンバーが5人いますが、あと1人参加可能です。こちらは会ごとの参加申し込み制ではないので都度告知は行いませんが、見学や途中からの参加は大歓迎です。その場合当スペースTwitterアカウントへダイレクトメッセージをください。哲学の若手研究者が異分野交流を目指して互いの専門分野について教えあう新しいタイプの勉強会です。数学パートと哲学パートに分かれていて、数学パートは当スペースの管理人が担当しています。毎週土曜日の16時から19時から開催しています。毎回参加申し込みをこのconnpassにて受け付けています。途中からの参加もお気軽にどうぞ。最新の回の申し込みなど詳しくはこちらからアクセス詳しくはホームページも参考にしてください。なんばパークス横の高速道路下のマクドナルドまで来れば、ブックオフの前を通ってすぐです。勉強会についての注意事項なるべく9時55分までには入室してください。お釣りのでないように参加費をお支払いください。飲み物は持ち込み自由です。飴やガム以外の食事はご連慮ください。宗教の勧誘や過度な営業活動などはご遠慮ください。当日までの連絡なく不参加の方、キャンセルを繰り返される方は以後参加をお断りする場合があります。周りの方へ迷惑行為やハラスメントを行った場合は、その場でご退室もしくは以降の参加をお断りします。コロナウィルス感染対策にご協力くださいマスクの着用をお願いします。アルコールを用意していますので、入場時に手の消毒をお願いします。咳、くしゃみなどの際は口を抑えるなどの配慮をお願いします。参加者同士の物理的な接触(握手など)を極力避けるようお願いします。体調が優れない場合は、参加はご遠慮下さい。(必ずConnpassにてキャンセル処理をお願いします。こちらのイベント情報は、外部サイトから取得した情報を掲載しています。掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。情報提供元ページ(connpass)へ新規会員登録このイベントに申し込むには会員登録が必要です。アカウント登録済みの方はログインしてください。ソーシャルアカウントで登録するとログインが簡単に行えます。連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。イベントをはじめようグループを作れば、無料で誰でもイベントページが作成できます。開催[PR]新規会員登録このイベントに申し込むには会員登録が必要です。アカウント登録済みの方はログインしてください。ソーシャルアカウントで登録するとログインが簡単に行えます。連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。