微分解析学は超標準の名にふさわしい特徴を有しております

従来の有限主義は「有限文字数による定義が可能」というモノでしたけど、さらに徹底された有限主義では「有限時間内に終了する計算」をモットーとします・・。 . . . 本文を読む

無限を解くカギは無理数は循環しない無限小数だということにあり

ま、最初から無限だと分かっているなら実無限だと考えざるを得ないっしょ？？ . . . 本文を読む

可算無限と非可算無限とは集合の大きさの違いでは無かった

ただし、内部集合論みたいにωが有限数だということだけはございません・・。 . . . 本文を読む

完全な有限主義の徹底は近似公式の導出を容易にする

一回の割り算によるｎ次導関数の導出は超強力な手法 . . . 本文を読む

微分解析学の基礎を構築するには・・・

数学基礎論をすべて塗り返す必要があるでしょう！ . . . 本文を読む

微分解析学は人類数学史上初の超標準解析学なのです

non-standard から supper standardへ・・・。 . . . 本文を読む

世界初の超標準解析学なのですが、

ログアウトされたりして情報の一部分が消失いたしました！ やはり、個人的に妬くことを合理化する良からぬ風習のせいでしょう・・・。 . . . 本文を読む

極限をとるのではなく標準部分を取り出せ（超準解析の計算）

ＵＦＴにおいては《流し撮り法》によって合理化されます・・。 . . . 本文を読む

数学体系の無矛盾性は（じつは）より大きな数学体系の無矛盾性を導く（？）

そおいえば・・、それだけだったか！ . . . 本文を読む

自然数の無矛盾性は超現順序数を以てしても証明できない？

やれやれ、本当なのかね？ . . . 本文を読む

ボソンは時間逆行してもエネルギーは正のままらしい

時間を逆行して生まれたユニバースボソンにとって時間を順行する反トップクォークはエネルギーは負の扱いになるのでは？ . . . 本文を読む

旧定義の山野命題を再検証すれば・・

前日の投稿と合わせて「数学は完全であるはずだ」ということになります・・。 . . . 本文を読む

「ゲーデルの論証は間違っていた！」と、なんぼなんでも思う話なのです・・

ナニ、簡単な話なんじゃよ・・、ホレ！ . . . 本文を読む

【無矛盾公理】はどうしても必要です・・

ほぼ結論じゃないかな？ . . . 本文を読む

《記号法変更のお知らせ》

山野命題にだけ使える記号に変えます。 . . . 本文を読む