哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います. 数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます. (あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. ) 現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてく

(2024年2月17日更新) 台湾・台北の美味しいものをまとめました！といっても、今回の記事は、皆さんの叡智を結集した結果の記事となっております！ありがとうございます！ 先日、「【ゆる募】台湾・台北の「ここはマジで美味い！絶対いけ！」の美食スポット。」をツイ―トしたのです。 すると、たくさんの方が拡散してくださって、おかげさまで、なんと【281件のブックマーク】につながるポストとなりました。感謝✨ 「この素晴らしい結果を見やすい状態にしよう！」と思い、感謝の気持ちを込めて整理したのがこの記事です。お店の件数は拡張可能です。ぜひぜひリプやノートのコメントで、おすすめのスポットをお教えください！(手動更新につき更新遅れはご了承願います。) 以下では、マップ・各店舗情報・いただいたポスト引用を載せていきます！ 台北に行ったらこの美食スポットで飲み食いしろ！マップ ★のところは、予約必要だと教えて

たとえばユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」だそうですが、これも「幅」とは？「(幅を)持つ」とは？両側とは？「方向」の定義は？「無限(限りが無く)」とは？そもそも「限り」って何？「のびる」とは？「まっすぐ」とは？「線」と結論づけるのは循環論法じゃないの？ と突っ込む人にとっては厳密ではなくなっていませんか？ ここで、これらの言葉の意味は、国語辞典に載っている意味と同じものだよなどといおうものなら、それこそ数学の厳密性を否定したようなものになってしまっていると思います。 たとえば「方向」を調べたら「向くこと」とでます。これを調べると「物がある方向を指す」というふうに出ます。これは循環論法に陥ってますし、「物の正面があるものに面する位置にある」という別の語釈もありますが、物とは？正面とは？面するとは？位置とは？となります。これを繰り返せば結局どこかで