人気の記事一覧
メモ:大規模言語モデルが論理的推論を学習できない直感的証明
書記の読書記録#1064『数学基礎論入門 (基礎数学シリーズ)』
数学(2023/10/2):今まで作って来た数学読書要約の図を整理していたが、一里塚までは行ったので、おめでとう、という気持ち_1
日記(2023/10/3):今まで作って来た数学読書要約の図を整理していたが、一里塚までは行ったので、おめでとう、という気持ち_2
待望の本格専門書!――近刊『モデル理論』はじめに公開
書記の読書記録#898『数学基礎論 (ちくま学芸文庫)』
数学はなんの役に立つなんか聞くんじゃねぇ ~数式は言葉編(1)~
【内容一部公開】15歳でハーバード大学に入学した天才が語る、数学の本質がわかるストーリー――近刊『数式なしで語る数学』
日記(2023/8/11):でかいミッションが終わって次のミッションの終わりがはるか先になっている時特有の虚無感
日記(2022/01/21):『キューネン数学基礎論講義』要約完了
chatGPTによる不完全性定理に関する解説を添削してみる
数学(2022/7/16):キューネン本2冊についての記事_15.ZFC集合論の公理のリスト_13(中間成果物:遺伝的有限集合全体の集合)
数学(2022/7/1):キューネン本2冊についての記事_12.ZFC集合論の公理のリスト_10(中間生成物:集合一般における基数)
数学(2022/5/26):キューネン本2冊についての記事_6.ZFC集合論の公理のリスト_4(中間生成物:順序数としての自然数)
数学(2022/6/1):キューネン本2冊についての記事_X.記事再編のお詫び
デカルト Descartes 『省察 』 神の存在証明