サクサク読めて、アプリ限定の機能も多数！
ヒルベルトが数学のすべてを自然言語を使わずに厳密に定義しようとして、ゲーデルがそれは無理って証明してしまったやつ。
henno のブックマーク 2024/02/16 19:10
このブックマークにはスターがありません。 最初のスターをつけてみよう！
anond.hatelabo.jp2024/02/16
たとえばユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」だそうですが、これも「幅」とは？「(幅を)持つ」とは？両側とは？「方向」の定義は？「無限(限りが無く)」とは？そ...
192 人がブックマーク・100 件のコメント
＼ コメントが サクサク読める アプリです ／
ヒルベルトが数学のすべてを自然言語を使わずに厳密に定義しようとして、ゲーデルがそれは無理って証明してしまったやつ。
このブックマークにはスターがありません。
最初のスターをつけてみよう！
数学の定義は本当に厳密で一意なものと言えるのか気になりました
たとえばユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」だそうですが、これも「幅」とは？「(幅を)持つ」とは？両側とは？「方向」の定義は？「無限(限りが無く)」とは？そ...
192 人がブックマーク・100 件のコメント
＼ コメントが サクサク読める アプリです ／