富山は年間を通じて梅雨のようなものなので、必須ですよね。ダニとかも、この時期増えるそうですし。湿気はお肌には良いそうです。すすめ」第6回レジュメの補足です。4枚カード問題これまでのレジュメへのリンクも、ここでまとめておこうと思います。前回の授業後、量化文のド・モルガン則の場合、ヴェン図ではどう表現されるのか、学生に質問されました。量化文の場合、図的には表現が難しいと答えたものの、その場でいろいろ思考錯誤してみましたが、難しく、結局うまく質問に答えることができず。今日でようやく第4回目のレジュメのところまで終わりました。量化の規則に入って、一気に難しさを感じているようです。それにしても、もう少し、宿題をがんばってやってきてくれると、うれしいのですが・・・。今日の「論理的思考のすすめ」の授業は、第4回の⇒-除去まで進みました。排他的選言を記号化したり、推論規則を覚えたりしました。カンタンな例題をもとに証明の仕方を説明し、いくつか練習問題に取り組みました。世間はGWのようですが・・・。天気がすごく良いので、自転車で遠出したいのですが・・・。今日は、「哲学のすすめ」および「論理的思考のすすめ」第3回目の授業をしました。「哲学のすすめ」は科学実在論の側につくか、反実在論(道具主義)の側につくかで、アンケートをとったところ、きれいに半々に割れました。今夏、タイプ理論についてのサーベイをみんなで書きましたが、KURENAIよりダウンロードできるようになりました。科学史ユンギウスは、リューベックに生まれ、ハンブルクに死んだ、医学者・化学者である。ロストックで学び、ギーセンやアウグスブルクで数学を教えた。ロストックとパドアでは医学を学んだ。最初はスコラ哲学を学んだが、後に英国の哲学に転じた。ホームページ(建設中)を立ちあげました。https://sites.google.com/site/histphilomath/数学史や数学の哲学の古典や研究書の読書会、定期的な研究発表の場にしたいと考えています。魅力的な企画を募集してます。2011-06-01タイプ理論。京都大学の先輩の久木田水生さんと後輩の伊藤遼くんとで、「タイプ理論の起源と発展」について、哲学の観点から、わかりやすいサーベイを書きました。予備知識なしで読めるようにしたかったのですが、さすがに、述語論理の記法の読み方くらいは、前提させて...タイプ理論。論理学なんかすごいものを発見してしまいました(今頃になって)。Millの全集がダウンロードできてしまいます。VIIIに含まれています。[Urintuitio...Urintuition2011-03-06タイプ理論関連リンク集。Mathem...タイプ理論関連リンク集。2011-02-27タイプ理論関連。一日、タイプ理論研究会のレジュメ準備。近藤氏のブログが可述的定義/非可述的定義の歴史を整理してくれており、参考になった。【リン...タイプ理論関連。数学の原理と集合の問題――われわれは、リセ・ディジョンの教師、リシャール氏から、次の手紙を拝受した。1905年3月30日号において、本誌*1は集合の一般的理論にお...リシャールのパラドクスプロフィールid:theseus想像力ノ迷宮ヘヨウコソ...。池田真治のブログです。日々の研究のよどみ、そこに浮かぶ泡沫を垂れ流し。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。