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

2014/11/18 240 users Math gem Qiita Rails Ruby

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

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

2014/11/18 156 users Hilbert プログラミング言語 世界

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

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

2020/10/10 147 users 閣下 出典 人事介入 数学 ツイッター

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

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

2024/02/16 135 users 言及 数学 哲学 数学以外 専門外

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

７題難問

2005/03/09 52 users 数学 反響 年会 パリ クレイ数学研究所

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