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

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

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

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

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

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

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

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

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

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