この投稿は最上段に表示される。 『世界が変わったんです』という題の意味が分かりにくかった。 『相対性理論を学びたい人のために』というブログで進んでいた冒険を、このブログの世界に移しますよ。 ということだったのだ。 以上、２０２２年７月２６日、…
現在２０２６年７月２５日２１時００分である。（この投稿は、ほぼ３５３９文字）麻友「太郎さん。電子辞書だけあれば良いのね」若菜「少なくとも、それだけで、アイディアが、引き出せる」結弦「しかも、気になっていることは、いつでも思い出す」 私「今年…
現在２０２６年７月２４日２０時３９分である。麻友「『体とガロア理論』に入る前に、以前の投稿で、書きっぱなしになっていた、いくつかの記事を、整理したいのね」私「まず、ポートのハッピーアートで描いたこの絵」私「これ、何だと思う？」 ハッピーアー…
現在２０２６年７月２４日２時０３分である。 麻友さん。自然推論とブルバキの論理の同値性の証明、どうやって進めようか考えています。まず、ブルバキの方を、もっと進めてから、基礎に拘ろうということになりました。ブルバキの文章自体、分かりにくいとこ…
現在２０２６年７月２２日６時１１分である。（この投稿は、ほぼ１３６５文字）麻友「あら、太郎さん、こんなに早く」私「昨晩、２３時過ぎに寝たが、３時半頃、眼が覚めた。もう睡眠導入剤は抜けているから、外へ行っても大丈夫」結弦「それで、ローソンへ…
現在２０２６年７月２１日１８時１１分である。（この投稿は、ほぼ３９０３文字）麻友「太郎さん。よく大変なことも起こっているのに、ブログなんて、のんきに書いていられるわね」私「のんきに書いている訳ではないけど、今回起こったことを、今書き留めて…
現在２０２６年７月２１日０時３３分である。 麻友さん。一般相対性理論、悪あがきしましたが、続けることは、出来ませんでした。27182818284590452.hatenablog.com ブルバキの論理と、集合論が、自然推論と、BGに同値であることを、丁寧に証明してあげるの…
現在２０２６年７月１９日６時１２分である。 麻友さん。今回は、ここまでだよ。27182818284590452.hatenablog.com おやすみ。 現在２０２６年７月１９日６時１３分である。おしまい。General Relativity (Series in Astronomy and Astrophysics)作者:Vittor…
現在２０２６年７月１９日５時３０分である。麻友「投稿を、改めた後、止まってたわね」私「実際には麻友さん達には、Mathematicaを使えないのに、あの投稿を続けるのは、ほとんど無理。でも、折角訳したところもあるので、そこだけ、後で見せるね」27182818…
現在２０２６年７月１５日２１時２０分である。 麻友さん。２週間ぶりに、投稿を書いたよ。27182818284590452.hatenablog.com 続きを書けるかどうか、時間との勝負です。 現在２０２６年７月１５日２１時２３分である。おしまい。
現在２０２６年７月３日１６時３８分である。（この投稿は、ほぼ２１２７文字）麻友「あれっ、ドラえもんというのは、太郎さんだったはずよ」私「そうだよ」若菜「誰が、ドラえもんと結婚するのですか？」結弦「お母さんってこと？ 太田基裕さんは？」私「ブ…
現在２０２６年７月１日１６時４２分である。（この投稿は、ほぼ２４７５文字）麻友「今日まで、気付いてなかったの？」私「麻友さんの情報を探っても、何も出てこないことが多いから、本当に誰とも付き合ってないのかなと、私も付き合ってもらう可能性、残…
現在２０２６年６月２９日０時０３分である。 麻友さん。こんなに、分からなくて、長引くとは、思っていませんでした。どうぞ。foundations.hatenablog.com現代論理学〔新装版〕作者:安井 邦夫世界思想社Amazon 現在２０２６年６月２９日０時０７分である。…
現在２０２６年６月２２日２１時１１分である。（この投稿は、ほぼ３１１４文字）麻友「太郎さん。それは、汚いわ。太郎さんの好きな、田中芳樹のＳＦ小説・アニメの『銀河英雄伝説』に出て来る、ジークフリード・キルヒアイスが、そんなことする？」私「ま…
現在２０２６年６月２１日１６時５０分である。麻友「現代論理学が、５０回目まで行ったのね」私「後でちょっと修正するかも知れないが、ちょっとここまでで、投稿する」foundations.hatenablog.com若菜「ゆっくり、食べてきて下さい」結弦「パソコンは、持…
現在２０２６年６月１９日２３時２１分である。 麻友さん。論理学のところで、何か気になっていた、 と、 の違い、崖っぷちまで追い詰めました。もう、長くないでしょう」foundations.hatenablog.com おやすみ。 現在２０２６年６月１９日２３時２５分である…
