まいり

竹内外史

たけうち がいし
1926 - 2017
数学者 論理学者
メッセージ
あと500文字入力できます
(以下未入力でも投稿できます)
お名前
削除キー
テストページ で投稿のテストが出来ます。
ご利用の際には 使い方・ルール(09/17) をご確認ください
メッセージをクリックでお名前と投稿日時を表示します
2020.04.27 ID:590094
広瀬
竹内先生の偉大さを知ってる日本人が何人いるでしょうか。
本当に偉い人は誰も知らないものですね。
昨日ペアノ算術系は矛盾してないのか考えていましたが、
竹内先生が実数論の無矛盾性の証明があるとのことの証明が
あると知り納得。
竹内の基本予想はおそらくミレニアム問題にしても良いような
予想なのでしょう。
2017.05.13 ID:183369
お悔やみ申し上げます
2017年05月10日に亡くなった人