アカデミー・オリンピアコミュの【勉強会】数学基礎論【数学？】

数学基礎論を勉強する会を行います。
講師はいませんので皆で頑張りましょう。
参加するコミュ会員は安敦さんと管理人です。

教科書としては
数理論理学　共立出版　松本和夫　著
数学基礎論入門　朝倉書店　前原昭二　著

http://www.amazon.co.jp/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6-%E6%9D%BE%E6%9C%AC-%E5%92%8C%E5%A4%AB/dp/4320016823/ref=pd_bbs_sr_1/249-1046458-5102722?ie=UTF8&s=books&qid=1189691435&sr=8-1

http://www.amazon.co.jp/%E6%95%B0%E5%AD%A6%E5%9F%BA%E7%A4%8E%E8%AB%96%E5%85%A5%E9%96%80-%E5%9F%BA%E7%A4%8E%E6%95%B0%E5%AD%A6%E3%82%B7%E3%83%AA%E3%83%BC%E3%82%BA-%E5%89%8D%E5%8E%9F-%E6%98%AD%E4%BA%8C/dp/425411723X/ref=pd_bxgy_b_text_b/249-1046458-5102722?ie=UTF8&qid=1189691435&sr=8-1

参加希望のコミュ会員はこのトピに書いてください。
勉強会運営については参加する人が決まり次第
考えましょう。

コメント(76)

最初
全て
最新の40件

前

[37] mixiユーザー 09月29日 12:37

庶務係です。たびたびすみません。

勉強会トピ、トップ文章必須項目

【使用テキスト】
前期：「数理論理学（復刊）」; 共立出版; 松本和夫　著
http://www.amazon.co.jp/dp/4320016823/
後期：「数学基礎論入門（復刊）」; 朝倉書店; 前原昭二　著
http://www.amazon.co.jp/dp/425411723X/

【参加ルール】
まず、本コミュニティのルールを参照のこと。
「コミュ運営及びトピック運営に関するルール」
http://mixi.jp/view_bbs.pl?id=23196140&comm_id=2590964

参加する際は加入を宣言し、継続的に活動してください。
単発の質問なども歓迎しますが、その際は（別トピ）へ。
（単発トピURL）

----------

【冒頭コメントで示すべき事がら】
(1) 記号、用語の定義
(2) mixi内HTMLおよびOpenOffice.org数式エディタにおいて使用できる記号の制限と用法
(3) 講師、スタート時点での参加者リスト、勉強会の（とりあえずの）予定期間

----------

こんなところでしょうか。

てなさくさんが途中で多忙になられることも考えられますので、講師はトップではなくコメントに記述することを提案します。記号についても運用しながら適応的に使用したいので同様です。

参加者はもちろん流動的ですので、各章のはじめあたりに私がリストを挙げるようにします。

現在の参加者は、
てなさくさん（「数理論理学」講師）
米米さん（コミュニティ管理者）
安敦（「数理論理学」庶務）
ゆいなさん
大さん
かがみさん
夜勤さん
です。

（肩書きが欲しい方は本トピにて自分で勝手に名乗ってください。参加者リストに反映しますｗ）

文章が確定いたしましたら私のほうで勉強会トピを立ち上げます。

楽しみながら学びましょう。

[41] mixiユーザー 09月30日 01:10

てなさくさん、ありがとうございます。
やはり、理解している方がいらっしゃると、安心して進められる気がします。

「数学基礎論入門」のほうにも"logical"と"metalogical"であるとか、"object language"と"metalanguage"といった階層の区別が何度も出てきますね。

【哲学をやらない】
というのは私も考えていたのですが、"syntax"を扱って"semantics"に手を出さないというのとはまた別の水準なのでしょうか。

数学基礎論は科学的手法や論理的思考の可能性と限界を議論する有効な道具なので、多くの参加者はここに興味を持っているとは思います。しかしそうした議論をより確実なものにするためには、それ以前に議論を組み立てるための"building block"としての形式論理に習熟することが、結局哲学的議論を踏み外さないための基礎体力になると思っています。

ですので、来年3月までは哲学を封印して形式論理を徹底的に理解するという進め方に賛成です。時折息抜き程度に応用面の話題を混ぜてもいいかもしれませんけれども、まずは数学基礎論の範疇でお願いしたいと思います。

----------

記号表記は異議なしです。
個人的に <A_k> よりは <A>_k のほうが好みではあります。

[43] mixiユーザー 09月30日 12:19

あ、講師の方見つかったのですね。良かったです。
一応、周囲の数学者達に呼びかけてはいたのですが、もう止めていいですよね？
お役に立てなくてすみませんでした。

[44] mixiユーザー 10月01日 21:27

コミュ管理をさぼっている管理人です。
勉強会の件関してしてはフォントや勉強会の進め方についても
大分煮詰まっているようですから、
そろそろ勉強会トピックに移行してもよさそですね。
39>で講師であるてなさくさんが提案している勉強会の進め方だと
かなりハードな気もしますがそれは勉強会初めてみてからでも
修正は可能な範囲ですね。
かなり本格的な勉強会になりそうですね。

[45] mixiユーザー 10月01日 23:10

はじめまして、参加希望いたします。

不完全性定理関係は、計算理論系の教科書で
数学的命題の決定可能性の定義→
チューリング完全な言語で表現される原始帰納的関数の性質＆形式的証明の算術化→
決定不可能な数学的陳述の存在の具体的提示
といった感じの筋書きでその概要を学んだのですが、当方しっかりとしたロジックの本はまだ一冊も読んだことがなく、この勉強会がそのいい機会と思いましたので、参加させていただきますm(_ _)m
romのことが多いかもしれませんが、皆様どうぞよろしくお願いいたします。

その他ではforcingなどの手法も学ぶことが出来たら、と思っております。

[46] mixiユーザー 10月02日 01:42

どうも。サボりがちの庶務係です。

>スズキさん

いらっしゃいませ。
一緒に「数理論理学」を攻略しましょう。
というより、かなり本格的なアタックの経験があるのですね。

----------

水曜日あたりに勉強会トピを立ち上げます。

あと、ひとつ気になったのですが、<A>って、よく考えたらHTMLのハイパーリンクタグですよね。<B>もボールド指定だし。ちょっと危険？

[48] mixiユーザー 10月02日 09:50

ROM中心で参加させていただこうと考えております。

> 数理論理学　共立出版　松本和夫　著
こちらは会社近くの本屋には置いてないです。ちょいと遠出が必要
こちら必須でしょうか？

> 数学基礎論入門　朝倉書店　前原昭二　著
こちらは近くの本屋にありました。

[52] mixiユーザー 10月04日 20:26

それは管理人が立てたものです。
混乱するので削除します。
てなさくさんがトピックを立てて下さい。

これからご教授の程宜しくお願いします。

[54] mixiユーザー 10月04日 22:10

私も入手しました。どちらも在庫1、ぎりぎりセーフと申しましょうか。

[55] mixiユーザー 10月05日 09:59

肉体疲労の庶務係です。

ごめんなさい。
水曜日のお約束でしたが、一日中幕張メッセを歩いたあとに子供の世話などしていたら、疲れて寝てしまいました。

てなさくさん、大変申し訳ありませんが、勉強会トピックの作成をお願いいたします。
m( _ _ )m

とりあえず、「数理論理学」をテキストとする第一期勉強会と、「数学基礎論入門」をテキストとする第二期勉強会に分けたらどうかな、とも思っていましたが、お任せいたします。

すみません。

[60] mixiユーザー 10月09日 03:33

庶務係失格の安敦でございます。

てなさくさん、お手数おかけいたしました。ありがとうございます。

こちらは軽く風邪を引いたり、やはり地元のお祭りに駆り出されたりで、体力的に壊滅しておりました。（で、こんな時間に起き上がってみたり）

明日から問題に取り組んでみようと思いますが、ちょっと心配なのが、答案をアップするタイミング。質疑はいいと思うのですが、自分で考える前に他人の答案が目に飛び込んでしまうというのは、ちょっと自力で考える妨げになります。金曜日以降などといった制限を設けていただければと思うのですが、いかがでしょうか。

[63] mixiユーザー 10月10日 15:20

お久しぶりですごめんなさいm(_ _)m
いきなり設定が変わってしまって画面上の文字が小さくなってしまい
読みにくくてほっといてしまいました