はてブログ

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



タグ ヒルベルト

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

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

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

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

ナチス教育相「ユダヤ人の影響がなくなったゲッチンゲン数学研究所はどうかね?」 ヒルベルト「もはやゲッチンゲンに数学はなくなってしまったのです」の出典 - しいたげられたしいた

2020/10/10 このエントリーをはてなブックマークに追加 147 users Instapaper Pocket Tweet Facebook Share Evernote Clip 閣下 出典 人事介入 数学 ツイッター

期間限定的に、ツイッターの「自己紹介」欄に次のように表示してみた。 ヒトラー内閣教育相ベルンハルト・ルスト「ユダヤ人の影響がなくなったゲッチンゲン数学研究所はどうかね?」 ヒルベルト「閣下、もはやゲッチンゲンに数学はなくなってしまったのです」 #日本学術会議の人事介入に抗議します ダフィット・ヒルベル... 続きを読む

Hilbert<ヒルベルト> - 世界で一番ピュアなプログラミング言語 -

2014/11/18 このエントリーをはてなブックマークに追加 156 users Instapaper Pocket Tweet Facebook Share Evernote Clip Hilbert プログラミング言語 世界

有限の立場 Hilbertは数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し、実数学の諸概念を離散世界の抽象物に飛ばす機構を目指した言語です. 続きを読む

世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita

2014/11/18 このエントリーをはてなブックマークに追加 240 users Instapaper Pocket Tweet Facebook Share Evernote Clip Math gem Qiita Rails Ruby

世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った.Ruby(5443)Gem(216)Rails(3016)math(30)統計学(14)gogotanakaが2014/11/18に投稿Gistを開く編集リクエストを作成する あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚い... 続きを読む

7題難問

2005/03/09 このエントリーをはてなブックマークに追加 52 users Instapaper Pocket Tweet Facebook Share Evernote Clip 数学 反響 年会 パリ クレイ数学研究所

7題難問ってなんですか? 1900年にパリで行われた国際数学者会議で、ヒルベルトは23の問題を提起しました。彼がこの具体的な問題を提示したことで、大きな反響が生まれ、その後の数学の発展に少なからず影響を与えたのでした。 それから100年を経た2000年の5月24日、同じパリで開かれたクレイ数学研究所の年会で、「ミレニアム賞問題」7問が発表されました。発表されたのは、 1.P=NP?問題  2.ホッ... 続きを読む

 
(1 - 5 / 5件)