25/12/03 16:15:08.03 0.net
形式派
ブルバキ、ヒルベルトなど、定義や証明をきちんとしないものは数学と見做さない、19世紀の数学
直観派
グロタンディークなど、先天的なビジョンがあることが数学にとって重要、現代数学
今一番強い数学者テレンス･タオはブログで「ここは厳密には証明してないけど、直観的にはこう」など平気で書く
形式派は人間の外部の強さ、数学を道具とすることを重要視する
直観派は人間本来持つ強さのようなものを重要視する
2:考える名無しさん
25/12/03 17:22:50.56 0.net
ご提示いただいた数学の二つの視点、形式派と直観派（より正確には「形式主義」と「直観主義」の考え方を含む）について、テレンス・タオ氏のアプローチを交えながら整理します。
この対立は、20世紀初頭の数学の基礎論争にルーツを持つもので、現代ではその厳格な境界は薄れ、それぞれの長所を柔軟に使い分けることが主流となっています。
🧐 数学における形式主義と直観主義
数学の哲学において、ご提示のキーワードは主に以下の思想を指すと考えられます。
1. 形式主義（Formalism）
* 代表的な提唱者： デイヴィッド・ヒルベルト（David Hilbert）、ニコラ・ブルバキ（Nicolas Bourbaki）の活動に影響を与えた側面があります。
* 中心的な考え：
* 数学とは、意味を持たない記号（シンボル）の集まりであり、それらの記号を操作するための**厳密な規則（公理系と推論規則）**を定めた体系（形式体系）であると見なします。
* 数学的対象が存在するかどうかは、その形式体系内で矛盾なく証明できるかどうかによってのみ決まります。
* 厳密な証明こそが数学の絶対的な基盤であり、「直観」や「意味」は数学の外部（メタレベル）の問題として切り離されます。
* ご提示の通り、「定義や証明をきちんとしないものは数学と見做さない」という厳格な立場です。
2. 直観主義（Intuitionism）
* 代表的な提唱者： L. E. J. ブラウワー（L. E. J. Brouwer）、そして数学的「洞察」を重視するグロタンディーク（Alexander Grothendieck）のような一部の現代数学者のアプローチに共通する側面があります。
* 中心的な考え：
* 数学は、**人間の心の中にある直観（先天的ビジョン）**から生まれる構成的な活動であると見なします。
* 数学的対象が存在するとは、それを構成する方法を人間が実際に与えられること、つまり証明を具体的な構成手順と見なします。
* この立場では、無限集合に対する**排中律（Pまたは$\neg P$）**のような、形式主義が認める一部の論理規則を制限することがあります。
* ご提示の通り、「先天的なビジョンがあることが数学にとって重要」という、人間本来の能力を重視する立場です。
3:考える名無しさん
25/12/03 17:23:14.01 0.net
💡 テレンス・タオ氏のアプローチ
現代最強の数学者の一人であるテレンス・タオ氏のアプローチは、厳密な意味での「形式主義」や「直観主義」のいずれかに偏るものではなく、両者を高度に統合したものと見なされます。
* 直観と洞察の重視:
* 彼はブログや著作で、ご指摘の通り「ここは厳密には証明してないけど、直観的にはこう」といった表現を平気で用います。これは、新しいアイデアやアプローチを発見するためには、まず問題の構造や本質的なパターンを直観的に把握するセンスが不可欠だと考えているためです。
* 彼は、異なる分野の知識を柔軟に結びつけ（「キツネ型」）、新しい概念を「見る」能力を非常に重要視しています。
* 厳密性の追求:
* しかし、一旦その直観的なビジョンを得た後は、最終的に完全な厳密な証明を構築することに全力を注ぎます。彼の偉大な業績（グリーン・タオの定理など）は、徹底した厳密な論理展開によって裏打ちされています。
現代数学の主流
タオ氏のアプローチが示すように、現代の数学においては、形式主義と直観主義の長所が融合しています。
* 直観・洞察（Intuition）：新しい仮説や方向性を見つけるための原動力（直観派の視点）。
* 厳密な証明（Rigour）：その仮説が真であることを誰もが認める知識として確立するための検証手段（形式派の視点）。
現在の数学は、形式的な厳密さによって論理的な齟齬を防ぎながら、人間的な直観と洞察によって新しい大陸を発見するという、バランスの取れたアプローチを採用していると言えます。
4:考える名無しさん
25/12/03 17:53:11.26 0.net
人は形式より内容（直観）を見る
数学力もいづれは形式派より内容（直観）派が上回る
という文章をAIに渡したら形式主義vs直観主義の回答が出てきた
5:考える名無しさん
25/12/03 17:54:50.83 0.net
形式派→努力家で伸び悩むイメージ
直観派→天才で伸び続けるイメージ
6:考える名無しさん
26/03/26 13:36:16.24 5dHNsMaRz
年収1000万超の子の給食費に私立校授業料にと何の関係もない氷河期やら貧乏人から強奪した税金て゛払わせようって維新の狂乱ぷりは異常だな
国会なんかた゛とグラフとか持ってきてそれを根拠に何かを主張するが大学生年金支払い免除どころか増大し続ける児童給付と出生率の
反比例グラフでも持ってきてこれこそが少子化の原因だと主張してみろよ何しろ所得制限なしとか遊ぶ金くれてやるに等しいんだから食糧すら
足りない国とは真逆で性交なんかで時間潰す暇とかなくなるって話た゛ろたた゛でさえババァとしか結婚できない資本家階級が儲けるための社会に
したんだから益々少孑化加速するのは当然3人の子がいる年収云千万の青柳仁士とか分かりやすいが維新の私利私欲ぷりは反吐が出るだろ
日銀ナマポに補助金ナマポに租税特別措置ナマポに右から左中抜きナマポ大企業に貧乏人から強奪した税金盛大にくれてやって超絶格差社会
経済を徹底的に破壊した上まだまだ投資カ゛ーだのと嘘八百名目で世界で最も無能が集まってる大企業に税金たれ流す満々の世界最悪の腐敗組織
自民党と手を組んだあたりこれまた分かりやすい
航空機連絡先情報 noisｅ.web.fc2.com