11/10/24 21:25:46.29 0
γ ⌒ ⌒ ｀ヘ
イ "" ⌒ ヾ ヾ
;;;;;;;-=・==- ;;;;; -==・=-;;;;;;
ヽ. ヽ. ⌒⌒ ﾉ /
ヽ. ヽ、｀＝＝´ ／ /
. ヽ ｀ ‐--‐ ´ ／
,.ﾞ-‐- ､ ｀二´'／ はたしてじゃろ？
┌､. / ヽ ー‐ ヽ.
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 / ﾍ
入 ´／/ ﾉ } ,..,.._',.-ｧ
／ ｀ｰ''"´ ,' ｃ〈〈〈っ<
33:考える名無しさん
11/10/25 17:48:42.54 0
数学板を荒らしてる哲厨がいるようだなｗ
34:考える名無しさん
11/10/25 21:02:02.49 0
>>33
詳しく
35:考える名無しさん
11/10/25 21:24:31.35 0
数学板で自ら確かめよ
36:考える名無しさん
11/10/25 21:50:23.08 0
哲学も数学も理解できない子どものくせに
かまってほしいんでしょ
37:考える名無しさん
11/10/26 00:02:48.50 0
人i
ノ:;;,ﾋ=-;､
(~´;;;;;;;ﾞ'‐;;;）
,i`（;;;ﾞ'―---‐'ヾ
ヽ;;';ｰ--―-､'';;;;;ﾞ）
イ "" ⌒ ヾ ヾ
;;;;;;;-=・==- ;;;;; -==・=-;;;;;;
ヽ. ヽ. ⌒⌒ ﾉ /
ヽ. ヽ、｀＝＝´ ／ /
. ヽ ｀ ‐--‐ ´ ／
,.ﾞ-‐- ､ ｀二´'／ 本当にそうかな？
┌､. / ヽ ー‐ ヽ.
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 / ﾍ
入 ´／/ ﾉ } ,..,.._',.-ｧ
／ ｀ｰ''"´ ,' ｃ〈〈〈っ<
38:考える名無しさん
11/10/26 00:31:07.40 0
そうです。
39:考える名無しさん
11/10/26 04:07:17.20 0
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 ;;;;;;;-=・==- ;;;;; -==・=-;;;;;;
ヽ. ヽ⌒ ヾ ヾ
;;;;;;;-===- ;;・=-;;;;;; ・
ヽ. ヽ. ⌒⌒ ﾉ. ⌒⌒ ﾉ /
ヽ. ヽ、｀＝＝´ ／ /
. ヽ ｀`（;;;ﾞ'―---‐'ヾ・
ヽ;;';ｰ--―-､'';;;;;ﾞ） ‐--‐ ´ ／
,.ﾞ-‐- ､ ｀二´'／
40:考える名無しさん
11/10/26 04:08:49.57 0
>>35
お前が嘘つきだってことは理解できた
41:考える名無しさん
11/10/26 06:50:03.12 0
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 ;;;;;;;-=・==- ;;;;; -==・=-;;;;;;
ヽ. ヽ⌒ ヾ ヾ
;;;;;;;-===- ;;・=-;;;;;; ・
ヽ. ヽ. ⌒⌒ ﾉ. ⌒⌒ ﾉ / 数学にコンプレックスおｍまんじゃな？
ヽ. ヽ、｀＝＝´ ／ /
. ヽ ｀`（;;;ﾞ'―---‐'ヾ・
ヽ;;';ｰ--―-､'';;;;;ﾞ） ‐--‐ ´ ／
,.ﾞ-‐- ､ ｀二´'／
42:考える名無しさん
11/10/26 07:59:17.07 0
>>40
嘘つきのパラドックスじゃな？
43:考える名無しさん
11/10/26 23:12:28.43 0
>>40
おいおい、ちゃんと自分の目で見て確かめろよ
ｽﾚﾘﾝｸ(math板:772番)
44:考える名無しさん
11/10/28 07:20:51.34 0
AAなんて確認する価値もないよ
そいつは人生の貴重な時間をアホなゴミAAの書き込みにひたすら使っているんだぜ
その無駄な時間の累計を考えるとわらえるじゃん
45:考える名無しさん
11/10/28 20:40:42.59 0
∩n:∩ｎnｎ∩
nf|｜|∩| | |^! .!ｎn
ｎn∩ｎー∵;,-─.| | |^!
__ イ く◎ _） .､〈.く◎_）､_
／ / ( `ｰ一' .'､'ー‐' ヽ）ヽ､ 睡眠薬を一度に15錠飲
/ ＼＼UＵ､__l__, ＵU／／ ヽ んでも眠れないのかね？
/ ＼＼'''----''／／ ',
j ヽr>ﾆﾆﾆ<r') t
46:考える名無しさん
11/10/29 18:15:38.33 0
『マリエのオシッコまみれの部屋』に業者が激怒！
／.:￣￣￣￣￣ ＼
／: : : ＼
／: : : : ＼
／: : : : : : ＼
: : : : : : : :.._ _ ＼
: : : : : : : ´⌒＼,, ;、､､／⌒｀ l
: : : : ::;;（ ° ）::::ﾉヽ::::::（ 。 ）;;::: |
47:考える名無しさん
11/10/29 20:27:17.76 0
；；／ ノ（ ＼；
；／ _ノ 三ヽ､_ ＼；
；／ノ（（ ｡ ）三（ ﾟ ）∪＼； クワイン『集合論とその論理』
；.| ⌒ （__人__） ノ（ |.； を知らないようだね？
..；＼ u. . |++++| ⌒ ／；
..；ノ ⌒⌒ ＼；
,.ﾞ-‐- ､ ｀二´'／
┌､. / ヽ ー‐ ヽ.
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 / ﾍ
入 ´／/ ﾉ } ,..,.._',.-ｧ
／ ｀ｰ''"´ ,' ｃ〈〈〈っ<
48:考える名無しさん
11/10/29 22:01:58.10 0
aaに1行付け足すのに必死ね
今日はこの貼り付けに何時間費やしたんだろうね
49:考える名無しさん
11/10/30 15:39:42.68 0
；；／ ノ（ ＼；
；／ _ノ 三ヽ､_ ＼；
；／ノ◞≼◉≽◟三◞≼◉≽◟∪＼； 運智万思想
；.| ⌒ （__人__） ノ（ |.； を知らないようだね？
..；＼ u. . |++++| ⌒ ／；
┌､. / ヽ ー‐ ヽ.
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 / ﾍ
入 ´／/ ﾉ } ,..,.._',.-ｧ
／ ｀ｰ''"´ ,' ｃ〈〈〈っ<
50:考える名無しさん
11/10/30 17:27:08.79 0
∩n:∩ｎnｎ∩
nf|｜|∩| | |^! .!ｎn
ｎn∩ｎー∵;,-─.| | |^!
__ イ く◎ _） .､〈.く◎_）､_
／ / ( `ｰ一' .'､'ー‐' ヽ）ヽ､ 睡眠薬を一度に15錠飲
/ ＼＼UＵ､__l__, ＵU／／ ヽ んでも眠れないんじゃろ？
/ ＼＼'''----''／／ ',
j ヽr>ﾆﾆﾆ<r') t
51:考える名無しさん
11/10/30 20:01:40.19 0
；；／ ノ（ ＼；
；／ _ノ 三ヽ､_ ＼；
；／ノ（（ ｡ ）三（ ﾟ ）∪＼；
；.| ⌒ （__人__） ノ（ |.；
..；＼ u. . |++++| ⌒ ／；
┌､. / ヽ ー‐ ヽ.
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 / ﾍ
入 ´／/ ﾉ } ,..,.._',.-ｧ
／ ｀ｰ''"´ ,' ｃ〈〈〈っ<
52:考える名無しさん
11/10/30 22:38:38.97 0
＿＿＿＿＿＿__
. ´ ＿＿｀丶_
／ ,． ´: : : : : : : : :｀ 、
／ | ／: : : : : : : : : :、: : : : : : : ＼
/ ｜ .／ : : : : ト､: : : : : ∧: :､ : : : :!⌒
/ :| /: : : :∧ ,:| ＼ : / ‐∨､＼ : |
. / ' /: : : : :| `､| ｀ |: Ｖ
｀ ＝ニニニV : : : : : |‐､_‐rｯ, i､ 'ﾆi.ｱ Vﾊ
{ ｜: |: |: : :| ￣ .!i ヽ､ V|
'. j : ﾑ:|∨:| .!i､ }|
∨: :{ r|: : :l ｨ._＿_)） ハ、
/: : : ヽ|: : :| ＿.i'I.._ ／: : : :＼
＿／ : : /: :/ : : ト ._ -´=ェｴ=,`ｲ::{ ＼:_:_: ヽ
／ : : : : :,．一': :_／: :x'⌒ヽ ＿ _ ／ﾄ､: ヽ |: :｜
┌―一': : :／￣/: : : :／: : ／ }} } ＼ | }: : } |: :└┐
53:考える名無しさん
11/10/31 05:12:02.20 0
；；／ ノ（ ＼；
；／ _ノ 三ヽ､_ ＼；
；／ノ（（ ｡ ）三（ ﾟ ）∪＼；
；.| ⌒ （__人__） ノ（ |.；
..；＼ u. . |++++| ⌒ ／；
┌､. / ヽ ー‐ ヽ.
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 / ﾍ
入 ´／/ ﾉ } ,..,.._',.-ｧ
／ ｀ｰ''"´ ,' ｃ〈〈〈っ<
54:考える名無しさん
11/11/04 05:50:18.64 0
；；／ ノ（ ＼；
；／ _ノ 三ヽ､_ ＼；
；／ノ（（ ｡ ）三（ ﾟ ）∪＼；
；.| ⌒ （__人__） ノ（ |.；
..；＼ u. . |++++| ⌒ ／；
┌､. / ヽ ー‐ ヽ.
ヽ.X､- ､ ,ﾉi ハ
⊂＞'">┐ヽノ〃 / ﾍ
入 ´／/ ﾉ } ,..,.._',.-ｧ
／ ｀ｰ''"´ ,' ｃ〈〈〈っ<
55:考える名無しさん
11/11/04 09:22:55.59 0
>>1
数学の哲学云々は、数学上の「世紀の難問」を解いてから言え！
56:考える名無しさん
11/11/08 13:16:38.17 0
「反復的な集合観」って言葉をよく目にするけど
そうじゃない集合の理念とか哲学とかもあるのかな？
57:考える名無しさん
11/11/08 20:37:00.03 0
Kummerがガロアスレ荒らしてる。こいつを叩きのめしてくれ。
ｽﾚﾘﾝｸ(math板)l50
58:考える名無しさん
11/11/16 11:52:14.99 0
数学基礎論や論理学よりも現代の純粋数学のほうがむずかしい件
59:考える名無しさん
11/11/16 12:53:21.25 0
数学の才能がないから難しく感じるんでしょう。
一般の人には数学基礎論や論理学の方がやさしい。
60:考える名無しさん
11/11/18 02:23:35.43 0
一般の人には、現代の数学、基礎論、論理学を理解するのは、まず無理です。
難しいと思われている大学受験の数学は、ほとんど17世紀の頃までにできたのものと思います。
一般の人から見ると、18世紀のレベルまで数学を勉強した人は、ほとんど天才でしょう。
基礎論、論理学も似たようなものだと思います。
理解できないものの難易度の比較なんて、できるはずがないと思います。
61:考える名無しさん
11/11/18 02:26:06.97 0
「一般の人」違い
てか、わかってて言ってるよね？
62:考える名無しさん
11/11/18 02:37:31.71 0
>>61
>>60の一般の人は、
普通に4年大学を卒業したレベルの人を想定しています。
63:考える名無しさん
11/11/18 10:24:31.68 0
線形代数って20世紀初頭に整備された学問だが・・・（ベクトル空間論）
64:考える名無しさん
11/11/18 10:45:47.06 0
公理からはじめる形に整理されなおしたのは20世紀だが、
行列式とか内容的にはもっと以前に出来ていたものが多いね。
関数解析なんかの要請と、ネーターあたり以降の代数学が今の形に整備されてきたのが重なって
モジュールとしての代数の部分と計量を考慮したものとの色分け、整備が
20世紀に進んだということでしょう。
65:考える名無しさん
11/11/18 10:49:01.32 0
>>62
まあそうだね。大学の数学は、ほとんどの学生を八百長試験でパスさせて卒業させてるだけだから。
本当に理解することを求めたら、ほとんどの理工系学生が留年したまま卒業できなくなる。
66:考える名無しさん
11/11/18 12:33:05.46 0
自然数全体の濃度より実数全体の濃度のほうが真に大きい？
すべての実数について、永遠の自然数でナンバーリング可能じゃね？
67:考える名無しさん
11/11/18 13:01:30.40 O
つまんね
68:考える名無しさん
11/11/18 18:01:50.21 0
俺が考えていたことだが。。。
『幾何の公理的な展開を、図形なしに言語だけで行うことは可能か？』
論理学が明確に数学に適用できるためには、幾何においてまずこれが可能じゃないといけない。
多分可能なんだろうけどさ。
これができると、おそらく解析の分野も論理学的基礎付けが可能になる。
でも可能にするには、きっと何らかの公理を与えてやらないといけない気がする。
人が視覚的に既知としていることが言語化する過程で、自覚化・問題となってくるはず。
こういうのがあると、トップダウンで問題を解くことができるようになると思うんだよね。
何か高校受験とかの幾何の問題を解いたりしても、どうしても演繹的な解法が思いつかない。
演繹的な、解の論理的導出をするにはそういうのがいると思ったりした。
69:考える名無しさん
11/11/18 18:09:50.96 0
大丈夫か？
すでに図形なしに行っているが・・・
70:考える名無しさん
11/11/18 18:16:44.29 O
かかってこいよ～逃げてないでよ～（笑）チキン野郎共が（笑）
ｽﾚﾘﾝｸ(okiraku板)
71:考える名無しさん
11/11/18 18:46:54.80 0
>>69
じゃあ、例えば
「二等辺三角形の頂点から底辺に垂線をひくと、
その交点は底辺の中点になる」
は、どうやって言語的に可能なのか教えてもらえないか？
72:考える名無しさん
11/11/18 18:50:42.28 0
まずヒルベルトを読んでくれ。
ユークリッド幾何を公理化している。
まさに君のいうようなことだから。
あと、フレーゲを読め。
73:考える名無しさん
11/11/18 19:01:23.57 0
>>72
機会があったら、読んでみるよ。
74:考える名無しさん
11/11/18 20:45:31.13 0
カヴァイエスはみんなどう評価してんの？
75:考える名無しさん
11/11/18 23:51:13.48 0
哲学なんかやめて、数学した方がいいと思う。
76:考える名無しさん
11/11/19 00:27:23.67 0
ヒルベルトとかフレーゲとか古すぎるんじゃよｗ
77:考える名無しさん
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
論理学スレはないんですかねえ