はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ 形式化

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 1 / 1件)
 

哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..

2024/02/16 このエントリーをはてなブックマークに追加 135 users Instapaper Pocket Tweet Facebook Share Evernote Clip 言及 数学 哲学 数学以外 ヒルベルト

哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多く... 続きを読む

 
(1 - 1 / 1件)