今日は, 有限の立場での自然数論で, 素数冪について, 定式化をしていました. 素因数分解の存在と一意性を, 有限の立場での自然数論で, 定式化をするのが, 当面の目的です. 中期的な目標は, 第一不完全性定理の, 厳密な定式化です. が, きりのいいところで, …

何人かの人から誤解を受けていたようです。 副業の仕事上、私がオーディオと関わりがあるのは事実です。 しかし、2ch とか 5ch の掲示板の、 オーディオ関連のスレッドに書き込みをしたことは、 私は一度もありません。 人違いですよ。

最近, 仕事の勉強もしているのですが, その中で, 表面粗さという言葉を調べていました. 物体表面を磨いた時に, どのくらい, ざらざらしているのかを見る指標です. ここでは, 私自身の忘備録も兼ねて, 粗さの指標, Ra, Rz についての解説をします. Ra, Rz に…

我々は, 高校数学で, √2 が無理数であることの, 帰謬法による証明を習います. 推論の中核を言葉で書くと, 以下のようになります: 『√2が有理数と仮定して矛盾が出た. 従って, √2 は無理数である.』 しかし, この推論は, 論理的には, 帰謬法ではありません. …

第二不完全性定理が成り立つ形式的体系として, IΣ_1 というものがあると聞きました. 最近の勉強は, IΣ_1 における第二不完全性定理の定式化です. IΣ_1 における自然数論が, 半環の公理を満たすことの証明が, これまたデリケートです. 数学的帰納法の適用の際…