まいり
サイト継続の為ご支援お願いします m(_ _)m 詳細
[ 2023.04.02 ] ログイン機能APPLEを追加しました。
使い方・仕様 | ログインページ

竹内外史

たけうち がいし
1926 - 2017
数学者 論理学者
2020.04.27 ID:590094
広瀬
竹内先生の偉大さを知ってる日本人が何人いるでしょうか。
本当に偉い人は誰も知らないものですね。
昨日ペアノ算術系は矛盾してないのか考えていましたが、
竹内先生が実数論の無矛盾性の証明があるとのことの証明が
あると知り納得。
竹内の基本予想はおそらくミレニアム問題にしても良いような
予想なのでしょう。
2017.05.13 ID:183369
お悔やみ申し上げます
ご支援をお願いいたしますm(_ _)m
Amazon ←のリンク、↑のバナー、又はお供えリンク経由で商品をご購入いただくとこのサイトに紹介料が支払われる仕組みになっています。ご購入者様のお支払い額は増えません(Amazonが紹介料を負担)ご支援いただけますと幸いです。
詳細はこちら
ログインするとサービスがご利用いただけます。
ログインページ