現在２０２２年１２月１５日１１時２６分である。麻友「もうちょっと、第Ⅲ章を、見せてよ」私「もちろん、そのつもりだ」 親切 第一不完全性定理 親切 若菜「１＋１が、２だ。ということにも、証明が付いてるとか」私「その話を、しよう。まず、昨日の公理。…

現在２０２２年１２月１４日２０時３７分である。（この投稿は、ほぼ１２４６文字） ノート 形式的数論 ノート 麻友「太郎さんの、『現代論理学』のノート、他のは A4 なのに、それだけ、B5 なのね」私「開いて、見てごらん」麻友「砂、被ったみたい。最初の…

現在２０２２年１２月８日２２時０３分である。（この投稿は、ほぼ３１３６文字）麻友「今日も、まだ、鬱から抜け出せないの？」私「どうしても、本調子になれない」若菜「宝塚の自然数の乗法の定義は、何度か、変えたのですよね」私「そう。一応、どう決着…

現在２０２２年１１月２３日１９時５８分である。（この投稿は、ほぼ１４８９１文字）麻友「私の知っていること、全部？」私「数学に関することだけでいいから」 既に知っていること 使える武器 数学基礎論の登竜門 １から始める数学 １０より大きい数 自然…

現在２０２２年１１月２２日１６時３６分である。（この投稿は、ほぼ４５４８文字） 不完全性定理 スキャンできなかった スマホ 一番安い スマホに求めるもの 出逢いの続き 目次 口頭試問 意味論・構文論 ０を含む自然数 不完全性定理 麻友「太郎さん、本当…

現在２０２２年１１月２１日２１時１３分である。（この投稿は、ほぼ２００１文字）麻友「太郎さん。ああいう、閃きというのは、なが～く考え抜かないと、得られないものなのかしら」私「昨日の研究ノートの、これだろう。 ＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊…

直観主義論理は、差し当たって、考えなくていいのか。 ハーパーの『生化学』原書では第３２版が、出ている。

推論が正しいとは、どういうことか、食い下がります。 麻友さん。大根のかつらむきってできますか？ この、コンパス！

『現代論理学』が、分かるかどうかの試金石です。 トートロジーとは、何だったか？ 女心と秋の空かな？ こんな仕事、して欲しくない。

３回目のワクチン接種に、行きました。 私の小学校から高校の、数学と物理学の読書遍歴を書きました。

トートロジーという概念を、導入します。論理的に正しいとは、どういうことでしょう。

整数の引き算を、定義します。 同値類を使う意味も、確認します。

負の整数の足し算を行うため、座標によるゼロや負の数の定義を振り返ります。特に座標が等しければ、成分が等しいことを証明しました。

集合としての整数というものの、説明を続けます。その過程で、『ＡＫＢ４８中学数学』の、問題を解き始めます。等号公理が、なぜ必要なのかも書きました。

整数を考察する過程で、今までの等号が、役に立たなくなります。どうするか？思い切って、集合論を丁寧に説明し始めました。まだ、記号論理学は用いず、素朴集合論のようですが、しっかりと公理的集合論を説明しています。自然数はどうなるのか？

３以上の自然数を、数字で表せるよう、定義します。 まだ、定義していないけど、例では使用する。という完璧主義でなく、例で使うのなら、ある程度は、定義を示そうという立場で、進むことにします。 位取り記数法の説明もします。

女の人のところへ来たドラえもんのブログで、『他ブログ更新情報』が連発していたのを、どういう記事か、内容が見られる方法を、考案しました。『現代論理学』は、進んでいません。

現在２０２２年４月４日２０時１５分である。（この投稿は、ほぼ５５７２文字）麻友「今日は、ポートへ、行ってたのね」私「晴れ男の私が、降られることは、珍しいのだが、明日のフラワーアレンジメントには、あまり出たくないので、今日と明後日を選ぶこと…

現在２０２２年４月３日１９時５７分である。私「一応、麻友さんの誕生日の次の日も、投稿を書いていたことが、示された」麻友「自然数の話、終わらないわね」私「自然数だけで、数学は、日が暮れるんだ。ちょっと、面白いものを、見せてあげよう」An Outlin…

現在２０２２年４月３日１８時５５分である。（この投稿は、ほぼ１５９３文字）麻友「『０から始める数学』？」私「先月の麻友さんの誕生日の次の日、『０から始める数学』の中で、書き換えたいと思っていた部分の修正案を、書いていた。その後、ブルバキに…

現在２０２２年４月２日２０時２２分である。（この投稿は、ほぼ８７０文字）麻友「今日は、マック？」私「新聞買った後、マックにいた」若菜「ブルバキを、読んでいたみたいですが」私「ブルバキの第Ⅰ章の最後に、付録が付いているんだ。「項および論理式の…

現在２０２２年２月２２日２１時０６分である。（この投稿は、ほぼ１２７６文字）私「今日のこの投稿を、書いているうちに、２０２２年２月２２日２２時２２分になるね」麻友「２が、１０個も並ぶのね。それより、プリン君のシャーペンは、来た？」私「ほら…