「#数学基礎論」の人気タグ記事一覧｜note ――つくる、つながる、とどける。

[activity-report] 2024年4月活動報告

cleemy desu wayo

3週間前

10

メモ：大規模言語モデルが論理的推論を学習できない直感的証明

6か月前

4

レーモン・クノー『きびしい冬』：ゴダールとの接点としての「形式主義的抽象性」

年間読書人

1か月前

22

「ゲーデルの不完全性定理」をPythonスクリプトで表現しました

さとし (satoshi)

3か月前

1

命題論理入門　完全性定理・コンパクト性定理への道【PDFあり】

ソフィア・ヒナコフスカヤ

6か月前

2

書記の読書記録#1064『数学基礎論入門 (基礎数学シリーズ)』

10か月前

2

数学（2023/10/2）:今まで作って来た数学読書要約の図を整理していたが、一里塚までは行ったので、おめでとう、という気持ち_1

10か月前

4

日記（2023/10/3）:今まで作って来た数学読書要約の図を整理していたが、一里塚までは行ったので、おめでとう、という気持ち_2

10か月前

4

数学はなんの役に立つなんか聞くんじゃねぇ ~数式は言葉編(1)~

1年前

37

待望の本格専門書！――近刊『モデル理論』はじめに公開

1年前

15

【短歌とエセー】令和5年6月9日

Soh Igarashi / 五十嵐創

1年前

19

書記の読書記録#898『数学基礎論 (ちくま学芸文庫)』

1年前

2

【内容一部公開】15歳でハーバード大学に入学した天才が語る、数学の本質がわかるストーリー――近刊『数式なしで語る数学』

1年前

6

物理学と実在

1年前

1

日記（2023/8/11）：でかいミッションが終わって次のミッションの終わりがはるか先になっている時特有の虚無感

1年前

2

日記（2022/01/21）:『キューネン数学基礎論講義』要約完了

1年前

3

chatGPTによる不完全性定理に関する解説を添削してみる

¥100

かわいしん@論計舎

1年前

2

日記（2023/1/1）謹賀新年

1年前

1

数学基礎論と複雑系

2年前

2

数学（2022/7/16）:キューネン本2冊についての記事_15.ZFC集合論の公理のリスト_13（中間成果物:遺伝的有限集合全体の集合）

2年前

9

数学（2022/7/1）:キューネン本2冊についての記事_12.ZFC集合論の公理のリスト_10（中間生成物:集合一般における基数）

2年前

7

数学（2022/5/26）:キューネン本2冊についての記事_6.ZFC集合論の公理のリスト_4（中間生成物:順序数としての自然数）

2年前

6

数学（2022/6/1）:キューネン本2冊についての記事_X.記事再編のお詫び

2年前

3

デカルト Descartes 『省察』神の存在証明

永澤護 /dharmazeroalpha

2年前

5

学問の健康とは何か

2年前

5

数学（2022/5/16）:キューネン本2冊についての記事_4.ZFC集合論の公理のリスト_2（空集合公理・対公理・和集合公理・冪集合公理、中間生成物:（集合論的な）関係）

2年前

2

数学（2022/6/26）:キューネン本2冊についての記事_11.ZFC集合論の公理のリスト_9（選択公理と、そのバリエーションとしての整列可能定理と、選択公理と等価である命題全般）

2年前

2

数学（2022/6/21）:キューネン本2冊についての記事_10.ZFC集合論の公理のリスト_8（基礎公理と、そのバリエーションとしての「数学上は万有クラスが累積階層全体の真クラスに等しいとする主張」と、基礎公理と等価である命題全般）

2年前

2

数学（2022/6/11）:キューネン本2冊についての記事_8.ZFC集合論の公理のリスト_6（中間生成物:形式言語）

2年前

3

数学（2022/6/6）:キューネン本2冊についての記事_7.ZFC集合論の公理のリスト_5（無限公理、中間生成物:順序数としての自然数全体の集合）

2年前

2

数学（2022/5/6）:キューネン本2冊についての記事_2.ZFC集合論について論じる前の下準備（一階述語論理、直観主義論理、（厳格な）構成主義的数学）

2年前

2

デカルト＜第三省察＞を巡る試論＜私＞に絶対的に先立つ差異の受容

永澤護 /dharmazeroalpha

2年前

3

数学（2022/5/11）:キューネン本2冊についての記事_3.ZFC集合論の公理のリスト_1（集合存在公理・置換公理図式・内包公理図式・外延性公理、中間生成物:集合）

2年前

2

数学（2022/7/6）:キューネン本2冊についての記事_13.ZFC集合論の公理のリスト_11（中間生成物:有限基数より大きい基数）

2年前

1

数学（2022/6/15_2）:キューネン本2冊についての記事_9.ZFC集合論の公理のリスト_7（中間生成物:基数としての自然数）

2年前

1

数学（2022/5/21）:キューネン本2冊についての記事_5.ZFC集合論の公理のリスト_3（中間生成物:整列可能集合）

2年前

1

日記（2022/2/6）長い記事を終えたので久々に肩の力を抜いて近況を書く_2（この回は日記というか読書）

2年前

2

高橋昌一郎『フォン・ノイマンの哲学　人間のフリをした悪魔』：　フォン・ノイマンという〈善悪の彼岸〉

年間読書人

3年前

13

【数理エッセイ（３）】　『無限より大きい無限とは』

数理落語家　自然対数乃亭吟遊

4年前

4

数学基礎論論争は結局どうなったか

4年前

22

『数学-その形式と機能』を読んで

4年前

19

ゲーデルの不完全性定理

3年前

2

数学の基礎概念の１つ！表逆裏対偶！

ながさわ☆かつひろ＠種をまき、育て、実りの時期、何回も🍵

4年前

8

数学の基礎概念！表逆裏対偶の応用！

ながさわ☆かつひろ＠種をまき、育て、実りの時期、何回も🍵

4年前

6

著者が語る：『現代思想』総特集における３つの巻頭論文！

高橋昌一郎

4年前

19

ゲーデルの不完全性定理入門

4年前

5

2020/05/23

4年前

2

『逆数学』（ジョン・スティルウェル著、田中一之監訳、川辺治之訳）【監訳者解説公開】

5年前

7

1/2回微分や1/3次元など、概念が自然数から分数に拡張されるものがある。だから私はアレフ1.5等もあるべきだと考え、連続体仮説を否定しようと、若い頃は数学基礎論に夢中になった。生憎現在の公理系ではその否定・肯定いずれも証明できない事が証明されている。

数理落語家　自然対数乃亭吟遊

1か月前

求む: 新井『数学基礎論』の勉強会メンバー

3か月前