11/11/19 00:29:14.45 0
フレーゲは強かった
ただ成長率が小さかった
78:考える名無しさん
11/11/19 00:32:29.44 0
>>76
その古すぎる理論にすら追いついてない人がいるんだからしゃーない
79:考える名無しさん
11/11/19 06:32:32.21 0
数学やろうよ。哲学よりおもしろいよ。
80:考える名無しさん
11/11/19 10:44:45.12 0
数学徒で>>71をやれるのはいないの？
どうもヒルベルト幾何とは違うと思うがな。
81:考える名無しさん
11/11/19 22:08:11.04 0
今じゃ高校受験生レベルか…
ここも廃れる訳だな
82:考える名無しさん
11/11/19 22:39:41.80 0
俺が構想したのはこういうこと。
例えば、幾何の問題を解く人工知能を考える。
さまざまな問題パターンが考えられる中で
これを何らかのプログラムによって解決させる必要がある。
さて、図形等のイメージを持たずして問題を解くにはどうしたらいいか。
そのためには図形等のイメージで補助する思考を
まず完全に図形なしで問題の解決可能な形にする必要がある。
これを幾何の言語化と俺は表現した。
だから、例えばとして問題例を聞いたがだれも答えられないな。
まぁそうだと思う。
できるなら、少なくとも幾何の問題を解ける、
人工知能プログラムができることになるからな。
83:ラプラスの天使 ◆daemontaDA
11/11/19 22:46:38.13 0
ウィトゲンシュタインはどこなの？
84:考える名無しさん
11/11/19 22:47:36.16 0
>>82
数学の勉強をしましょう、大学数学科向けの本で。
数学書は幾何学的直観に依らずに、文章（もちろん数学記号を含む）だけで構成されています。
理解を助けるために図が挿入されることはありますが、証明を検証するだけなら本来は不要なものです。
ただし、数学を形式的に記述するのは言うほど簡単ではなく、根気のいる作業なのです。
検索ワード：「定理の自動証明」
85:考える名無しさん
11/11/19 23:47:05.54 O
>>80
やれるも何も命題として真でないことをどう説明するのか
86:考える名無しさん
11/11/19 23:47:09.58 0
中途半端にやっても無駄だよ
87:考える名無しさん
11/11/20 00:38:13.53 0
図形のイメージが必要かどうか（言語化できるかどうか）と、
問題解決のアルゴリズムが得られるかどうかは
全く関係ないだろ。
まあ高校受験がんばれ。
88:考える名無しさん
11/11/20 09:01:07.97 O
82ではないが、幾何学的イメージと数学的定理は相補的なものだろ。
そもそも幾何学という数学分野があって、
それが代数学に与えた貢献は計り知れない。
不定積分は導関数から非直観的に導けても、
幾何学的イメージなしにそれを定積分と結び付ける「発想」がどう可能なのだ？
89:考える名無しさん
11/11/20 11:04:56.56 0
>>71
三角形の合同を使って証明。
この場合、二角夾辺相当。
90:考える名無しさん
11/11/20 13:52:12.84 O
>>88
幾何学と代数学の関係とは？
91:考える名無しさん
11/11/20 15:26:44.24 0
完全なる
板違いスレ
数学で思考なぞできない
数学は思考の道具に過ぎない
92:考える名無しさん
11/11/20 17:22:08.89 O
>>90
それこそ「数学者」デカルトの功績だろ(笑)
幾何学的性質を数式で記述したのがそもそもの始まり
（ユークリッド幾何を線形代数で記述する）
テイラー展開なんかは純粋に関数の非直観的性質に基づいていると言えるが、
一方、位相幾何、多様体論という幾何学分野は物理学に影響を与えた。
ニュートン物理学は運動の記述から始まったことを思えば、それに（ユークリッド）幾何学が貢献したのは明らかだろう。
アインシュタインはリーマン幾何学を採用した。
てか純粋に数学的記述？なにそれ？
それが数式のみで記述されたものを言っているのなら、誤りだ。数式だけが数学でない。
現代幾何学が空間について深く研究している事実を考えればね
93:考える名無しさん
11/11/20 17:41:55.97 0
現代数学を知らんようだね？
94:考える名無しさん
11/11/20 18:36:52.59 0
分野でいえば数理論理学ですね。
スレでいえばこの辺
ｽﾚﾘﾝｸ(math板)
95:考える名無しさん
11/11/20 19:22:41.61 0
数学はもはや時代の遺物
これからは数字学が主流となるだらう♥
96:考える名無しさん
11/11/23 06:39:40.26 0
ならない。
97:考える名無しさん
11/11/23 21:24:39.15 0
論理学スレはないんですかねえ