シラバス参照
|
シラバス参照
|
| 講義概要/Course Information |
| 科目基礎情報/General Information |
| 授業科目名 /Course title (Japanese) |
数学の哲学 | ||
|---|---|---|---|
| 英文授業科目名 /Course title (English) |
Philosophy of Mathematics | ||
| 科目番号 /Code |
HSS502z | ||
| 開講年度 /Academic year |
2019年度 | 開講年次 /Year offered |
3/4 |
| 開講学期 /Semester(s) offered |
前学期 | 開講コース・課程 /Faculty offering the course |
情報理工学域 |
| 授業の方法 /Teaching method |
講義 | 単位数 /Credits |
2 |
| 科目区分 /Category |
総合文化科目 | ||
| 開講類・専攻 /Cluster/Department |
情報理工学域 | ||
| 担当教員名 /Lecturer(s) |
武笠 行雄 | ||
| 居室 /Office |
東1-804 | ||
| 公開E-mail |
mukasa@bunka.uec.ac.jp | ||
| 授業関連Webページ /Course website |
なし | ||
| 更新日 /Last update |
2019/03/12 08:08:17 | 更新状況 /Update status |
公開中 /now open to public |
| 講義情報/Course Description |
| 主題および 達成目標（2,000文字以内） /Themes and goals（up to 2,000 letters） |
(a) 主題：１９世紀末にカントールの素朴集合論の中に見出された矛盾（パラドクス）とそれに伴う数学の危機（おそらく、数学を使うすべての科学の危機）に対処すべく提案された三種類の解決（ツェルメロ－フレンケルの公理的集合論、ラッセルのタイプ理論、ブラウアーの直観主義数学）を概観し、公理化された数学の無矛盾性を証明しようとするいわゆる「ヒルベルトのプログラム」とその限界を証明したゲーデルの不完全性定理の意味を検討する。 (b) 達成目標：２０世紀前半に数学基礎論が到達した地点を歴史的に確認すること。学生 の創意工夫の入る余地は殆どない。 |
|---|---|
| 前もって履修 しておくべき科目（1,000文字以内） /Prerequisites（up to 1,000 letters） |
論理学（理工系教養科目） |
| 前もって履修しておくこ とが望ましい科目（1,000文字以内） /Recommended prerequisites and preparation（up to 1,000 letters） |
なし（数学に親しんでいることが望ましい） |
| 教科書等（1,000文字以内） /Course textbooks and materials（up to 1,000 letters） |
教科書：なし。参考資料は講義中に適宜配布します。 参考書：吉田洋一『数学序説』（培風館） |
| 授業内容と その進め方（2,000文字以内） /Course outline and weekly schedule（up to 2,000 letters） |
(a) 授業内容 第１回：ガイダンス（実数の連続性と微積分学） 第２回：Dedekindの実数論１（実数概念の分析） 第３回：Dedekindの実数論２（有利数直線の切断） 第４回：Cantorの素朴集合論１（自然数の定義） 第５回：Cantorの素朴集合論２（自然数無限と実数無限） 第６回：Russellのパラドクスと数学の危機 第７回：Russellのタイプ理論 第８回：Brouwerの直観主義数学と様々な変種 第９回：公理的集合論ＺＦ（１） 第１０回：公理的集合論ＺＦ（２） 第１１回：幾何学の公理系の無矛盾性，標準論理の公理系の無矛盾性 第１２回：Hilbertのプログラムとメタ数学の構想 第１３回：Goedelの不完全性定理と人間の数学の限界（１） 第１４回：Goedelの不完全性定理と人間の数学の限界（２） (b) 授業の進め方： 配付資料を使いながら数学基礎論の歴史的展開を追い、２０世紀の知性が到達した地点を知識内容として確保する。 |
| 実務経験を活かした 授業内容 (実務経験内容も含む) /Course content utilizing practical experience |
|
| 授業時間外の学習 （予習・復習等）（1,000文字以内） /Preparation and review outside class（up to 1,000 letters） |
各自で工夫して下さい。 |
| 成績評価方法 および評価基準 （最低達成基準を含む） （1,000文字以内） /Evaluation and grading （up to 1,000 letters） |
(a) 評価方法： 期末試験 1100% (b) 評価基準： 最低達成基準：講義で取り上げた数学基礎論の歴史的諸問題とその意味について簡単に 説明できることとする。 |
| オフィスアワー： 授業相談（1,000文字以内） /Office hours（up to 1,000 letters） |
適宜相談に応じるが、メイルで事前に予約を取ること。 |
| 学生へのメッセージ（1,000文字以内） /Message for students（up to 1,000 letters） |
数学の限界に関わる諸問題を見ることによって、人間知性の限界に挑んだ人々の苦闘に思いを致して欲しい。 |
| その他 /Others |
なし。 |
| キーワード /Keywords |
Dedekindの切断，Cantorの素朴集合論，Russellのパラドクス，公理的集合論ＺＦ，タイプ理論，直観主義数学，公理系の無矛盾性，メタ数学，Goedelの不完全性定理 |