BEGIN:VCALENDAR VERSION:2.0 PRODID:-//https://techplay.jp//JP CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALDESC:#9 公理的集合論入門勉強会 X-WR-CALNAME:#9 公理的集合論入門勉強会 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:892860@techplay.jp SUMMARY:#9 公理的集合論入門勉強会 DTSTART;TZID=Asia/Tokyo:20230226T100000 DTEND;TZID=Asia/Tokyo:20230226T112000 DTSTAMP:20260509T214544Z CREATED:20230219T062814Z DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/89286 0?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n概要\n私達 が普段数学を考えるときに、「自然数」とか「実数」 なんてものが出てきます。では、実数とか自然数って 何でしょう？また、解析学では「実数の連続成公理」 、代数学では「群の公理」、幾何学では「開集合系の 公理」など、どんな数学の分野にも、議論の出発点と なる公理があります。では、数学の議論の出発点とな る公理はなんでしょうか？\n公理的集合論では、ZFC公 理系（公理の集まり）と呼ばれるものを数学の出発点 として採用して、数学の中で数学を数学的対象として 作り上げようという分野です。その中で、自然数や実 数を構成します。\nこの勉強会では、そんな公理的集 合論が、実際にどんな公理を採用して、どのように数 学的対象としての数学を作り上げて、自然数や実数を 構成していくのかをイチから学ぼうという企画です。\ n発表者も、集合論を学んでいる最中の大学４年生なの で、皆様と一緒に学んでいけたらと思っております。\ nまたこのスペースの管理人の方は集合論が専門の大学 院生であり、この勉強会ではオブザーバーとして参加 していただけることになっています。\nこんな方にお ススメ！\n\n集合論や数学基礎論に興味がある方\n概要 に書いてあるようなことに興味がある方\n哲学を学ん でいて、その内容に数学の基礎が関係する方\n勉強・ 学問でつながる友達を作りたい方\n\n第1回以降につい て\n第1回（12月11日）以降は以下のスケジュールで、基 本的に毎週日曜日に開催していきます。\n具体的な発 表回数は未定です。\n\n\n\n開始時間\n終了時間\n内容\n\n \n\n\n9:50\n10:00\n開場\n\n\n10:00\n11:00\n発表 （ZFC の導入）\n \n\n11:00\n11:20\n質疑応答\n\n\n11:20\n11:30\n片付けと退室\n\n\ n\n発表資料について\nゼミの内容をまとめた PDF を共有 しています！\n申し込みして頂いた後、「参加者への 情報」の欄にあるリンクからご覧下さい。特に告知せ ず、逐次更新して参ります。\nダウンロード等はご自 由にして頂いて構いません。常識の範囲内でお使い頂 ければと思います。\nオンライン参加\nZoom でも開催し ます！！！\n「大阪か～。遠いな～。」と思って参加 を見合わせていた方、どうぞ今一度ご一考ください！\ nZoom のミーティングのリンクは\, 参加申し込みをする と見られるようになります。\n準備物や前提知識、教 科書\n準備物はノートと筆記用具があれば大丈夫です 。\n教科書は、キューネンの『数学基礎論講義』を使 う予定です。必須ではありませんが、あると便利だと 思います。\nある程度大学数学を知っていて、論理式 に慣れ親しんでいる方が対象です。お気軽にご参加く ださい。\n参考程度に、教科書が仮定する前提知識を 書いておきます。\n\n読者が学部レベルの基本的な数学 をわかっているものと仮定します. 詳しく言うと：\n　 群とか体とかいった抽象的な数学的構造について思考 することが平気でないといけません. また\, 微分積分 の基本のところと\, その背後にある理論のいくらかを 知っているべきです. 例えば\, 極限値のきちんとした 定義とか\, 実数全体の集合 ℝ が負荷さんである一方 で有理数全体の集合 ℚ が可算であるという事実\, な どです. \n　初歩的な数学で利用されているような論理 の基本についても知っているべきです. これは例えば\, ブール代数の真理値表のことや\, （中略）数学におけ る日常言語の長い表現を短縮して描くための論理の使 い方のこと\, などです.\n\nその他参考文献やおススメ 本などは各回の途中で紹介します。\n内容\n教科書の第 Ⅰ章を、前から順に（適宜飛ばしながら）進めていき ます。\n第9回は、対公理を使うと、「自然数を作る」 という中間目標に対して、何ができるのか、何ができ ないのか、を話していきます！\n参加費\n第1回以降は お一人参加費1000円。\nオンライン参加の方は参加費500 円。\n発表者自己紹介\n数学科の大学4年生です。この ゼミの教科書でもある『数学基礎論講義』を用いて、 集合論を独学していました。10月から、このスペース の管理人の方が主催する論理学のゼミに参加させてい ただいて、集合論についても教えていただいておりま す。まだ集合論を学んでいる最中で、このゼミも私の 集合論への理解を深めることを目的にしています。\n 注意事項\n勉強会に関するもの\n\nなるべく9時55分まで には入室してください。\nお釣りのでないように参加 費をお支払いください。\n飲み物は持ち込み自由です 。飴やガム以外の食事はご連慮ください。\n宗教の勧 誘や過度な営業活動などはご遠慮ください。\n当日ま での連絡なく不参加の方、キャンセルを繰り返される 方は以後参加をお断りする場合があります。\n周りの 方へ迷惑行為やハラスメントを行った場合は、その場 でご退室もしくは以降の参加をお断りします。\n\nコロ ナウィルス感染対策に関するもの\n\nマスクの着用をお 願いします。\nアルコールを用意していますので、入 場時に手の消毒をお願いします。\n咳、くしゃみなど の際は口を抑えるなどの配慮をお願いします。\n参加 者同士の物理的な接触(握手など)を極力避けるようお 願いします。\n体調が優れない場合は、参加はご遠慮 下さい。(必ずConnpassにてキャンセル処理をお願いしま す。)\n\nSOU数学ラボについて\n大阪なんばにある、数学 専攻の博士課程大学院生が管理人をしているスペース です。\n管理人の研究室兼オフィスでもありますが、 ここで数学の勉強会やイベントを開いたり、大人向け に数学の個人レッスンをしています。管理人の研究に ついてより詳しくは現在挑戦中のacademistも参考にして ください。\nアクセス\nこのページにも地図は載ってい ますが、SOU数学ラボ内に写真付き道案内ページを作っ てみたので、そちらも是非参考にしてください。\n開 催中の他のイベント・勉強会\n当スペースでは様々な イベントや勉強会を定期開催しています。\nフライデ ー数学ナイト（第1・3金曜日18時30分～20時30分）\n数学 好きのための交流イベントです。当スペースの勉強会 に何度か参加し、すっかり数学好きになってしまった ＩＴエンジニアの方が主催しています。勉強会のしっ かりとした雰囲気ではなく交流メインですが、（各回 最大1人まで）希望者がいれば数学の発表を披露してい ただきます。またそんな発表者に主催者なりにお返し ができたらと参加者数に応じた謝礼をお渡しする仕組 みを用意しました。日ごろの勉強の成果報告や振り返 り、卒論・修論発表などのリハーサルに是非是非ご活 用ください！\n参加申し込み受付中のイベント一覧は こちらから。\nなんば哲学読書会（第2・4金曜日18時30 分～20時30分）\n大学外での哲学の気軽な勉強会を作ろ うと、下記の双方向入門勉強会の哲学パート担当者で もある、若手哲学研究者が運営しています。１冊のテ キストをテーマに勉強会を進めていきます。毎回資料 を配布し予習や前提知識は不要になっているので、ど の回からでも気軽に参加可能です。参加申し込み受付 中のイベント一覧はこちらから。\n双方向入門勉強会 【数学研究者⇄哲学研究者】（毎週土曜日16時～19時） \n数学と哲学の若手研究者が異分野交流を目指して互 いの専門分野について教えあう新しいタイプの勉強会 です。\n数学パートと哲学パートに分かれていて、数 学パートは当スペースの管理人が担当しています。毎 回参加申し込みをこのconnpassにて受け付けています。 途中からの参加もお気軽にどうぞ。最新の回の申し込 みなど詳しくはこちらから\n公理的集合論入門勉強会 （毎週日曜日10時～11時30分）\nこの勉強会のこと。\n不 完全性定理勉強会（毎週日曜日12時～15時）\nゲーデル の不完全性定理の証明の理解を目標とした勉強会です 。当スペース管理人が発表を担当しています。すでに 固定メンバーが6人いて新規メンバー募集はしていませ んが、見学は対応できる可能性があるので、興味のあ る方はご連絡ください。詳しくはこちらも参考にして ください。 LOCATION:SOU数学ラボ 大阪市浪速区難波中3丁目4番41号 URL:https://techplay.jp/event/892860?utm_medium=referral&utm_source=ics&utm _campaign=ics END:VEVENT END:VCALENDAR