現在２０２４年４月１０日２０時１１分である。（この投稿は、ほぼ１４１２文字）麻友「随分、久し振りねえ。『現代論理学』なんて、現代論理学〔新装版〕作者:安井 邦夫世界思想社Amazon去年の終わりくらい以来よ」私「余りに難しい本ならともかく、自分が…
現在２０２４年２月１１日２２時０５分である。（この投稿は、ほぼ２４０１文字）～ １＋１ ～（『女の人のところへ来たドラえもん』というブログの『１から始める数学（その９）』という投稿を改訂する。元の投稿は削除していない） 現在２０１６年５月２１…
現在２０２４年２月５日２２時０２分である。（この投稿は、ほぼ３６２５文字）私「『１から始める数学（その８）（改）』を、作るに当たって、元の、mayuandtaro.hatenablog.comを、大幅に削除する必要があった。唯一、 ＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊…
現在２０２４年２月５日２１時３２分である。（この投稿は、ほぼ１１０２文字） ー１＋１を作るためにー（『女の人のところへ来たドラえもん』というブログの『１から始める数学（その８）』という投稿を改訂する。大幅に削除したが、削除した文面は、こちら…
現在２０２３年１２月１６日５時４３分である。（この投稿は、ほぼ２９２０文字） ー１を作るー（『女の人のところへ来たドラえもん』というブログの『１から始める数学（その７）』という投稿を改訂する） 現在２０１６年５月１８日２１時５８分である。麻…
現在２０２３年１２月１４日２２時０１分である。（この投稿は、ほぼ１３０２文字） 同値という分かり難いことばについて、今日、まとまった、現在での結論を、述べておく。 であるから、 と と、 とは、全く同じものである。従って、意味の分かり易い、 に…
現在２０２３年１１月２６日１３時４１分である。（この投稿は、ほぼ２２４１文字） ー機嫌の良い麻友さんー（『女の人のところへ来たドラえもん』というブログの『１から始める数学（その６）』という投稿を改訂する） 現在２０１６年５月１５日２１時４２…
現在２０２３年１１月２６日１３時０１分である。（この投稿は、ほぼ２３２０文字） ーこのブログの危うさー（『女の人のところへ来たドラえもん』というブログの『１から始める数学（その５）』を、要約する積もりが、全文引用） 現在２０１６年５月１５日…
現在２０２３年１１月２５日１５時３１分である。（この投稿は、ほぼ１９０９文字） ー言葉を覚えるより前からー（『女の人のところへ来たドラえもん』というブログの『１から始める数学（その４）』という投稿を要約する） 現在２０１６年５月１３日２２時…
現在２０２３年１１月２５日１４時１３分である。（この投稿は、ほぼ４１５文字） ーこのように、分量がわずかの日もありましたー（『女の人のところへ来たドラえもん』のブログの『１から始める数学（その３）』という投稿を、要約する） 現在２０１６年５…
現在２０２３年１１月２５日１３時４５分である。（この投稿は、ほぼ７５８文字） ーブログのＵＲＬをツイートしていたのでしたー（『女の人のところへ来たドラえもん』のブログの『１から始める数学（その２）』という投稿を、要約する） 現在２０１６年５…
現在２０２３年１１月２５日１３時１９分である。（この投稿は、ほぼ５５８文字） ー１から始める数学は、こうして始まったー （『女の人のところへ来たドラえもん』のブログの『１から始める数学』という投稿を、要約する。削除した部分は、元の投稿には残…
現在２０２３年１１月２４日２１時１２分である。（この投稿は、ほぼ１０２７文字） ー自信を、持つって大切ー（『女の人のところへ来たドラえもん』のブログの『たのしい算数』という投稿を、要約したものである） 私「アハハ、いつも言ってるように、私は…
現在２０２３年１１月１５日１６時２３分である。（この投稿は、ほぼ４２８５文字）麻友「随分、早い時間に始めたわね」私「問題が、解決したんだ」若菜・結弦「うふっ」 麻友「どの問題？」私「麻友さんが、『 と、 って、どう使い分けるのですか？』と、聞…
現在２０２３年１１月１４日２２時１４分である。（この投稿は、ほぼ７８４文字）麻友「ねえ、ねえ、若菜、結弦。太郎さんには、内緒よ」若菜「どうしたんですか？」麻友「太郎さんって、いつも、数学のことは、何でも分かっているみたいに、威張っているじ…
現在2023年11月9日18時07分である。（この投稿は、ほぼ２４０１文字）麻友「昨日と一昨日のドラえもんのブログの投稿は、本来このブログのために、書いていたのよね」私「私の父へのメッセージに、なってしまった」若菜「でも、お父さん。女の人のドレスなん…
現在２０２３年１０月１日２０時１３分である。 『１から始める麻友と私の算数・数学』の 化が、進んでいないので、投稿ごと、並べることとした。 ～ゼミナールが始まるまで～ これは何のためのブログかfoundations.hatenablog.com １の定義foundations.hate…
現在２０２２年１２月１５日１１時２６分である。麻友「もうちょっと、第Ⅲ章を、見せてよ」私「もちろん、そのつもりだ」 親切 第一不完全性定理 親切 若菜「１＋１が、２だ。ということにも、証明が付いてるとか」私「その話を、しよう。まず、昨日の公理。…
現在２０２２年１２月１４日２０時３７分である。（この投稿は、ほぼ１２４６文字） ノート 形式的数論 ノート 麻友「太郎さんの、『現代論理学』のノート、他のは A4 なのに、それだけ、B5 なのね」私「開いて、見てごらん」麻友「砂、被ったみたい。最初の…
現在２０２２年１２月８日２２時０３分である。（この投稿は、ほぼ３１３６文字）麻友「今日も、まだ、鬱から抜け出せないの？」私「どうしても、本調子になれない」若菜「宝塚の自然数の乗法の定義は、何度か、変えたのですよね」私「そう。一応、どう決着…
現在２０２２年１１月２３日１９時５８分である。（この投稿は、ほぼ１４８９１文字）麻友「私の知っていること、全部？」私「数学に関することだけでいいから」 既に知っていること 使える武器 数学基礎論の登竜門 １から始める数学 １０より大きい数 自然…
現在２０２２年１１月２２日１６時３６分である。（この投稿は、ほぼ４５４８文字） 不完全性定理 スキャンできなかった スマホ 一番安い スマホに求めるもの 出逢いの続き 目次 口頭試問 意味論・構文論 ０を含む自然数 不完全性定理 麻友「太郎さん、本当…
現在２０２２年１１月２１日２１時１３分である。（この投稿は、ほぼ２００１文字）麻友「太郎さん。ああいう、閃きというのは、なが～く考え抜かないと、得られないものなのかしら」私「昨日の研究ノートの、これだろう。 ＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊…
直観主義論理は、差し当たって、考えなくていいのか。 ハーパーの『生化学』原書では第３２版が、出ている。
推論が正しいとは、どういうことか、食い下がります。 麻友さん。大根のかつらむきってできますか？ この、コンパス！
『現代論理学』が、分かるかどうかの試金石です。 トートロジーとは、何だったか？ 女心と秋の空かな？ こんな仕事、して欲しくない。
３回目のワクチン接種に、行きました。 私の小学校から高校の、数学と物理学の読書遍歴を書きました。
トートロジーという概念を、導入します。論理的に正しいとは、どういうことでしょう。
整数の引き算を、定義します。 同値類を使う意味も、確認します。
負の整数の足し算を行うため、座標によるゼロや負の数の定義を振り返ります。特に座標が等しければ、成分が等しいことを証明しました。
