『数学基礎論』
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
開始行:
[[数学]]
* 書誌情報 [#tdea62db]
前原昭二・竹内外史, 『数学基礎論』, 筑摩書房（ちくま学芸...
* 読書メモ [#ada87717]
** 2023/12/01 [#aba4603b]
第3章まで。
- 公理的集合論の導入。
- 数学的命題の形式化。このあたり卒業研究に絡みそうなので...
** 2023/12/29 [#z36e4de0]
第6章まで。
- 数学的推論の形式化。
- 数学的証明の形式化。
-- 証明図で用いる推論規則について、および証明図の読み方に...
- ゲーデル数。
-- 以前、証明図は下から読むと言われたが、ゲーデル数の定義...
- 分野として好きというか、体質に合っている気がする。
** 2023/12/30 [#q7ada185]
第8章まで＋解説
- 解説で丁寧な指摘がされているように、「ユニーク」なテキ...
- 第7章までの記述がZF集合論をベースにしており、第7章で不...
- 第8章ではゲンツェン流の形式的自然数論が導入される。
** 2024/01/04 [#c1e28d6f]
第12章まで
- 形式化についてよく考えたい。
- 非古典論理
** 2024/01/08 [#d01a5185]
～第15章。了
- 終盤の竹内外史担当パートで一気に議論が深まった。
- 情報科学と基礎論
- Proof Theoryの本を買った。
終了行:
[[数学]]
* 書誌情報 [#tdea62db]
前原昭二・竹内外史, 『数学基礎論』, 筑摩書房（ちくま学芸...
* 読書メモ [#ada87717]
** 2023/12/01 [#aba4603b]
第3章まで。
- 公理的集合論の導入。
- 数学的命題の形式化。このあたり卒業研究に絡みそうなので...
** 2023/12/29 [#z36e4de0]
第6章まで。
- 数学的推論の形式化。
- 数学的証明の形式化。
-- 証明図で用いる推論規則について、および証明図の読み方に...
- ゲーデル数。
-- 以前、証明図は下から読むと言われたが、ゲーデル数の定義...
- 分野として好きというか、体質に合っている気がする。
** 2023/12/30 [#q7ada185]
第8章まで＋解説
- 解説で丁寧な指摘がされているように、「ユニーク」なテキ...
- 第7章までの記述がZF集合論をベースにしており、第7章で不...
- 第8章ではゲンツェン流の形式的自然数論が導入される。
** 2024/01/04 [#c1e28d6f]
第12章まで
- 形式化についてよく考えたい。
- 非古典論理
** 2024/01/08 [#d01a5185]
～第15章。了
- 終盤の竹内外史担当パートで一気に議論が深まった。
- 情報科学と基礎論
- Proof Theoryの本を買った。
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
