竹内外史

現在2023年12月8日15時06分である。（この投稿は、他の投稿を引用しているので、文字数は分かりません） 古典論理の他に、直観主義論理というものを知り、その入口まで行き、数学をふたつ持って、見方が広がった話の連載。 ・ を確認する方法を持っている27182818284590452.hatenablog.com ・太郎さんが、本当に、目の前で、気になったところを、全部チェックしながら、数学を作っているの、感じたわ27182818284590452.hatenablog.com ・『 導入-仮定除去』？27182818284590452.hatenablog.com ・271828182845…

数学基礎論。 数学は物理から見ると病的なほど厳密さや無矛盾にこだわるような気がします。そんな数学も数学基礎論では病的なこだわりを捨てました。 事のはじまりは、良くわからないんですが、たぶん、無限級数の収束のような気がします。何が起きたかというと、ほぼ全員で予想外の間違いをした、という事が起きました。 有限の個数の数の足し算では、足し合わせていくのは、どの数から始めて、どんな順番で足し上げて行っても、結果は同じです。しかし、無限の個数の数を足す(無限級数)では、順番によって違う値になる、という発見があり、その事が見つかったとき、多くの数学者は自分がやっていた計算を見直した(パニックだったらしい)…

現在２０２３年８月１１日６時１０分である。（この投稿は、ほぼ４８０７文字）麻友「昨日、眠くて書けなかったことね」私「翌日になっても、覚えている。睡眠導入剤を飲んで、眠くなったら、無理して書かず、寝てしまって、大丈夫なようだ」若菜「『層・圏・トポス』のノートp.5 を、進んでいましたが」 私「竹内外史さんが、層・圏・トポス―現代的集合像を求めて作者:竹内 外史日本評論社Amazonを、書いた動機を、読んでいた。 『層・圏・トポス』のノートp.6 層とトポスとは、現代的な集合概念の拡張。 正確に言うと、我々の論理を 古典論理 直観論理と、移行したときに、我々の集合概念が自然にうける変化をうけて出て…

現在２０２３年８月１０日２０時５２分である。（この投稿は、ほぼ７８０文字）麻友「ＩＵＴに、第２球を投げたのね。どんなことを、したの？」私「層が、必要ということで、どの本にしようか、迷ったんだけど、著者に愛着がある、層・圏・トポス―現代的集合像を求めて作者:竹内 外史日本評論社Amazonを、選んだ」若菜「お父さん、竹内外史さんの本、沢山持ってますね」私「上のも含めて、復刊 証明論入門作者:竹内 外史,八杉 満利子共立出版Amazon直観主義的集合論作者:竹内外史紀伊國屋書店Amazon数学的世界観―現代数学の思想と展望作者:竹内 外史紀伊國屋書店Amazon新装版 集合とはなにか―はじめて学ぶ…