5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

何故、数学は成立するのか

1 :考える名無しさん:2005/03/31(木) 01:39:46
何故ですか?

2 :考える名無しさん:2005/03/31(木) 01:55:29
.....神が定めた

3 :考える名無しさん:2005/03/31(木) 02:01:03
なことはない。


4 :考える名無しさん:2005/03/31(木) 02:05:21
成立するところだけで組み上げてるからでしょう。

5 :考える名無しさん:2005/03/31(木) 02:06:13
成立するところ、は何故、成立するのでしょうか

6 :考える名無しさん:2005/03/31(木) 02:07:36
>>5
成立するところがそこにあるからでしょ。

7 :考える名無しさん:2005/03/31(木) 02:09:00
矛盾だとそこから先には進めないから、当然、無矛盾な系だけが成立し、不完全性定理の命題で外に繋がってゆく。


8 :考える名無しさん:2005/03/31(木) 02:09:14
何故、私は存在するのですか
 存在してるからですよ

みたいな

9 :考える名無しさん:2005/03/31(木) 02:10:48
つまりこれは女はなぜ女なのかと問うようなもんだな。
女は女である。それだけだ。

10 :考える名無しさん:2005/03/31(木) 02:11:35
論理の世界で理論物理と同じような事やってるんじゃないの?

11 :考える名無しさん:2005/03/31(木) 02:11:46
>>9
何で哲学板にいるの?
数学板で、
1+1=1+1だ!!!
みたいなレベル
(正論だが)板の趣旨を理解しようぜ

12 :9:2005/03/31(木) 02:11:58
>>8
ん?気が合うね。

13 :考える名無しさん:2005/03/31(木) 02:11:59
人間とは別に数学というものがあって成立するのではないよ。

人間が世界を認識するあり方が、数学という構造をとるのですら。

14 :考える名無しさん:2005/03/31(木) 02:12:20
>>11
同意

15 :考える名無しさん:2005/03/31(木) 02:12:20
>>9
女は定義できるだろう。

16 :考える名無しさん:2005/03/31(木) 02:13:16
>>12
いや、俺は君みたいな奴を馬鹿にしたのだが

17 :考える名無しさん:2005/03/31(木) 02:13:44
群論だとか微分幾何学だとかゲージ理論だとか多様体論だとか
理解できない分野は、本当に成立してるのかわからんのだが。

18 :考える名無しさん:2005/03/31(木) 02:14:45
>>15
女は定義でき、数学は定義できないということかな?

19 :考える名無しさん:2005/03/31(木) 02:15:14
1+1=2は恣意的定義でもいい。そこから先が矛盾なく組み立てられれば。

20 :考える名無しさん:2005/03/31(木) 02:16:13
スレタイの意味をまずは理解しようよ。

21 :考える名無しさん:2005/03/31(木) 02:16:35
>>20
1だけど同意

22 :考える名無しさん:2005/03/31(木) 02:17:00
>>19
それだ。

23 :考える名無しさん:2005/03/31(木) 02:17:27
>>17
偉い先生の言っている事に逆らうと、トンデモナイフでばっさりだよ。

24 :考える名無しさん:2005/03/31(木) 02:21:50
算数は役に立つよな。

先生「リンゴが三個あります。ミカンが二個あります。足すと何個ですか?」
聖徒「足せません!」
先生「その通りです。明日の放課後、お母さんと一緒に面談しましょうね。」

25 :考える名無しさん:2005/03/31(木) 02:22:23
ab=ba、(ab)c=a(bc) な系も、ab≠ba、(ab)c≠a(bc) な系も、どちらも矛盾なく存在できる。

26 :考える名無しさん:2005/03/31(木) 02:26:20
「馬鹿になりきる能力」が無いと、哲学できないのにな。

27 :考える名無しさん:2005/03/31(木) 02:27:35

先生「リンゴ関する個という属性が三個あります。ミカン関する個という属性が二個あります。足すと何個ですか?」
聖徒「足せません!」
先生「氏ね!」


28 :考える名無しさん:2005/03/31(木) 02:40:05
数学及び数字は人が作り出した概念。
そこにあるものに数字etcの概念をあて、
それをどうするか、どうなるかetcに記号をあて、
それからどうなったかetcを導く。
またはどうなっているか、から導いたりとか、
単に記号化するとか。
まぁこれがおおまかな数学。

そこにあるものに概念をあてがったのだから、その概念はそこにあるものを示している。
わざわざ成立しない考え方を用いる必要はない。
成立しないものは作られない、作られなかった。
論理的に間違っているものは最初から作られないか、後に否定されてゆく。

成立しなきゃ意味ないから成立するようにつくられたものが成立しなくてどうする。


29 :考える名無しさん:2005/03/31(木) 03:06:54


以上で終わりか?

30 :考える名無しさん:2005/03/31(木) 03:20:36
>>28
それは逆。
人間が世界を認識するあり方が、数学という構造になっているんです。
そして、この構造と世界が矛盾することのない対応関係にあるので上手くいく。

つまり数学で認識できるものを認識しているだけ。
ただし、認識しているものを、
数式や定理として正しく分析的に記述できるかどうか、そは別の問題。




31 :28:2005/03/31(木) 04:18:33
自己レス
概念あてがったって何やねん。言葉でいーだろ。
つかその行意味不明でいらね。
まぁ感じだけわかってくれ。

>>30殿

 >人間が世界を認識するあり方が、数学という構造になっているんです。
 >そして、この構造と世界が矛盾することのない対応関係にあるので上手くいく。

 >つまり数学で認識できるものを認識しているだけ。

認識するありかたは数学の構造か?
数学の上に認識がなりたってると言わんばかりの言い方なのが気がかり。
確かに数学がなければ認識できないものもあるが、
認識全てが数学に依存しているわけではない。
色を認識するのに数学は使われない。
何%ぐらいの明度だから赤ってわけじゃない。
数という概念に対する思考や思考の筋道が数学だと思うのだが。
人間の思考を表記したり楽にしたり正確にするのが数学だ。
そのために矛盾をなくしている。
間違った答えの出る電卓はいらない。
数学は認識の道具だ。

 >ただし、認識しているものを、
 >数式や定理として正しく分析的に記述できるかどうか、そは別の問題。

関係性がわからん。





32 :28:2005/03/31(木) 04:23:08
スマン。
関係性がわからん。ってのは1の命題に関してな。
書く意味がわからんかったから。

33 :考える名無しさん:2005/03/31(木) 07:24:22
数学と聞いて数字を連想してる時点で話にならない。
数は集合の中で非常に特殊な性質を持つもの。
言葉があればそれについての集合が作れ、それについての数学がある。

34 :考える名無しさん:2005/03/31(木) 07:42:49
数学とはトートロジーであり本当は何も言ってない

と言ってみるテスト

35 :考える名無しさん:2005/03/31(木) 18:00:53
元から成立してなかったら証明なんかできんだろうに。この問い自体は無条件に成立してるな。

36 :考える名無しさん:2005/03/31(木) 18:12:35
仮定があるからだろ?
「仮定」ならば「結論」
仮定が成立してるのに、結論が成立しないとき、
また、例外として、新しい仮定をつくるんだよ。


37 :考える名無しさん:2005/03/31(木) 19:25:39
数学がなんなのかは数学を理解できる人しか語りえない。
知らないであーだーこーだいってたバカはイッテヨシ。
その後のバカは全てそいつの責任。カントてめーのことだ禿。

38 :考える名無しさん:2005/03/31(木) 20:38:34
あんまりカントを責めるなよ。アイツもいいとこあるよ

39 :考える名無しさん:2005/03/31(木) 21:22:51
カントール

40 : ◆FV29Dovtg2 :皇紀2665/04/01(金) 13:44:36
>>34に同意
数学なんて超複雑なトートロジーっしょ。
だから数学的に人間が認識する物事は
将来の認識が予測できる

41 :ローカルルール審議中:皇紀2665/04/01(金) 21:16:15
哲学なんて超複雑なトートロジーっしょ。
だから哲学的に人間が認識する物事は
将来の認識が予測できる

42 :考える名無しさん:2005/05/09(月) 17:48:23
>>40
そういうのはトートロジーとはいわない
何でもトートロジーにしてしまう単細胞
「何でもトートロジー」が多すぎ

43 :38:2005/05/12(木) 23:35:57
脳の仕業

44 :考える名無しさん:2005/05/12(木) 23:49:52
少し問題の視点を変えてみようか。
地球人の数学と某宇宙人の数学は、表記法は別として、本質的に同じであり得るか否か?

45 :考える名無しさん:2005/05/13(金) 00:05:38
代数

46 :考える名無しさん:2005/05/13(金) 00:08:27
同じではない可能性がある。
数学では自明である事柄から事物を演繹して(とりあえず、矛盾律が発生しないように)
論理展開を進めていくのが普通であるが
宇宙人と地球人では「自明であること」の基準・「公理系」が違うかもしれない。


47 :考える名無しさん:2005/05/13(金) 00:12:56
もしかしたら、宇宙人にとっては私たちが定理として証明した
事物でさえ、自明であるかもしれず、そこからいろいろな定理を
導出するかもしれない。


48 :考える名無しさん:2005/05/13(金) 00:18:41
>>40
数学はトートロジーとは違う
数学がトートロジーであれば
前提が偽である命題をも許容するはずである。


49 :HUP:2005/05/13(金) 00:27:00
>>44
Empirisme et Subujectivete.
Essai sur la nature selon Hume:Gilles Delieuze

50 :考える名無しさん:2005/05/13(金) 00:32:17
りんごが2個あって、1個食ったらなんで残りは1個になるのかってことだな。
なぜかこの世界ではなってしまう、としか言えないな。

51 :考える名無しさん:2005/05/13(金) 00:47:50
この世界では本当は1つ1つ色も形も違う林檎を同じ林檎と言う集合に属するものと見なして
1+1=2と強引に考えるやり方がある。ただ、宇宙人は
この世に存在する物質はどれも違う物なのに
どうやったら1+1=2と考えられるのか、そもそも1+1=2とは何なのかと疑問を持つかもしれない
もしかしたらそこまで地球人とは思考様式が違うかもしれない

52 :考える名無しさん:2005/05/13(金) 00:49:26
×同じ林檎と言う集合に属するものと見なして
○同じ「林檎」と言う集合に属するものと見なして


53 :考える名無しさん:2005/05/13(金) 00:51:27
>>46-47
俺は意外と同じになるのではないかと思う。
ただ、脳の構造による得手不得手はあるだろうから、別の公理系を先に発見するといった違いはあるだろう。

54 :考える名無しさん:2005/05/13(金) 00:55:16
>俺は意外と同じになるのではないかと思う。

それがどうしてかあなたの意見を聞いてみたいです


55 :考える名無しさん:2005/05/13(金) 01:01:17
人間が数学として扱ってる概念・構造は
もしかしたらまだまだ非常に少なく・限定された物かもしれない


56 :考える名無しさん:2005/05/13(金) 01:04:37
数学が成立するという考え方が間違っているな。本当に数学が成立するかどうかはまだ確かめられていないからな。

例えば一個の宇宙と別の一個の宇宙を足すと宇宙が2つになるか。これはまだ観測で確認されていない。

57 :考える名無しさん:2005/05/13(金) 01:08:13
>>1
「ヒルベルト 形式主義」 か 「ヒルベルト 公理主義」 でググってみ。

58 :考える名無しさん:2005/05/13(金) 01:10:29
でもヴィトゲンシュタインが言ってる数学(の捉え方)と
数学者が考えている数学(の捕らえ方)は全く違うと思うよ
数学って共通構造をさぐったり事、概念(集合)と概念(集合)との関係、
ある分野で発見された概念の他の分野への応用、
重要(広がりのありそうな)な問題とそうでない問題を峻別する美的・価値的感覚
とかが絡み合って数学は発展してるから

59 :考える名無しさん:2005/05/13(金) 01:15:18
>例えば一個の宇宙と別の一個の宇宙を足すと宇宙が2つになるか。これはまだ観測で確認されていない。
それは1+1の適用例を誤ってるだけで数学が成立しないこととは
関係が無い
コップ一杯の水にもうコップ一杯分水を足しても
コップには水が一杯しか入ってないというエジソンの逸話のようななもの

60 :考える名無しさん:2005/05/13(金) 07:33:00
>>57みたいなことを言う奴は絶対に何も分ってない

61 :考える名無しさん:2005/05/13(金) 16:15:40
公理主義 vs 功利主義

62 :考える名無しさん:2005/05/13(金) 17:51:17
カントの主著を読めば書いてある>数学はなぜ成立するか

63 :名無的発言者:2005/05/13(金) 18:46:49
>>1
成立するものを、成立するように説明するのが数学なのですからね。

64 :考える名無しさん:2005/05/13(金) 19:04:18
成立しないものも、成立するように説明するのが哲学なのですからね。

65 :考える名無しさん:2005/05/14(土) 00:06:11
>>62
数学を分かってないカントの主著の内容と>>1のスレタイトルが一緒であることが
>>1はDQNであることのメタファーとなっているわけですね

66 :考える名無しさん:2005/05/14(土) 00:43:37
>それは1+1の適用例を誤ってるだけで数学が成立しないこととは
関係が無い
 
現実と異なる結果が出る数学は誤っている。それは単なる信仰で、宗教と同じだ。


67 :考える名無しさん:2005/05/14(土) 02:09:14
古典から近代までの哲学者と呼ばれる偉人たちは、同時に数学者としての業績を残している
場合が多々ある。現代の哲学者と呼ばれる人たちは、言うならば、無意識や言語の暗黒面に
堕ち込んでいるように思える。例のパフォーマティブだのコンスタティブだの発話行為の多重性とは、
隔絶された抽象的な世界が、数学にはあるようだ。

ただ、門外漢として思うのは、もはや哲学はニッチ的な分野であるにしても、
数学を模した分析哲学だけを哲学だとするなら、無味乾燥な枯れ木に咲く花のように思われてならない。

68 :考える名無しさん:2005/05/14(土) 02:51:44
>数学を模した分析哲学
????????????

69 :考える名無しさん:2005/05/14(土) 02:56:11
フレーゲもラッセルもカルナップもタルスキもまともに知らないんだ。
許してやろうよ。


70 :考える名無しさん:2005/05/14(土) 03:06:11
おそらく知らない。だが、
分析哲学で、倫理を語ることはできまい。

71 :考える名無しさん:2005/05/14(土) 03:11:56
>分析哲学で、倫理を語ることはできまい。
                        |
                        |
      ∩___∩              |  ぷらぷら
      | ノ  _,  ,_ ヽ        ((   |
     /  ●   ● |         (=)
     |    ( _●_)  ミ _ (⌒)    J  ))
    彡、   |∪|  ノ
⊂⌒ヽ /    ヽノ  ヽ /⌒つ
  \ ヽ  /        ヽ /
   \_,,ノ      |、_ノ


72 :考える名無しさん:2005/05/14(土) 14:37:59
>コップ一杯の水にもうコップ一杯分水を足しても

考え方が根本的に間違ってるな。コップの水を足せば水が増える。だから足し算は成立している。

実際にそれを観測することもできる。だから1+1=2が成立しない例とはならない。

しかし、宇宙の場合はひとつしか観測されてないので1+1=2は成立しない。

数学が成立するのは限定された条件下のみであり、普遍的なものではない。数学はオカルトと変わらない。

しかも、数学は「馬から落ちて落馬する」といってるようなもので、同義反復してるだけ。学問としては幼児レベルだ。


73 :考える名無しさん:2005/05/14(土) 18:12:37
そんな幼児レベルの学問が自然科学にあらゆる分野に適用されてるから不思議だねw

74 :鬱に負けないつよい心:2005/05/14(土) 20:28:09
>>72
根本的に考え方が間違っているな。
君は現実世界の例を取り出して

>数学が成立するのは限定された条件下のみであり、普遍的なものではない。数学はオカルトと変わらない。
とかいっているが、そもそも数学では現実世界のものについては何物も主張していない。
オカルトといっしょにしないでほしい。
オカルトは現実世界を離れて存在することは出来ないが、数学は現実を志向していない。

75 :考える名無しさん:2005/05/14(土) 20:52:35
72は数学と物理の区別すらついてないんじゃ

76 :考える名無しさん:2005/05/14(土) 22:13:53
>>72
やばいね。頭悪いね。哲厨だね。
1つしかないと思われる宇宙に1+1=2が成立しないからって
数学は同語反復だ・幼稚な学問だとかほざいてるし。

77 :考える名無しさん:2005/05/14(土) 22:49:06
結局、このたぐいの哲厨が哲学の評判を落としているんだな

78 :考える名無しさん:2005/05/14(土) 23:46:35
>現実と異なる結果が出る数学は誤っている。それは単なる信仰で、宗教と同じだ。

馬鹿降臨ですか?馬鹿降臨ですか?

>コップ一杯の水にもうコップ一杯分水を足しても
考え方が根本的に間違ってるな。コップの水を足せば水が増える。だから足し算は成立している。
実際にそれを観測することもできる。だから1+1=2が成立しない例とはならない

成立しない例に十分なってるじゃない。はみ出た分の水を考えずコップの中
だけでわざと制限して考えれば。ではもっといい例として位数2の剰余環の例がある。
これは1+1=0となる。同じ人だと思うけど馬鹿ですか?

>数学は「馬から落ちて落馬する」といってるようなもので、同義反復してるだけ。学問としては幼児レベルだ。
借り物の意見ばっか語らず>>58を見てから反論しろ。キングオブカス





79 :考える名無しさん:2005/05/14(土) 23:55:24
コップの水の例えもそうだが、数学ってわざと物事を制限したりして
考える事によって、新概念が登場したり、新しい公理が
生まれることもあるよ。君の考え方では、リーマン幾何の球面三角形すら
「こんなπより角度が大きく、まず辺が直線でない三角形は三角形ではない。
こんなものを考えるのはは数学ではない」なんて言い出しかねない。

80 :考える名無しさん:2005/05/15(日) 00:10:22
話をかみ合わせるには理論と応用を分けて考えないとだめなんじゃない?

数学を幼稚だとか言うこの人は、限定された条件で数学という理論体系が
成立することまでは否定してないんでしょ。で、それが現実に応用できる
とかできないとか言うレベルでイチャモンつけてると。スレ読んでないか
らよく知らんけど。

で、漏れが思うに応用されると現実と異なる答えが出るから学問として
幼稚だとか、オカルトだとか抜かすからにはまず今使っている幼稚な
コンピュータを窓から捨てろと(ry

81 :考える名無しさん:2005/05/15(日) 01:26:13
もうさ、知りもしないこと適当な言葉並べて
ぐだぐだ語るような奴って死んだ方がよくね?

っていうかまあ>>72は低脳を装った釣りなんだけどな

82 :考える名無しさん:2005/05/15(日) 01:39:41
スレと関係ないんだけどさ、俺「釣り」とか「釣り師」っていうのは、
   釣り師→ ○  /|←竿
          ト/  |
          │.  ~~|~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          八   §←餌(疑似餌)     >゚++<
   の組み合わせだと思ってたんだけど、
   最近自称釣り師がダイレクトで自分の本音を攻撃されて「釣れた!」とか言ってるの多いよね。
   これは、どっちかというと、
      ..釣れたよ〜・・・│
      ────y──┘
 
       ・゚・。 ○ノノ。・゚・
    ~~~~~~~~~~│~~~~~~~~~~~~~~~
           ト>゚++< ミ パクッ
     ジタバタ  ハ
         ノ ノ なのではないだろうか。

83 :考える名無しさん:2005/05/15(日) 01:56:20
数学はルールの体系、ルールの適用法は一意的だが、どう適用するかは任意。
ある数学的構造と実際の現象との一致は、観測、検証問題。




84 :考える名無しさん:2005/05/15(日) 03:41:51
>>83
>>75

85 :考える名無しさん:2005/05/15(日) 05:17:35
なぜ数学がわからん馬鹿が数学を論じるのか
のほうが興味深いw



86 :考える名無しさん:2005/05/15(日) 09:38:02
文系にこういうこと語られると悔しくて仕方ない
数学が哀れで仕方ない
数学なんてものは決して文系が「〜というものだ」などと定義できるものではない
いくらお前らが自分の頭に自信があろうと
数学とは、自分の命をも削って付き合っていくものだ

87 :考える名無しさん:2005/05/15(日) 10:23:13
「数学の哲学」を担ってるのが文系の哲学者である件について

88 :なんちゃって哲学やさん:2005/05/15(日) 19:10:37
数学の哲学はredundantだと感じることがよくある。
数学の中に立ち入って数学の対象を事柄に即して探究するには無論
数学そのものをやらなければならない。それが必要条件。そうしなければ
数学について(メタ的にであれ)語るのはあまりにも僭越であろう。
数学を真に理解するために、変に哲学的概念を介して理解しようとすれば隘路に陥るであろう。
数学の哲学の論文を読むとそれを感じる。いままでの数学の哲学はいったい
数学の本質の理解にどのような貢献をしたのであろうか。
数学者の研究にどれだけインスピレーションを与えてきたのであろうか。
数学を真に理解するには、何も足さない、何も引かない、という態度で臨むべきではないか。すると
数学の哲学の論文は書けなくなるかもしれない。
数学には下手な思いつきを相手にしないほどの峻厳さと崇高さがある。
数学の哲学をやっている者はよくよく用心しなければならない。

89 :考える名無しさん:2005/05/15(日) 19:34:10
まあ漏れは解析数論(テーマは跡公式と正規化積)専攻だから
数学を語る資格はあるんだけどね。

90 :考える名無しさん:2005/05/15(日) 19:54:14
なぜ哲学者は数学を無視できないのか。
それはプラトンが数学的概念からイデアの着想を得たから。

91 :考える名無しさん:2005/05/15(日) 20:28:29
本当は数学って文系の筈なんだよね。
理系でよく使うけれど理学とは違う。
ところがいつの頃からか、数学できない香具師が文系ってことになってしまった。

92 :考える名無しさん:2005/05/15(日) 23:59:38
>>91
ヨーロッパでは数学と哲学と神学は自然科学でも人文学でもなかった気がするが。

93 :考える名無しさん:2005/05/16(月) 01:40:12
素朴な疑問。
どうして哲学屋は数学を知らない・出来ないのに
数学の意義・思想・哲学について語りたがるのですか?
「命題・述語(はあまり使われない)論理を使用してる」というだけの共通点で。


94 :考える名無しさん:2005/05/16(月) 01:45:58
>>93
数学基礎論とか科学基礎論みたいな、分析哲学よりさらに対象寄りの分野では、
本業崩れも含めてかなり解ってる連中がやってると思う。

95 :考える名無しさん:2005/05/16(月) 08:59:00
>>93
単に論理式で記述できるという事実から、
数学とは結局、論理学の中で展開できて、
論理学でしかない、と即断してしまうのでしょう。
つまり数学の多様なあり方の一側面だけを見て(それしか見えない)
数学の「すべて」が分かった気になって、
乱暴にも一般化してしまうのでしょう。
こういう手合いはいまだに根強くいるし、
そもそもその問題を理解していない輩が少なからずいる。
こんな調子だから数学者には相手にされない。

96 :考える名無しさん:2005/05/16(月) 12:47:38
数学は、仮定と演繹法を示して、その系に矛盾がなければよいのであって、例えば物理に応用して、
(ある意味近視眼的に)合っているかいないかで云々されるものではない。
また、不完全性定理の示すところの1つは、より広汎な体系から孤立して成立している公理系はない、
ということではないのか?



97 :考える名無しさん:2005/05/16(月) 12:52:53
=の右と左で同一のことを言うようにしているから、確実に同一である。
このようなものが数学だ。

98 :考える名無しさん:2005/05/16(月) 14:49:58
>>97
じゃあ不等式や包含式は数学じゃないのか?

99 :考える名無しさん:2005/05/16(月) 15:21:32
成立しているのを数学と呼ぶのであって
成立してないのは数学とは呼ばない

100 :考える名無しさん:2005/05/16(月) 15:22:17
>>99
だ。

101 :考える名無しさん:2005/05/16(月) 15:53:11
暇人のいい訳

102 :考える名無しさん:2005/05/16(月) 16:03:47
数学にも予想や仮説はある。
成立しなくても数学足りうる。

103 :考える名無しさん:2005/05/16(月) 18:39:34
数学嫌い。この世から消えてくれ。

104 :考える名無しさん:2005/05/16(月) 19:42:24
数学が成立しているという証明をまずしなければならない
話はそれからだ。
おれには数学が成り立っていると考える>>1がよくわからない。


105 :考える名無しさん:2005/05/16(月) 19:51:33
>>104
その程度の証明ぐらい自分でやりなよ

106 :104:2005/05/16(月) 20:00:27
>>105
もし君がそれを証明できているのだとすれば、
それが数学が成立する理由である。

107 :104:2005/05/16(月) 20:01:35
ごめん、理由 はおかしかった。
まぁ通じるからいいか

108 :考える名無しさん:2005/05/16(月) 20:08:50
証明とは数学的なもの。
よって証明は無意味。

109 :104:2005/05/16(月) 20:17:58
>>108
証明いがいであなたを納得させるものはなに?

110 :考える名無しさん:2005/05/16(月) 20:49:15

この世界のすべては数学なのだよ?
数学を知らずして生きることなどできないのだよ?
分かったらいますぐにでも数学を始めなはれ?

111 :考える名無しさん:2005/05/16(月) 20:52:43
>>108
パソコンでネットに繋ぎながらそんなことを…。

112 :考える名無しさん:2005/05/16(月) 21:47:40
>>109
数学の証明を数学で証明しても、証明になってないということ。
数学は成立するものではなく、成立すると決めたもの。
現実世界に合うように、成立すると決めたものが物理。

113 :考える名無しさん:2005/05/17(火) 17:17:02
>>104
数学とはどういうものかをまず自分で調べてこい

114 :考える名無しさん:2005/05/17(火) 17:47:22
空間があるから

115 :考える名無しさん:2005/05/17(火) 18:04:12
数をあつかうのも数学である。

116 :考える名無しさん:2005/05/17(火) 18:06:09
「数学」の定義ができないのに数学を証明することは
できない。

117 :考える名無しさん:2005/05/17(火) 18:12:10

数学を証明するってなんだよ。
ふつう証明するのは定理だろ?

118 :考える名無しさん:2005/05/17(火) 18:21:17
↑「数」の定義ができないのに、の間違いじゃった。

119 :考える名無しさん:2005/05/17(火) 18:28:44
数学のものが実在していると、実在は確実であると考えられ得るので、
数学は確実であると考えられるだろう。
従って、数学の扱うことがどのように実在するのかということでいいのだろうか。
それを扱うには、人間にこのような能力がなければならないということを
証明するならば、数学は確実であると考えられるのではないだろうか。
これは証明になるだろうか。

120 :考える名無しさん:2005/05/17(火) 19:58:27
>>112
無矛盾性というのは、実際問題数学の内側だけで解決出来てはいないし、また、恣意的にどうこう決めたから
必ず成り立つというものでもないんだよ。その辺、誤解のないように。

121 :ニーチェの後継者:2005/05/17(火) 22:46:37
あるものの実像を浮かび上がらせるためには、対比するものを持ち出して論ずる必要がある。
故に古典的ではあるが、数学と物理を比較すると・…
数学は新しい世界を作る学問であり、その出発点となる根源的法則はそこから派生する世界の神である。
翻って、物理は現実世界を支配する統一法則を見つけようとする学問であり、この世界の神を探す学問である。
数学は神になるための学問で、物理は神を探す学問なのだろう。

122 :考える名無しさん:2005/05/17(火) 23:13:56
別に演繹とか帰納とか言えばおしまい蛇ね?>ニーチェ
物理はシンプルな物を目指すと言うベクトルは含まれてるが。
どっちにしろ数学なんて人類が確立した認識体系の一つでは?

123 :考える名無しさん:2005/05/17(火) 23:48:09
農耕とともに数学は始まり、自然数の発明以前に、
飼っている羊や牛を
一頭ずつ自らが持っている小石と対応させることによって
ちゃんと全頭いることを確認するという作業を行っていたことが
判明したらしい。つまり、自然数の概念の獲得よりも、
数を数えることを必要としない1対1対応の概念の獲得の方が人類史上では早かったと言うことである。
自然数の概念(数を数えること)を獲得するのは、それよりも後のことで、
支配階級の存在が明確になったころらしい。収めた貢物や奴隷の数の確認、
戸籍を作る際の全数調査などにおいて必要とされた。
このころ同時に、加法や減法等が生まれたとされている。


124 :ニーチェの後継者:2005/05/18(水) 00:13:59
>122、123 算数と数学を区別して論じたい。
たしかに出発点は測量的なものとしても、もはやその具体を克服したのが数学では?
現実にも、数の認識から始まったとしても、ここまで数学世界が広がっているのですから。
いまさらそこまで数学の世界を狭くするような源泉は考えなくていいのでは。
例えピタゴラスの定理だって(発見できたのは数の概念があったおかげではあるけども)
人類が存在する以前にあった真理を発見したのであって、一つの仮定から(誤った仮定からですら)
いろいろな結論が広がる世界、人類の認識や現実世界をも超えた絶対性を持つものと思ってます。
以前は、この世界を把握する道具と言えないこともないが、その体系を基に、もはや新しい非現実的世界を作る力も
持っているのではないでしょうか。

数学に思い入れが在りすぎでしょうか?(数学者を目指したこともあるものより)




125 :考える名無しさん:2005/05/18(水) 00:21:38
>>124
1/2とか、パイという数を扱うのは算数だとおもう?数学だと思う?


126 :考える名無しさん:2005/05/18(水) 00:22:20

キミら、数学も知らんのか?

127 :考える名無しさん:2005/05/18(水) 00:26:09 ?
>>125

てか、1/3は難しいぞ。w


128 :考える名無しさん:2005/05/18(水) 00:34:25
>例えピタゴラスの定理だって(発見できたのは数の概念があったおかげではあるけども)
人類が存在する以前にあった真理を発見した
数学的真理が人間の存在に先立つという数学的真理至上主義の
悪臭が感じられる。そもそも人間がいなければ三平方の定理
いや三角形という事物の認識の仕方すら存在しないのでは。

以前は、この世界を把握する道具と言えないこともないが、その体系を基に、もはや新しい非現実的世界を作る力
数学として(矛盾が発見されずに)体系化されたら、p進Hodgeやエタール
コホモロジーや非可換空間だって別に抽象度が高く、現実に利用されず
日の目を見ないだけであって、
非現実的な世界を作ってるわけではないのでは。
(非現実というのは、私にとっては矛盾律を容認する世界のことですが)
学者を目指すにしては数学のことを分かってないような。



129 :考える名無しさん:2005/05/18(水) 00:37:43
>そもそも人間がいなければ三平方の定理
>いや三角形という事物の認識の仕方すら存在しないのでは。

根拠あるの?独断でも低レベルなものは許されねーよw

130 :考える名無しさん:2005/05/18(水) 00:39:48
πを利用するのが算術
πの構造や登場背景を調べるのが数学

小噺風で
1/2を分数であるというのが算術
1/2を有理数体に属するというのが数学

131 :ニーチェの後継者:2005/05/18(水) 00:42:04
>125
基本的には算数分野じゃないの?円周率という意味では小学校分野なので、文部省もそう考えてるのでは?

でも、それが数学的に興味の対象になって数学の研究対象に昇格したのかしら?
はじめは仕方なくπ=円周率という文字で抽象化したのでは?(小数点では表記できないので)・・そうしたらいろいろと
他の分野とつながり統一性が発見された。抽象化したり、名前をつけて認識することは、ことはこんなにも
発展性を秘めているのですね。
数学はやっぱり算数をから単位を消して抽象化して普遍的にしたものなんですかねー(ちょっと残念)。
でもこれは大きな違いと思いますよ。もはや数学は算数を遥かに超えて克服したのです。

132 :グロタンディーク:2005/05/18(水) 00:43:07

人がいようがいまいが、認識があろうがなかろうが、
数学は確かに存在しているのだよ。もし数学がなければ
物質世界は成立し得ないだろう。物理的な秩序は数学を
基に構成されているのだ。数学は普遍的存在なのだよ。

133 :考える名無しさん:2005/05/18(水) 00:45:00
では他に、人間のように図形を分類し、その構造を調べるようなような生物が
地球上にいるというのかな?

134 :考える名無しさん:2005/05/18(水) 00:46:42
クロネッカーは自然数の概念は神が創った。
それ以外は人間が作った、というけど、でも
全ての概念は人間などいなくても、存在しえたという
スピノザの方がすんなり理解できるね。

逆にクロネッカーは人間を一体なんだと思っていたんだろ。

135 :考える名無しさん:2005/05/18(水) 00:48:31
>>133
うちの犬はリッチテンソルの計算くらい楽にこなすぞw

136 :考える名無しさん:2005/05/18(水) 00:49:00
>他の分野とつながり統一性が発見された。抽象化したり、名前をつけて認識することは、ことはこんなにも
 発展性を秘めているのですね。
それだったら、結局数学なんてのは人間が作った物で、把握の一手段に過ぎないじゃない。

>数学はやっぱり算数をから単位を消して抽象化して普遍的にしたものなんですかねー
アフォ?

137 :鬱に負けないつよい心:2005/05/18(水) 00:49:11
>>132
グロタンはそんなこといわないだろうね。
グロタンは君と違って数学者だから。

138 :考える名無しさん:2005/05/18(水) 00:49:38
>>131
感覚に依拠した測定から脱し得ないものを算数、理念の世界で体系を構築しようというのが
数学、と考えてるのかと思ったら、そうでもなさそうだね。
自然数以外も数と認めたら数学と言ってよさそうな気がするけどね。

つーか、日本の小学校教育の算数と、君の言う算数は重なるの?


139 :考える名無しさん:2005/05/18(水) 00:50:43
>>137
それはどうかな?

140 :ニーチェの後継者:2005/05/18(水) 00:50:58
>132
同意です。改めて数学ってすごい学問ですね。数学者を尊敬しています。




141 :考える名無しさん:2005/05/18(水) 00:52:16
>うちの犬はリッチテンソルの計算くらい楽にこなすぞw
微分幾何をマスターしリッチフローも楽にこなせる点再建てか
>>134
存在してはいるが、数学的に把握されることは無いだろう。




142 :考える名無しさん:2005/05/18(水) 00:54:15
宇宙が数学的である事は認めよう。
いや、数学的だから存在し得ているのだろう。
なのに、なんでキャビボ角?

143 :考える名無しさん:2005/05/18(水) 00:56:59
>人がいようがいまいが、認識があろうがなかろうが、
 数学は確かに存在しているのだよ。もし数学がなければ
 物質世界は成立し得ないだろう。物理的な秩序は数学を
 基に構成されているのだ。数学は普遍的存在なのだよ。
んなわけない。数学が普遍的存在だなんてたわ言は、
人間の世界秩序観・世界の把握の仕方がが数学を元に構成されているだけのことに
気付いてないだけだ。




144 :考える名無しさん:2005/05/18(水) 01:00:15
つまり数学が、あたかも化学で言う
物質を構成している原子と同じものだと考えているわけだ。



145 :考える名無しさん:2005/05/18(水) 01:03:05
>>143
違うでしょ。言わんとしてるのは数学的概念は、
人間など存在しなくてもあるということ。人間が
何かを理解するのに数学的概念をあてはめてるのかどうかなんて
関係ない。

146 :グロタンディーク:2005/05/18(水) 01:05:06

カビボ角があるからクォークに存在する世代間の交流が
可能になっているのだよ。このことによってストレンジ
クォークは弱い相互作用を通じてアップクォークに移り
変わることもできるわけなのだ。

147 :考える名無しさん:2005/05/18(水) 01:07:54
目の前にりんごという物体的な一塊りがあります。
そこのもう一つのりんごという物体的な一塊りを並べてみました。
すると目の前にはりんごという物体的な塊りが二つあることになります。
これを表現したものが、1+1=2です。

目の前にりんごという物体的な一塊りがあります。
これを仲良しの友達と半分こしました。
こうして半分にされたもの各々の量は、先の一塊りからみると、半分の量になってます。
これを表現したものが1÷2=1/2です。

数学はリアルな世界の「表現」です。



148 :考える名無しさん:2005/05/18(水) 01:09:51
>>147
もし世界が一つのアメーバーのようなものだったら?
その世界では個数を表す概念はありうるか?

149 :鬱に負けないつよい心:2005/05/18(水) 01:13:35
>>146
おまえマジで不愉快なやつだな。
どういうつもりでグロタンを名乗ってるの?

150 :考える名無しさん:2005/05/18(水) 01:13:44
147の説明は、「量」という側面で見てるということを厳密に書くべきだった。
「量」が人間なくてしはあり得ないと考えるのも変な話だと思うんだ。



151 :考える名無しさん:2005/05/18(水) 01:14:10
100000000000000000000000000000+23456789012345678901234567890=123456789012345678901234567890
だけど100000000000000000000000000000個のりんごにもう23456789012345678901234567890個のりんごをさらにならべると
ほんとにりんごが123456789012345678901234567890こあることになるのかな?
誰か確かめてみた人いる?

152 :考える名無しさん:2005/05/18(水) 01:18:45
>>148
1÷2=1/2、1÷2÷2=1/4、1÷2÷2÷2=1/8なんだから、
分母を個数の表現と見なせばいい。



153 :考える名無しさん:2005/05/18(水) 01:23:51
>>152
個数の概念なくして自然数はありえないと思うが

154 :考える名無しさん:2005/05/18(水) 01:25:13
つまりアメーバーのような世界で二つに切ることも出来ない世界
そういう世界には自然数の概念などありえたのかどうか。

155 :考える名無しさん:2005/05/18(水) 01:30:21
>つまりアメーバーのような世界で二つに切ることも出来ない世界

なにが言いたいのか分からん

156 :考える名無しさん:2005/05/18(水) 01:30:51
アリストテレスは自然数の概念よりも、
個物の概念が先立つ、という考えを言ってなかったっけ?

157 :考える名無しさん:2005/05/18(水) 01:31:45
言ってなかった

158 :考える名無しさん:2005/05/18(水) 01:32:08
>>155
概念がそれに対応する何かを表現しているとする考えに対して。

たとえば、自然数や算術の基礎にリンゴやみかんを持ち出す議論について

159 :考える名無しさん:2005/05/18(水) 01:34:12
>>158
だから、アメーバ世界をイメージせよと言いながら「2つに切ることも出来ない」と言ってるのが
わからん。分裂しないならアメーバではなくなる。


160 :考える名無しさん:2005/05/18(水) 01:35:42
いや問題はそこじゃないだろw

161 :考える名無しさん:2005/05/18(水) 01:41:51
この板には数学の天才や物理研究者も時々来るらしいね。

162 :考える名無しさん:2005/05/18(水) 01:42:31
じゃあアメーバ世界の例で何を言いたかったんだ?


163 :考える名無しさん:2005/05/18(水) 01:44:49
>>162
哲板には147みたいなバカバカしい議論を
自明なものとして考えちゃう人が多いから、
一言物申したかっただけ。形而上学の基礎も
できてなさそうな人たち。形而上学なんて
俺もよく知らないけどw

164 :考える名無しさん:2005/05/18(水) 01:45:14
>>158
>概念がそれに対応する何かを表現しているとする考えに対して。

概念あるいは名が何かを表現しないのだとしたら、それは概念あるいは名ではない。


165 :考える名無しさん:2005/05/18(水) 01:47:59
草津温泉に毎週通ったナポレオン

166 :考える名無しさん:2005/05/18(水) 01:50:46
>>165
それは偽なる概念であり、なにも表現していないわけではない。


167 :考える名無しさん:2005/05/18(水) 01:55:12
>数学はリアルな世界の「表現」です。

俺の言いたいのは、リアルな世界の表現というのはなんとなく正しいと思うけど、
世界のありようの可能性を無限に考えた時に、どうやって自然数の概念を作るかはマジに
真剣に悩まないといけないかもしれないということだな。

自然数は絶対になくなってはならない、おまいらもそう思うだろ??

168 :考える名無しさん:2005/05/18(水) 01:57:10
自然数こそ神

169 :考える名無しさん:2005/05/18(水) 01:58:13

カントールの集合論についてどう考えてる?

170 :考える名無しさん:2005/05/18(水) 01:59:22
>>169
アホだから分らん。俺は自然数の実在しか信じてないからw

171 :考える名無しさん:2005/05/18(水) 02:02:45
おれとおまえがこうして対話できるのも自然数のおかげなんだよ

172 :考える名無しさん:2005/05/18(水) 02:10:18
>>167
>世界のありようの可能性を無限に考えた時に、

ここも何が言いたいのかはっきりしないな。
世界に不可能はないと言いたいのか?

世界に不可能がないかどうかは大いに問題になりうるし、
まして、それと自然数がどう関係するのかももう少し明確に語れ。

173 :考える名無しさん:2005/05/18(水) 02:15:35
>>172
俺は適当に読んだ哲学書は
アリストテレスの形而上学とスピノザのエチカの二つだけ。
ネタはそこに全部書いてある。俺は自然数を救うための勉強が
まだまだ足りないw

>世界に不可能はないと言いたいのか?
とりあえずここはyesと妄想100%で一言断言してしまう。

174 :ニーチェの後継者:2005/05/18(水) 02:19:40
>143言わんとしてるのは数学的概念は、 人間など存在しなくてもあるということ。

「ある」というのはあくまで人間の認識の問題なのでこの表現をするには、自我というものを出発点にしている
必要があるのでは?ということは「人間など存在しなくてもある」などどは言えないはずである。
議論するには必ず出発点がいるものであり、数学にしろ哲学にしろ、まず自我の存在から出発しなければ
何も始まらないので、ここはともかく信じるしかないのです。
但し143に思うのはは数学を現実把握の道具にしか考えてないところで、現実把握を目的とするのは物理の仕事で
数学は現実に沿おうが沿うまいがともかく1つの(例え誤ったあるいは真偽がはっきりしない仮定。たとえば背理法の
ときの仮定でもいいし、もっと複雑にカモフラージュした嘘の仮定でもいいけど)からでも数学を道具として世界が広が
るということで、その場合はその誤った仮定がその世界の神になるということです。
そうやって単純な仮定から独自の世界観を作っていくことが出来るのが数学の高尚さたる所以だと考えるので
数学者を尊敬しているのです。ここは哲学者に通じるでしょう。

因みに当方、石(高校時代〜JMOの会員で、オリンピック本選には出てませんが数学好きで
したがドロプし、灯台・兄弟・KOのどれかの医学部を修了しております)
なので数学とは現在まったく縁がありませんのが、数学者の世界には興味があります

数学者って数学をどんなものとして考えているのでしょうか




175 :ニーチェの後継者:2005/05/18(水) 02:29:39
174です >145 言わんとしてるのは数学的概念は、 人間など存在しなくてもあるということ。

に対する意見でした。間違ってすいません。たまたまこのすれ見て121から昨日はじめて2chに
参加しましたので慣れてなくてすいませんでした。
また慣れてから出直してきます。

176 :考える名無しさん:2005/05/18(水) 03:34:39
>>174
>「ある」というのはあくまで人間の認識の問題なので

「ある」という事態を人間の認識に限定にしますかね。
水分を求めて根っこを張っていく植物にとっても水は「ある」んじゃないでしょうかね。

それともデカルトが念頭にあるんですかね。そうだとしても、彼が数学的認識の正しさを
主張したのは、神の存在を証明した後、その神が人間の知性の明晰判明なる観念を
保証しているから、という形でやったのであって、出発点を自我にする君の主張は
よく分かりませんな。 デカルトに倣うなら、出発点は明晰判明なる観念にすべきであり、
しかもその際にも、その観念は神が保証する現実世界と切り離されてはいないんですよ。



177 :考える名無しさん:2005/05/18(水) 04:52:51
>>169
カントールの素朴集合論の哲学的意義は深そうな気もするけど、
それについてはまだまだ先。自然数の存在論的な神秘性を
究明するのが先だと思う。その議論の中で集合概念も見えてくると妄想してるw

178 :考える名無しさん:2005/05/18(水) 12:04:04
>>176
外在主義か。この問いから実存主義にも逝けるから深遠だなw

179 :ニーチェの後継者:2005/05/18(水) 20:46:02
>>176
水分を求めて根っこを張っていく植物にとっても水は「ある」 とのことですが

このように考えてる主体は「あなた」ではないのですか?
植物をそのように認識してるのも「自我」なんではないのでしょうか?
植物がこのように存在しているとか議論しているその主体は自我しかありえないのではないでしょうか。

そうすると一切の価値の根源である自我を確実に存在するものというところから出発しないと始まらないと思うのです。
それ故に自分を作り出した祖先や、ビッグバンや特異点その先をたどり、実体を持つものか、エネルギーと
見るかはさておき神の存在を認めないわけにはいかなくなる。
しかし神の存在を認め、自分が神の創造物だとすると、この考えてるという私の脳は神の手から発し、種の保存に有利な形で生き残った
化学結合体(化学反応の産物)と考えざるを得なく、神の思いに支配されているという意味で、自我=第1運動でありえなくなる。
そうすると自我が存在する→神を認めざるを得なくなる→自我が存在できなくなる
という板ばさみの理論に陥ることになる。
そうすると唯一そのジレンマを打破する理論はニーチェの「神は(いたけど)、死んだ」になる。
死に方は笑いこけたり、人間への同情からだったり諸説あるけれども。

今こそ人類は自我を取り戻し、この世に生きる意味を見つけるべきである。
神などにすがると己の死すべき運命を背負い、人類や太陽系すら死すべき運命にあるのを
そのまま仕方ないものと甘受することになり、また多くの優れた人、無実の子供が死ななけ
ればならないという現実地獄を受け入れざるを得なくなる。
しかしそんな残酷な神というものはどうしても認めるわけにはいかないのである。
つまり人間が自由にこの世の中を作りだし、人類として進歩していこうと考えると
神などという概念を持ち出すのは最悪なのであって、人類自らが神のレベル=超人になって
過去(不意に殺されたり、障害を持っておられる方)を保証する必要があると思うのです。



180 :考える名無しさん:2005/05/18(水) 20:51:51 ?
数学が成立する世界は、数学を所有する人の投影物だかだ。


181 :ニーチェの後継者:2005/05/18(水) 21:32:51
>>1なぜ数学が成立するか
について言えば現実に成立する必要はないとうのが答えでしょう。
別にこの世一つを唯一の世界と考えるのは視野を狭くするだけではないのでしょうか
1+1=2という仮定から論じる世界が数学なのであくまで仮定から出発している仮定の世界
ということです。
この仮定から出発するということ、現実に沿おうが沿うまいがそんなことに迎合する必要が
ないことが数学たる所以です。
たとえばこの地球はなぜ右回りなのでしょうか?(右とかは定義の問題ですが少なくとも
ある一定の方向に回っているのが、この世としてみてそれを右としましょう)
でも、左回りの世界があってもいいはずです。この不条理な世界を出発点とするのではなく、
人類の意思により、神に対抗する世界、神を無みにする理論を作り出しましょう。
数学者なら地球が左回りとして出発しても独自の世界観を作れることでしょうし、
ひょっとしたら左回りになるような根本理論を作り出せるかもしれません。
数学者にはこの不条理な世を保証し、現世を越えるような美的な世界が作れるものと
期待しています。

ニーチェの後継者として訴えたいのは
神の存在を証明したことに安住したのでは、そんな理論は人類の発展を阻害
するもので良くないということです。さらに論を進め、神を否定し、人類が創造の実権を握るべし
という考えを持ってこそ人類を進歩することが可能なのです。そのために数学・哲学は神に対抗す
る大きなツールだと思っています。



182 :考える名無しさん:2005/05/18(水) 21:58:05
>現実に沿おうが沿うまいがそんなことに迎合する必要がnai
数学は確かに必ずしも現実に沿う必要は無い。
しかもあなたが言うとおり
リーマン予想はまだ解決されてはいないがそれが解決されたと仮定して
導出される系・定理は200以上ある。しかもそれらの系・定理は
リーマン予想が正しくなくても命題論理上は真となる。
しかしいくら現実に沿う必要の無い自由な数学でもやってはいけないことが1つある。
それは、矛盾律を認めることである。
数学では仮定が偽であるか真であるか分からない場合は、その仮定が
偽であると仮定したら全ての命題は真となってしまう。
ちなみにそのようなトートロジーは導出された命題がいくら真であっても
数学をやってる者からすればそれはトリビアルかつ無価値である。
だから背理法により仮定は真であることを仮定するが、
その命題に矛盾が見つかったらその仮定は素直に偽であると認めなければいけない。


183 :考える名無しさん:2005/05/18(水) 21:59:54
×仮定は真であることを仮定するが
○仮定は真であるとするが


184 :考える名無しさん:2005/05/18(水) 22:05:07
>誤った仮定がその世界の神になるということです
確かに一時的・下手すると永遠にそうなるかも知れんが、そうならないように
頑張ってるのが未解決予想に挑む数学者なのさ。

185 :考える名無しさん:2005/05/18(水) 22:28:23
>しかしいくら現実に沿う必要の無い自由な数学でもやってはいけないことが1つある。
>それは、矛盾律を認めることである。

排中律を認めない数学はあっても矛盾律を
認めない数学は成立しない。

186 :考える名無しさん:2005/05/18(水) 22:30:42
スマン逆でした

187 :考える名無しさん:2005/05/18(水) 22:31:05
↑たしかに数学が無矛盾であるかどうかは証明
できないことではあるが、無矛盾性は数学の命です。

188 :考える名無しさん:2005/05/18(水) 22:33:31
矛盾律は
¬(p∧¬p)
でしたね。p∧¬pと勘違いしてた。>しかしいくら現実に沿う必要の無い自由な数学でもやってはいけないことが1つある。
それは、矛盾律を認めないことである。が正しいから、そう直して読んで。



189 :考える名無しさん:2005/05/18(水) 22:47:42
1掛ける0は0
2掛ける0は0
0は0

数式に書くと
1×0=0=2×0
つまり
1×0=2×0

右辺と左辺に同じ0を掛けているのは
省略することが出来る
つまり
1=2

1は2である

1個のリンゴは2個のリンゴに等しい
1個のリンゴは2個の、3個の、無数のリンゴと等しい

数学は成立しない

190 :ニーチェの後継者:2005/05/18(水) 23:10:06
>>184
確かに…
はじめから偽の仮定から正しい論理を適用しても偽の結論しか出ないことは分かりますし
、元よりくだらない議論になるでしょうね。
真偽のはっきりしない仮定から出発すると、もし真の既に証明された結論に至ればラッキーですが
もし偽の結論が出れば仮定が偽で耐えがたいでしょうね。

僕もそんな誤った仮定を神としてあがめようとしているのではなく、>>1に言いたいのは
物理と数学はアプローチが違って、数学は少なくともはじめからは
現実に迎合した仮定から入る必要は無いし、必ずしも現実的に成立するとは確かに言えない
可能性もあるけれども、少なくとも仮定の中では必然的に成立するとは言えるということを
伝えたかったのです。
つまり意味あるかどうかはさておき、成立しないことからでも数学することは出来るわけであり
数学は結論の正しさを保証するものではないということです。
あくまで数学は正しい論証の学問ですから。





191 :考える名無しさん:2005/05/18(水) 23:14:18
>右辺と左辺に同じ0を掛けているのは
>省略することが出来る

そんな算数はない。ここで間違いが成立。
間違った前提で何を言っても無駄。


192 :考える名無しさん:2005/05/18(水) 23:31:09
算数じゃないな。
数学の時間に習ったぞ。
習ったことのないやつもいるようだが。

193 :鬱に負けないつよい心:2005/05/19(木) 00:21:09
>>192
数学の時間に習ったらそれは数学なの?
習ったものは正しいの?
君は自分で考えることが出来ないの?

194 :考える名無しさん:2005/05/19(木) 00:27:45
>>193
くだらん一般論だ。
よくそんな恥ずかしいことが言えるよ。

現代の学校数学で教えられている内容が、
学的数学の一般前提と齟齬を来さないものであるなんて、
当然だろ。

195 :鬱に負けないつよい心:2005/05/19(木) 01:09:12
>学的数学の一般前提と齟齬を来さないものであるなんて、
ごめんよくわからない。分かりやすい日本語で書いてください。

196 :考える名無しさん:2005/05/19(木) 01:13:39
そういう低レベルな争いやめれ

197 :考える名無しさん:2005/05/19(木) 01:55:36
低レベルなニーチェかぶれが自演してるのが混乱のもと

198 :考える名無しさん:2005/05/19(木) 03:31:46
俺は超人だから眠くないんだよ

199 :考える名無しさん:2005/05/19(木) 04:14:28
>>198
早死に超人

200 :考える名無しさん:2005/05/19(木) 07:42:46
>>181
>1+1=2という仮定
仮定ではありません。証明されている「定理」です。

201 :考える名無しさん:2005/05/19(木) 14:37:57
>>200
ab≠ba、a(bc)≠(ab)c はどうよ?

202 :考える名無しさん:2005/05/19(木) 15:05:52

1+1=1を知らんのか?

203 :考える名無しさん:2005/05/19(木) 15:07:58
>>202
それをもとに、無矛盾な公理系を作ってチョ。

204 :分かるかね?:2005/05/19(木) 15:25:21
>>203

1+1=1、1−1=1。

205 :ニーチェの後継者:2005/05/19(木) 19:15:32
>>200
「仮定」という意味を理解してもらうにはまず等号とは何かを考えましょう。
1+1=2とは何を意味するのでしょうか?本当に1+1が2と同じと心から思えますか?
実際1+1→2というのは現実的に理解できるのでこれは定理は言い過ぎとしても公理
と認めて良いでしょう。しかし2→1+1とはならないでしょう(O+2でもよいのですから)
つまり1+1と2ではやはり本質は違うのです。
つまり等号にもいろいろありますが、算数でいう等号は方向性を持つものでいいのですが
数学の等号は算数のそれとは意味が違います。
数学のいう等号とは1+1と2は本質的に違うのであるが
(この世に同じ物など無いのですから1+1と2がはじめから同じ物であるなんて思う人はいないでしょう)
対等なもの=置き換え可能なものとみなすということにすぎません。
つまり1+1は2におきかえていいですよその方が表記上簡単ですし、
逆に比較の為に2を1+1に置き換えたほうが分かりやすい時はそうしても
いいですよという約束ごと、即ち仮定にすぎません。
つまり等号とは左辺と右辺を等価なもの=置き換え可能なものとみなすという約束にすぎず、
そしていくつかの根源的な仮定を出発点としていろいろな等号関係を見つけるのが数学なのです。
たとえば0.999999999999=1という等号はそう意味です。

そして、私がかつて「数学とは等号の連続体である」と考えたのはそういう意味であり
この世にある異なるものに、等価性を探し=のマークで結ぶのが数学の仕事の一つなのです。





206 :考える名無しさん:2005/05/19(木) 19:26:44
定理と公理の違いもわからんとは…重症だな

207 :考える名無しさん:2005/05/19(木) 19:37:53
>>205
何故に、1+1=2から1+1→2が導き出されたのかを理解するにはどうすれば
いいのでしょう。つまり、=の証明であるから、それに従い、=と→は等価と考え
ているので、導き出されたのでしょうか。→は原因と結果であって、=ではないで
しょう。=は同時に考え得るということではないだろうか。
=は運動の推移を考える事なしに同時に考える事ができる、ということではないのか。

208 :ニーチェの後継者:2005/05/19(木) 19:55:40
>>2071+1=2から1+1→2が導き出されたのかを理解するにはどうすれば
いいのでしょう。
これは自然数の発生から理解すればいいのではないでしょうか。人間がすべての認識の根源である
ということを述べましたが、自然数とは人類の身近にあった単体物質(単体=本能的に少なくとも1まとまりと
感じられるまとまり)に1対1対応させること認識でき、そして定義可能です。
もし、その根本を突き詰めていくと自己の認識ということに直面しますが、先に述べてるように
ここはともかくその存在を認めないと始まりませんので、物事の根源としての自我は認めてください)
そうすると、1とか2は定義可能なので、1と1を持ってくれば2という状態になるということを
観念上把握できるのではないでしょうか。ここまは算数的把握でも理解できると思うのですが・・・

唯脳論的に、自己の認識を根源に出発すると、こんな議論になります。
何度も言いますがすべての尺度、万物の根源は自我であり、そこから出発するしかないというのが
自説です。

209 :考える名無しさん:2005/05/19(木) 20:16:58
>>208
存在の前提は認めるにしても、
論理式は、全く概念の操作であるのか、それとも概念の操作に基づかない事が含まれているのか。
つまり、量以降は、概念の操作であるのか、必然性を具えていることがあるのか、ということ。
=は何であるのか、付属品を沢山付けましたが、それは簡潔なこれです、ということを表す記号
であるのか、とも例えることができるだろう。
論理記号はどのような役割を担っているのでしょう。

210 :考える名無しさん:2005/05/19(木) 20:18:26 ?

 ● + ● = ●●



211 :考える名無しさん:2005/05/19(木) 21:04:27
数学板でこんな会話してたら虐められそうだな

212 :ニーチェの後継者:2005/05/19(木) 21:05:55
>>210
我々が現実に把握できるのは●+●→●● であって(矢印は〜になるという言葉を省略
した記号です)
●+●=●●というのはあくまで左辺と右辺を等価なものとみなす
という約束事で、現実的な意味をもつかどうかとは切り離して考えなくてはいけない
数学の前提となる仮定だということです。

213 :210:2005/05/19(木) 21:13:10 ?
理解した、というか共感でちまちた。



214 :ニーチェの後継者:2005/05/19(木) 21:13:57
>>211
哲学板に書きこんだ理由ですが・・・・・・
最近の若者の数学力の低下を危惧しています。
若者特に中高校生に言いたいのは自分の価値観で徹底的に考えましょうということです。
大人や教師の考えることに従っていてはいけません。すべての尺度を自分において、
正しいことを徹底的に妥協無く考えて実践しましょう。
自分に命令することの出来ない人間は、必ず人に従わなければならなくなります。

私と共に唯脳論者になるならば、自我の存在→(自分を現実的に作り出したものとしての)神は
存在する→(自己の脳内化学反応を作り出している)神の存在を認めるわけには行かない
∴神はもう存在しない   という過程で神や既存の宗教(とくに胡散臭いやつ)を克服するでしょう。
つまり無神論にいきつくでしょう。
そして徹底的に論理的に考えるためには一人よがりにならないよう友や敵を持つことも
同時に必要になります。
ニーチェは「あなたは殺してはならない」という欺瞞がまかりとおる世の中に対し、
生きること自体が略奪と殺害を含むという真理を認め、その真理から出発した人間なので
偽善が全く無い徹底的な同胞です。

私自身がこのように公衆の場で語るのは、ニーチェがそうしたのにならったのと
(私はニーチェの意思を引き継いだ者なので、私をして語らせているのでしょう)
そして、人類を少しでも進歩させたいという思いです。なぜこの世に戦争や虐待、
などの不条理、地獄がまかりとおるほど、いまだ人類は発展途上なのかという思いからなのです。
ぜひ私は君たち若者に、より良い人類になるようにその基礎になれたらと思ってます。
単に自らのオナニー(自慰行為)でこの板を書いてるのではありません。
私自身はいろいろとあがいた挙句、結局一介の医師としてこの世を終えることになるか
もしれませんが、多くの方が数学者や哲学者になって、より多くの若者が日本人のみな
らず人類そして地球の運命を保証するために尽力してくれることを願っています。

215 :考える名無しさん:2005/05/19(木) 21:22:21
あまりニーチェ的には感じないんだが。
さっき読んでたんだけど。

216 :素人@210:2005/05/19(木) 21:26:11 ?
この世の中を厳密に見つめらた、同じものなど何一つない。

故に、究極は 「=」 ・・・同じという概念は、ありえないね。

でも数学にはそれがない。数(学)という枠組みの中で同じという
概念があるのかな。1と2は同じ種故に足すのもOKみたいな。
オモスロイね。

というか誰か「同じ」「類」とかいった哲学者を教えてください。
ちょっと調べてみないです。

217 :考える名無しさん:2005/05/19(木) 21:27:42
調べてみないのかよ。

218 :素人@210:2005/05/19(木) 21:36:34 ?
うち間違いだヨ。w


219 :考える名無しさん:2005/05/19(木) 21:37:59
>>214
同時に対象を1と1、そして、2と考える事ができるということでしょう。
どうしてこのような区別が生じると考えているのでしょうか。

220 :ニーチェの後継者:2005/05/19(木) 21:53:17
>>219
まず私たちが世界を認知する場合は、与えられたものそれは手で触れるとか、見えるという感覚的なもの
だからです。その感覚に従えば区別を生じることはなぜとかいうレベルのものでは。
区別できるんだから仕方が無いというのが答えでしょう。
でも、そこから出発するということはとりもなおさず神を受け入れているということになります。
だから私は神は存在した(過去形)といっているのでし、ニーチェは私はどこまでも身体であり、それ以外の
何物でもないといってるのです。
しかし人類が神の産物としても、神という概念は人類の発展をするものであることが分かってきて、
神の死亡という考えが人類の発展、平和(但しこの平和の意味は語り尽くせないくらいかなり複雑
であるけれども)にとって大切だということでニーチェは神に自殺させたりするのです。
自殺させるのはニーチェの神への愛情からですが。(神は笑い転げて死んだとも言ってる)

221 :素人@210:2005/05/19(木) 22:03:47 ?
スレ違いなだけに結論を急ぐが、

   (神秘的)神を殺す → 決定論

なんでしょ。どこぞの決定論者も騒いでいたし。無意識も彼等は知らない
みたいだし。

222 :考える名無しさん:2005/05/19(木) 22:07:00
>>220
論理的な式という概念の規則が量という存在に影響し得るのか。
これが、何故、数学が成立し得るのか、という疑問でしょう。
数学は、既に存在というものが前提されていて、概念がそのあり方を説明しているものであるのか、
概念の操作の結果に合わせて分量を集めてくるので、数学が成立するのか。
或は、我々が考えるところには、概念と感覚に確実性を具えている部分があるのか、
これらが考えられるわけです。加えて、数学は実在できないことには成立するとは言い得ないであ
ろうから、我々において空間のあり方を模したところが有らしめられているのではないか。
そのような部分が我々の中にあることにより、数学が成立しているのではないか、ということ。
数学はどこにおいて成立していると考えているのでしょう。

223 :素人@210:2005/05/19(木) 22:22:22 ?
ぽかぁ〜ん。


224 :考える名無しさん:2005/05/19(木) 22:30:32
論理規則のみで成り立つことを考えると、前提するだけで数学は成立するでしょう。
どうしてぼかぁ〜ん?

225 :考える名無しさん:2005/05/19(木) 22:34:18
左と右の形が違うのに同じ扱いでいいのかということでしょうね。

226 :ニーチェの後継者:2005/05/19(木) 22:40:18
>>221
その通り?かな。神を殺すのは、人類が主体性をもってこの不条理な世の中を
克服するために意識的に行うべきものなのです。ニーチェの場合は特にキリスト教が
人類の自由な発展を害してるものとしてターゲットに考えていたでしょう。
このように、今後の人類の発展には数学的な論証が役に立つと思っています。
数学は神を探すと同時に、神を克服する学問です。

>>222 数学は実在できないことには成立するとは言い得ない
なぜ?既に述べてる通り成立するか分からないことから出発しても数学は出来るのです
(数学は論証の学問なので)数学が成立するのは各自の仮定の中であり、たとえば我々の世界の
現実感覚にあう仮定を前提とすればそれなりの結論がえられるし、
ただ別の世界の仮定を出発点とすれば我々の世界では受け入れられないけれどもその
別世界での結論が得られる。
正しいとか正しくないとかを前提とせずいかなる仮定からでも世界を広げうるのです。

数学が成立するかは、その仮定が成立するかを問うことであり
それは各自の心にあるというのが結論で、
数学の結論が必ずしもこの世で正しいものである必要は無い。


227 :素人@210:2005/05/19(木) 22:46:01 ?
>>226
哲学主義者に神は殺せないと思うよ。神殺しは科学の停滞を意味するよ。
神殺しは決定論で世界を見渡す行為。未開発な現代において神殺しは、
愚考そのもの。

以降、神ネタ終わり。


228 :考える名無しさん:2005/05/19(木) 22:53:51
考えるな。感じろ。

229 :考える名無しさん:2005/05/19(木) 22:55:28
>>226
すると、数学は概念の操作のみである、その操作が成立すると、
数学は成立する。つまり、矛盾が無いことが数学の確実性ということになるでしょう。
そうであると、丁寧に計算すると、数学は矛盾がなくなるので成立しますね。
数学の成立はそんな感じでいいのでしょうか。

230 :ニーチェの後継者:2005/05/19(木) 23:22:25
>>>227哲学主義者に神は殺せないと思うよ。神殺しは科学の停滞を意味するよ。
なぜ?思想や思考は生の根本で、人間は考え方や教育に左右される存在です。
あなたはこの世に矛盾を感じず生きていけてるおめでたい人なのですか?
とにかく僕は今の不条理で矛盾に満ちた世の中が受け入れがたい
もしいわゆる全知全能の神いたとしたら、争い無く人類を過ごさせることも出来たはずな
のにそうせず全く無垢で無実な子供の虐待や戦争が存在するようにさせた神、そんな神を許せるのですか?
特にイスラムの考えなどはむしろ戦争を助長しているがこれは、神をそのまま受け入れたから。
教育とは自ら考え、他の人に支配されないようにし、世界平和を実現するために不可欠な
はずです。我々の世代は後の人類のためにも、そんな過去の神を克服する、具体的には
あらゆる人類の健全な発展を阻害するイスラム原理やオウムや統一教会…などとも
理論で克服していかなくてはならないのです。
個人レベルでの癌の克服と同じです。
人類が神々などから主権を奪って、自らが生きる意味を作っていくことが必要があるということです。
すべては人類を軽快に楽しく生を享受できるようにするためです。
ですから哲学者にはもっと実学家としても頑張って欲しいし、精神医学も勉強して
自殺者に自殺など勿体無いと希望を与える意味を作り出して欲しいのです。
私は別にニーチェ至上主義ではありませんし、彼自身も自分以上に神を無みにする者が
あれば喜んでその教えを請うと謙虚に言ってるのです。

231 :考える名無しさん:2005/05/19(木) 23:51:15
ここでニーチェニーチェと騒ぐ奴に限ってニーチェの著作を読んでない件について


232 :素人@210:2005/05/20(金) 00:13:30 ?
>>231
っていうか、もっと面白いこと言えよ。っていうか、漏れもまだニーチェは詠んでない。
さわりくらいしか知らないよ。w。

>>227
すでにアルコールに侵食されてますので、とお断りは入れておきますよ。序でに風呂上り、いやーっ、
気持ちえがったですたい。と、言いつつ、せっかくレスもらえたので、誠心誠意込めて、力の限りを
尽くしてレスさせていただきますよ。

>あなたはこの世に矛盾を感じず生きていけてるおめでたい人なのですか? とにかく僕は今の不条理で矛盾に満ちた世の中が受け入れがたい
寸分の狂いなく同意です。もしかしたら、私のただの嫉妬なのかもしれません、我侭なのかもしれません。一日に
一度は感じてます。ですが、私は、青臭いガキみたいなケツの穴に執着し完全性を求めてる訳でもありませ。自分も
その感覚はよく分かりますよ。ですが、ここで僕が言った神とは、神秘性を表しているんです。即ち、神とは、人、
人の概念を超越した存在のことですよ。神は、現代の教育を超えた存在ですよ、メタ的存在のことですよ。

>争い無く人類を過ごさせることも出来たはずな
>のにそうせず全く無垢で無実な子供の虐待や戦争が存在するようにさせた神、そんな神を許せるのですか?
は?。何故にその問題を持ち出すのですかね。何のためにその問題を持ち出すのでしょうか?。今の僕には
その設問は理解不能です。
なんか、ニーチェの後継者さんは、現代人だわ。医者らいしいですよ。現代の枠組みの中で意識の行き届いた
感じのレスですね。初めに言った通り、僕が言う神は、神秘性という意味でのそれです。理論、理性を越えた
意味での神です。ニーチェの後継者さんは科学者であられますね。信頼が置けそうなお医者さまですね、嫌味
抜きで。

>哲学主義者に神は殺せないと思うよ
大して深い洞察ではないが、この文言を噛み砕いておきます。何でも疑う哲学(者|好き物)にとって未知なる
領域、土地は遊びの園。神秘性=神、であるので、神殺しな哲学(者|好き物)は、遊びの場を奪われますよ。w


233 :素人@210:2005/05/20(金) 00:25:56 ?
ちなみに、ちろうとさんとは別人です。
すみません、まどろっこしい、名前で。

234 :考える名無しさん:2005/05/20(金) 00:26:19
>個人レベルでの癌の克服と同じです。

こんなこと書く奴がほんとに医者なわけねーだろ
糞して寝ろ


235 :素人@210:2005/05/20(金) 00:28:55 ?
ごめん、しろうと(さん)、とかいうコテとは別人です。
アルコール汚染で打ち間違い御免。w


236 :考える名無しさん:2005/05/20(金) 00:34:16

まだやってんの? 少しはまじめに数学を学んだらどう?

237 :ニーチェの後継者:2005/05/20(金) 00:45:02
>>236
数学はドロップしたものですから・…
でも>>180 を書いた人は1に対して一番簡潔で的を得た答えを書いてると思われ


238 :ニーチェの後継者:2005/05/20(金) 00:48:18
>>232
その通りです!
人類は拝火教やスーフィズムを克服してきた、たとえば昔は森の神様に恐れを無し
地上の土地を利用できなかったが、価値の転換が生じた時に、人類はこれに打ち勝ち
進歩、発展してきたのです。いつの時代にも、私たちを支配する根拠の無い力というものは
存在するのですですが、それを意識化するのが哲学者、数学者、物理学者の仕事で
それに打ち勝つことで、人類はさらに己を知り、生の根本的な意味を知り、進歩していくのです。
そのために特に高校生には批判精神、反骨精神を数学や哲学で勉強してほしいのです。

人類はまだ未来の人類に至る発展途上の存在なのですが、その過程に多くの人が
参加するように、そういう認識を持って生きていって欲しいと思っています。
僕は生きているうちに多くのそんな崇高な思いをもつ人を知って死にたいな
と思っています。(ニーチェはその時に国境が動くといっております)
根源的に言えばすべての生あるものは有意義なものなのですが、やはり
将来の世代のためにも自己を磨き、凌ぎを削る必要があるでしょう。


239 :考える名無しさん:2005/05/20(金) 00:54:51
>>237
全然的得テねーよ。つかそんな的あるならくれよ。

240 :考える名無しさん:2005/05/20(金) 00:59:15
×的を得る
○的を射る

241 :考える名無しさん:2005/05/20(金) 01:07:25
つか、ニーチェと数学ってなんの関係があるの?

242 :考える名無しさん:2005/05/20(金) 01:09:00
>ニーチェの後継者

スレタイ読める?

243 :考える名無しさん:2005/05/20(金) 01:10:11
>>1

おまえホントにそんなことも知らんのか?

244 :考える名無しさん:2005/05/20(金) 04:42:07
>>241
超人思想で数学やろうとしても、発狂しておわり。

245 :鬱に負けないつよい心 ◆QsxZsGqu.E :2005/05/20(金) 21:04:40
>>244
発狂は終りではなくはじまりだよ。
まあ発狂してない君には分からんかもしれんが、、、

246 :考える名無しさん:2005/05/20(金) 21:13:06
スレ違いなんじゃこのボケナスが!

【鬱】哲学やってるなら精神病・神経症持ちだよな?
http://academy3.2ch.net/test/read.cgi/philo/1112796474/

247 :鬱に負けないつよい心:2005/05/20(金) 22:14:47
>>246
そこの連中は鬱に負けた弱い心が行くところであって、
僕のようなつよい心が行くところではない。

248 :鬱に負けないつよい心:2005/05/20(金) 22:15:17
にほんごおかしくなってみた。

249 :考える名無しさん:2005/05/20(金) 22:26:34

言語障害?

250 :考える名無しさん:2005/05/20(金) 22:44:27
>>1
そんなの
「何故チェスのルールが成立するか」と言ってるようなもん。


251 :グロタンディーク:2005/05/20(金) 22:54:19

数学は人が定めたルールのようなものではない。
人は数学を作り上げることはできない。発見し、
探求できるのみである。

252 :考える名無しさん:2005/05/20(金) 22:59:20
>>251
んだ。

253 :考える名無しさん:2005/05/20(金) 23:34:08
>>251
うむ。
顕在化し操作対象とするべく、表現形式を作り上げるのである。

254 :考える名無しさん:2005/05/20(金) 23:40:11
人は数学を自らの発見、発明のどちからとみなすことしか出来ないの?

255 :考える名無しさん:2005/05/20(金) 23:47:25
というか、いったいどこからを数学と称するのかによるな。

なんらかの規則性を発見し、それにふさわしい公理を作る。
(公理をつくるところは人間の創作だが、全く恣意的に勝手なルールを作っても、
豊かな系は生まれてこない。)
公理系から演繹されるはずのものは、それが出発点からどんなに離れていようと、
本来そう在るべきものの発見である。


256 :考える名無しさん:2005/05/21(土) 00:18:26
公理なんてしょせんでっちあげじゃないの?
神が存在するから、神学が必要、みたいな。
もちろん一般人は直接神に触れることなんてできませんぜ。

257 :考える名無しさん:2005/05/21(土) 00:30:18
>>256 
ニーチェ厨うざい

こう‐り【公理】
1-おおやけの道理。一般に通ずる道理。
2-〔哲〕(axiom)
(ア)証明不可能であるとともに、また証明を必要とせず直接に
 自明の真として承認され他の命題の前提となる根本命題。
(イ)ある理論領域で仮定される基本前提。この場合、公理は自明な真理ではなく、
 公理系のとり方によって定まる。従ってある公理系で公理である命題も、他の公
 理系においては公理から証明される定理となることや、また偽となることがある。

258 :考える名無しさん:2005/05/21(土) 00:44:45
>257
ニーチェなんてしらね。

ヒルベルトの数学での経験がなければ一階述語論理の
公理系すらつくれなかったんじゃねえのかと。
数学者が数学的経験や直感に基づいて考察して、
あとから公理系を作るじゃん。

259 :考える名無しさん:2005/05/21(土) 00:46:23
>>257
で、おまえはそのコピペで何を語りたいんだ?

260 :考える名無しさん:2005/05/21(土) 05:39:12
>>255
(ノ∀`)アチャー

261 :考える名無しさん:2005/05/21(土) 07:18:38
哲厨はなぜ公理の形式的な側面ばかりを見て、数学の実在性を信じようとしないのか。
哲厨にとっては数学とは異教徒の神のようなものなのか?

262 :考える名無しさん:2005/05/21(土) 22:34:22
>>261
数学解るくらいの頭ならもっとマシなこと勉強する。
解んないから哲厨なんだよ。

263 :考える名無しさん:2005/05/21(土) 22:46:20
>>260
鉄屑は異論ありですかw


264 :考える名無しさん:2005/05/21(土) 22:50:15
>>262
数学はおろか、ほとんどの学問についてなにもわからんくせに
一家言もってるからこそ哲厨なんだな。

265 :考える名無しさん:2005/05/21(土) 22:52:01

そもそも全ては工学なのだよ?

266 :考える名無しさん:2005/05/21(土) 22:52:04
やっぱりどう考えてもカントのせいだな。

267 :グリーンマイル:2005/05/21(土) 22:52:47 ?
>>261
っていうか、全ては相対的なお話しだから、数学に実在性があるなら
哲学にも同様に実在性はあるだろ。

実存しない無限を∞げくくっちゃう数学は愚の骨頂。


268 :考える名無しさん:2005/05/21(土) 22:55:23
>>267
バカほど安易にプラトン批判。これが哲屑の現状だろ。

269 :考える名無しさん:2005/05/21(土) 22:56:00
>>267
(ノ∀`)アチャー

270 :数学版からちょっと通りますよ:2005/05/28(土) 23:47:49
数学版からこちらに来るようアドバイスを頂きました。
もし数学&哲学が出来るネ申がいましたらご教授お願いします。

【問】ちょっと根本的というか哲学的という問題なんですが、次の文章は正か否か!?


@連立一次方程式を解くためには、いろいろな方法があるが、連立一次方程式に関して言えば
いわゆる加減法だけを考えても解を論ずる上では一般性を失うことはない。

A連立一次方程式を解くということは、一般には与えられた方程式をすべて満たす未知数の値を
決定することと考えられているがこのようなとらえ方は連立一次方程式の場合にさえあまりに素朴すぎる。

B連立一次方程式に関していえば未知数の個数nと方程式の個数mとの間にn>mという関係があるなら
必ず解は無数にある。(不定)

C連立一次方程式に関していえば未知数の個数nと方程式の個数mとの間にn>mという関係があるなら
解は存在しない。(不能)


○×は書いてあるのですが解説がないので具体的なイメージが湧きません。
どれか1つだけでもいいので例をあげて教えて頂けないでしょうか?

271 :考える名無しさん:2005/05/28(土) 23:55:05
Aは素朴という言葉からしてダメだな。

272 :考える名無しさん:2005/05/29(日) 00:11:27
学校の宿題か何か?
自分で疑問に思ったんならBとCが並列して出てくるなんてありえないから。
だったらずるしないで自分で考えな。
@の質問とAの質問が曖昧。
@は「解が求まる」と「加減だけで解が求まる」が同値かってこと?

273 :考える名無しさん:2005/06/25(土) 17:17:57
「何故、数学は成立するのか」を問う前に、
「いかにして、数学は成立するのか」を問うてみるとよい。

274 :考える名無しさん:2005/06/25(土) 20:29:45
数学も所詮、世界を数字というもので定義した結果にすぎない。
それはまさに、知覚から世界を見たその格差に存在するものだからである。

275 :考える名無しさん:2005/06/26(日) 09:00:06
>>273
そういうカント的なでっちあげ臭プンプンの言葉なんて
もはや誰も耳を傾けませんよ。

276 :273:2005/06/26(日) 12:07:47
>>275
いっていることの意味がよく分かりませんが。

私のいいたいのは、
数学的対象の存在やその認識について深く広く理解するためには、
「数学の哲学」を学ぶのではなく、むしろ
数学そのものがどうなっているか考究することの方が肝要だ
ということです。
つまり数学そのものをやることによって、
数学に現れる対象の存在やその関係の仕方を
より適正に洞見することができるという意見です。
まあ、これは私見に過ぎませんがね。

あなたはどういう見解をお持ちですか?

277 :考える名無しさん:2005/06/26(日) 13:30:00
数学の全体像については、不完全性定理が強く示唆していませんか?

278 :哲学埋葬派:2005/06/26(日) 14:23:48
http://www.bk1.co.jp/product/01890122/?partnerid=p-mbiz03205

アーネスト・ゼブロウスキー著
「円の歴史」河出書房出版社
導入部から非常にわかりやすく、数学、物理学、哲学に横断した論陣を
張った良書!>>1さん貴方の疑問に少しでも助けになるのかと

279 :考える名無しさん:2005/06/26(日) 15:18:01
>>277
その示唆の内容を教えてください。
数学の全体像についてどうだといっているのですか?

280 :考える名無しさん:2005/06/26(日) 15:41:19
数学とは何かということを考える際に無視できないポイントの一つが
不完全性定理によって示されて入ると思うが、それをどう解釈するか
によって「全体像」は違ってくると思うんだが。

281 :考える名無しさん:2005/06/26(日) 16:16:00
ちょっと言い方を変えて、

「勝手(あるいは恣意的)な仮定でもいいが、その上に無矛盾な系が立てられれば、それは公理として
妥当だが、それ自体は系の中で真とも偽とも証明されない」

というのはおかしいかな?

282 :考える名無しさん:2005/06/26(日) 16:48:50
不完全性定理なんて数学となんの関係が?

283 :考える名無しさん:2005/06/26(日) 18:24:30
定期的に不完全性定理厨が湧くよな…。

284 :考える名無しさん:2005/06/26(日) 18:44:11
>>282
無矛盾にして公理系が成り立つものだけが数学の部分となる。
もっとも基本的な公理は、公理系を規定するのであって、公理系内では真偽を問えない。


285 :考える名無しさん:2005/06/27(月) 00:30:16
数学はそれほど得意じゃないが、
不完全性定理は現代数学を考える上で頻出する定理という認識だ。
だが、ちょっと考えればそれ以外に重要な定理や公理があることはすぐにわかるのだが。

286 :考える名無しさん:2005/06/27(月) 02:03:43
>>285
双対対称性

287 :鬱に負けないつよい心:2005/06/29(水) 14:50:03
>不完全性定理は現代数学を考える上で頻出する定理という認識だ。
はあ?

288 :考える名無しさん:2005/07/10(日) 23:48:40
>>274
数学的認識は知覚に先立つ

289 :考える名無しさん:2005/07/12(火) 12:25:05
age

290 :考える名無しさん:2005/07/23(土) 18:04:30
数学のできることは「解=○○」ということだと思うけど
「じゃあ解って何?」と数学者に聞いても「解は解だ」としか答えないだろう
「解」という言葉を、一体どういう根拠で使っているんだろうね

291 :考える名無しさん:2005/07/23(土) 20:59:41
中学生?

292 :考える名無しさん:2005/07/23(土) 21:51:20
>「じゃあ解って何?」と数学者に聞いても「解は解だ」としか答えないだろう

へっ?数学者に聞いてみたの????

293 :考える名無しさん:2005/07/23(土) 21:54:38
解無しという解

294 :考える名無しさん:2005/07/23(土) 21:56:28
>>290
恥ずかしい事は人前で言わないほうがいいぞ

295 :考える名無しさん:2005/07/23(土) 22:20:38
まあ、「数学の出来ることは、公理を前提にして定理を証明することだけだ」
とか言ったほうがマシなんじゃないでしょうか。

296 :考える名無しさん:2005/07/23(土) 22:26:22
言語と言語学ならちゃんと区別してるのに
数学というのは対象としてる世界と扱ってる学問の名前が一緒なのでややこしい。

「数学の出来ることは〜」というのは扱ってる学問のことだろう。

297 :考える名無しさん:2005/07/23(土) 22:55:45

天才数学者のお兄さんに聞いてみなよ。

298 :考える名無しさん:2005/07/23(土) 23:02:24
1>
数学ってあると便利だから。
で終了


299 :290:2005/07/23(土) 23:19:05
「解」の概念を把握して使ってるわけじゃないってことを言いたいんです
数学として、答えを表現するために解という言葉を拝借してるだけ

300 :考える名無しさん:2005/07/24(日) 09:37:51
こんな問いには、一流の数学者にも答えられないよ。返ってくるのは
「信念」だけだね。


301 :考える名無しさん:2005/07/24(日) 10:19:18
要するに、「数学は『数学とは何か?』という問いに答えない」と言いたいのかな?

302 :考える名無しさん:2005/07/24(日) 10:22:59
スレタイは、なぜ数学は成立するか、でしょう?
答えない、ではなくて実際、知らないだろうというのです。


303 :天才数学者:2005/07/25(月) 02:48:29

キミら数学の本質を理解できてないようだね。
なんでそこまで無知で教養がないのかな?

304 :天才数学者 ◆LC7P44pfbg :2005/07/25(月) 20:00:31

数学の本質を知れば、なぜ数学が成立するのかもおのずと分かる。

305 :考える名無しさん:2005/07/25(月) 21:16:21
成立した部分が数学だからで〜す。

306 :考える名無しさん:2005/07/26(火) 00:36:56
ずれるけど専門的な最先端の問題とかは世界で何人とかでしか議論できないでしょ
それって数学が普遍的とは

307 :考える名無しさん:2005/07/26(火) 00:42:34
数学を理解したり、議論できたりすることと、

数学が成立していて、
数学的法則によって構成されている世界を了解していることは別。

308 :考える名無しさん:2005/08/11(木) 05:29:38
>>305
そういう言い方もできるが、成立している部分だけで充分複雑。
だからこそ「何故、数学は成立するのか」という疑問が成立すると
思う。

309 :考える名無しさん:2005/09/06(火) 00:12:20
1そのものなんてどこにあるんだろう。
何かを1つとか1個とか数えることができるのに。

たぶん、同じところに数学があるんだ。 

310 :考える名無しさん:2005/09/06(火) 00:16:25
>>306
時間と手間を惜しまなければ、ほぼ万人がフォロウできますが。


311 :考える名無しさん:2005/09/06(火) 00:28:25
>>305

そういうのを哲学的詭弁と言うwww

312 :考える名無しさん:2005/09/06(火) 00:32:15
数を数える能力と論理的に思考する能力が人類に普遍的だからだろうな。
後はその組み合わせだからな。っと、幾何はどうする???


313 :考える名無しさん:2005/09/06(火) 09:21:52
ヒント:代数幾何

314 :考える名無しさん:2005/09/06(火) 09:50:52
プラトニズムか構成主義か、みたいな数学の哲学の議論というのは、
みながなっとくする確定的な答はでないのが普通だから、
それを前提にして議論しよう。・・・・・・もうしてる?

315 :考える名無しさん:2005/09/06(火) 11:31:39
「言語はなぜ成立するか」
教えて。

その答えは、「数学はなぜ成立するか」の答えでもあると思うんだけど。

言語って、辞書にある記号連ねてるだけでしょ?

と言ってみる。


316 :考える名無しさん:2005/09/06(火) 11:34:52
>>315
スレ立ててくれ。


317 :考える名無しさん:2005/09/14(水) 01:19:07
言語からは、その内容とか意味とかとは何の関係もなく
必ず「存在」という概念だけは抽象できるのがミソかなあと思う。
「A」という言葉は、その意味はなんであっても、ただ
「Aという言葉は存在します」ってことを示すとすると、
「存在」概念を抽象できないことはありえない。
でないと「Aという言葉は存在しません」になるから、だったら
そもそも存在しませんと言えない筈じゃんてことになる。
この「存在」が「数」じゃないかなあ、と思う。
だから言葉があれば数は必ず抽象できる。
数が言語から抽象したものだとしても、言語そのものが自然を的確に
表現してないと、数と自然は連携してくれない。
科学という言葉が自然を論理的に描写するようになったので、
数で自然が表現できて、予測できるようになったんだと思う。
「神様が雨を降らす」という時代には、数はあったろうけど
予測能力を発揮してくれない。
なんで数があんなに美しい体系をしてるのかは全然わからないけど、
「抽象」と関係があると思う。
「抽象」ていうのは人間の能力のことじゃなくて、
「ある集合を任意の1存在とみなす」構造というか。
任意っていうのがミソで、任意だから元の集合とは何の関係がなくても
存在さえすればいいわけで。
つまり存在と存在は関係しあうってことで、その関係は全くの任意でも、
たとえそうでも美しい体系になるんだ、きっと、、というか。。。
なんか混乱してきたけど、やっぱり人間存在とは独立の、
というか人間の思考も含めた体系の原理みたいなものが
この宇宙にはあるんじゃないかなあと思う。

318 :考える名無しさん:2005/09/28(水) 02:21:26
>>214
0.素直に感動。
1.素直に感動しました。
2.素直に感動したぜ!。
3.素直に感動したわ!。
4.素直に感動したYOU!。

319 :考える名無しさん:2005/10/09(日) 15:39:06
前え向きに論証することなく、
後ろに渡す学問だからだ

320 :考える名無しさん:2005/10/13(木) 08:28:51
成立してないのが真相

321 :考える名無しさん:2005/10/13(木) 08:33:14
永遠に演算すればおこない自体が神と同等の数学として存在する。


322 :考える名無しさん:2005/10/13(木) 10:34:39
論理規則は正しい。
第一の数式や次の数式はどこからか来る。
数学は他の数式を加えて考えることが許されている。

323 :Meta:2005/11/08(火) 17:13:11
>>317
>「A」という言葉は、その意味はなんであっても、ただ
>「Aという言葉は存在します」ってことを示すとすると、
>「存在」概念を抽象できないことはありえない。
この三行が肝要だが、何を言いたいのか良く解らん。
一行目の「A」という言葉は、二行目の「Aという言葉は存在します」を示していない
のではないか? 二行目はメタ言語ではないか?
三行目の「存在」概念とは、言葉の存在のことか? 言葉の対象の存在か? あるいは
存在一般か?
また、実在しない対象(例えば、神)を言葉で表わすとき、その実在しない対象の
「存在」はどうなる?

324 :考える名無しさん:2005/11/08(火) 20:32:54

1^3+2^3+3^3+4^3+5^3+・・・=120

325 :考える名無しさん:2005/11/08(火) 22:46:03
>また、実在しない対象(例えば、神)を言葉で表わすとき、その実在しない対象の
>「存在」はどうなる?
哲学ジョークスレでそのネタ有ったな。現在のフランス国王は存在しないってやつ。

326 :考える名無しさん:2005/11/08(火) 22:50:50
殿下はいるらしい。

327 :考える名無しさん:2005/11/10(木) 14:15:10
判例とは要するに法の微分である。
つまり法の局所的な情報を与える裁判所の意思表示である。
どういうことか。n−1個の事案要素と1個の結果があるとして、この全体はn次元空間を構成する。
そして法とはかかるn次元空間に浮かぶグラフであって、
判例は、特定の事案要素(x1,x2,x3,,,,,,,x(n-1))から法というグラフを通して現れる
結果xnの表示にほかならない。
ということは、法の全体像を知るには、これらを総合すなわち積分すればいいのであって、
その方法は、地道に判例をみていくしかない。
地道に判例(法の微分=法の局所的情報)を理解する過程で学習者の脳内に
法の全容が積分されてくるわけで、法を理解するには、局所的情報を地道に積分する
努力、忍耐、根性しかない。法律が好きな人は苦もなくやるだろうが、
好きでない人には労苦以外の何ものでもない。


328 :考える名無しさん:2005/11/13(日) 09:52:58
/:::::::|/::::::::::|   ...|:::::|.i::::,,,---::::::::i:::::::i::::||:::iあっははは! なあに? この変なマンガ本の山は?
:|::::::::::::::::::::::i...ii  .i::::::ii::/.,,─-,,"ヽi:::::::i:::ii:::::|「おにいちゃん、もうダメッ……!!」って、何これ?
:i::,,-""""-::::i..i:i  |:::::::::::.i  .. i...i:::i:::::i:::ii:::::iあんた、いつもこんなの見て、その粗末なモノを一生懸命こすってるの?
i:i .,-""..ヽ::::ii:::i ..i"".. "..,,__丿ヾ:i::::i:::ii::::::|道理でイカ臭いわけだわ、このマンガ本。ページもガピガピだし。
i,,i |   ..|." ...i i         ...i::i::::ii::::::|どうせあんた、現実の女と寝たことなんてないんでしょう?
i::",,,ヽ ,,/   ii          ....i:::::i:::::::|こんな子供の裸見てオナニーなんて、人間として恥ずかしくないのかしらね。
::::::::""      i          ...|::::::::::::::i……あら、どうしたの。私に罵られて勃っちゃったわけ?
:::"        ..ヽ:::::::::::::      i::::::::::::::|幼女趣味だけじゃなくて、そっちのケもあるの? サイテーね。
ゞ        :::::::::.,,, --,,"    ,":::::::::::::|そんなサイテーなあんたは、せいぜいそこで一生しごいてなさい。え、何?
-".,,      --,,,"   ./    .,"::::::::::::::::l私にやって欲しいって? あっはははは、冗談でしょ? 私が? あんたのを?
::|::::ヽ       ."- .-"::::::::: /::::::::::::::::::::|誰がそんな汚いチンポに触ると思ってんの? 寝言は寝てから言いなさいよ。
::::i::::|:"--.,.,,,   :::::::::::::::::::::::::/:|:::::::::::::::::::::::iこうして見てあげてるだけで有難く思いなさい、ロリコン童貞!
::::::::::::::::::_,r-┤"--.,,,,,:::::::::::,-":::├、,:::::::::::::::::::lほらどうしたの。さっさと出せば? いつもやってるでしょ? あっははは!

329 :考える名無しさん:2005/11/13(日) 13:04:36
>>315
そのへんはオートマトンや言語理論の範囲でいえば、
ある記号列に対してイエスかノーを答えることが言語であり数学である。
帰納的集合は完全判定できる。しかし非帰納的集合は完全には判定できない。
自然数の定理全体の集合は非帰納的である(ゲーデル)

330 :考える名無しさん:2005/11/13(日) 21:34:53
<ギネスブックの「πの桁数暗記の最高記録」一覧>・・・The greatest number of places of π

 1973.12.21 Timothy Pearson(英)(13歳)        1210桁  ティモシー・ピアソン
 1974. 6    Edward C.Berberich,Jr.(米)       1505桁  エドワード・バーベリッチ・ジュニア
 1974.10.15 Michael John Poultney(英)(23歳)   3025桁  マイケル・ジョン・ポールトニー 
 1975.12. 4 Simon Plouffe(カナダ) (19歳)       4096桁(=2の12乗) サイモン・プラウフ
 1977. 3.22 Michael John Poultney(英)(26歳)   5050桁
 1978. 8.17 Luc Lapointe(カナダ)(17歳)          8750桁         リュック・ラポワント
 1979. 6. 4 友寄英哲(ともより ひであき)(46歳)     15151桁(3時間10分)
 1979. 7.12 Creighton Carvello(英)(25歳?)       15186桁         クレイトン・カーベロ
 1979. 9.24 友寄英哲(46歳)                  20000桁(7時間5分)
 1980. 6.27 Creighton Carvello(英)            20013桁(9時間10分)
 1981. 7. 5 Rajan Srinivasen Mahadevan(インド)(23歳)31811桁(3時間49分)(休憩26分含む)
             ラジャン・スリニバセン・マハデバン
 1987. 3. 9〜10 友寄英哲(54歳)              40000桁(17時間21分)(休憩4時間15分含む)
 1995. 2.18  後藤裕之(ごとう ひろゆき)(21歳)      42195桁(9時間21分30秒)
 2004. 9.25  原口 證(はらぐち あきら)(58歳)     54000桁(8時間40分)
 2005. 7. 1〜2  原口 證(59歳)              83431桁(13時間16分)・・・世界記録

日本人が凄いのは、語呂合わせが出来るからだと思


331 :考える名無しさん:2005/11/13(日) 21:37:17
世界記録を作ったのは、千葉県茂原市のボランティア、原口證(あきら)さん(58歳、1945年11月27日生れ)で、
 円周率の数字列を語呂合わせで「物語」に翻訳することで記憶できたという。100桁単位で区切って、頭出しが
 しやすいように工夫したという。原口さんはボランティアで、神経症に悩む人たちの相談相手をしているが、平常心を
 保つことが大切な仕事で、円周率の暗唱と同じなのだという。


日本語以外に3種類の文字を使い、語呂合わせが出来る言語はない

332 :考える名無しさん:2005/11/14(月) 23:06:43
>>323
>>317の4行目以降の「Aという言葉」は「Aという対象」にすると意味が通る。

333 :考える名無しさん:2005/11/17(木) 00:41:32
逆じゃね?言葉さえあればいいって意味と読んだ。
「この世に存在しない物」1個と「どこにも存在しない物」が1個。
あわせていくつ?答え2個。つー計算も算数的にはあってる。
要は算数は言葉さえありゃ対象の有無と関係なく成り立つってことだろ?
「この世に存在しない物」をなんで数えられるんだとかとは関係なく。

334 :あぼーん:あぼーん
あぼーん

335 :考える名無しさん:2005/11/25(金) 14:23:35
>私が最後まで見ててあげるからさ! あっははは!
それはありがたい

336 :考える名無しさん:2005/11/25(金) 15:02:35
確率微分方程式について教えて下さい

337 :考える名無しさん:2005/12/14(水) 12:54:07
よく馬鹿がもしかしたら1+1は2ではないかもしれないなどと
見当違いの事を言っているが現代の数学は1+1が2になる場合の事を
考えているわけで、別に1+1が2でない場合を否定しているわけではない。
文系馬鹿は妄想で、数学者は1+1が2になる事を決め付けている!
そしてそれに疑問をなんらもたないやつらだ!と考えている。
こういうとてつもない馬鹿が哲学だのなんだの語っているのだから笑わせてくれる。

338 :考える名無しさん:2005/12/14(水) 15:19:06
>>336
数板で言えよ

339 :考える名無しさん:2005/12/15(木) 01:43:35
数学と算数を混同してるヤシがいるなw

340 :考える名無しさん:2005/12/15(木) 15:09:20
1+1=算数 だと思っている椰子がいるなw

341 :考える名無しさん:2005/12/17(土) 01:10:59
>>337
超正論
終了

342 :考える名無しさん:2005/12/17(土) 12:59:24
>文系馬鹿は妄想で、数学者は1+1が2になる事を決め付けている!
>そしてそれに疑問をなんらもたないやつらだ!と考えている。

スゲー決めつけだなw 例えば誰よ?

343 :考える名無しさん:2005/12/17(土) 15:26:53
人生哲学を垂れる爺とか

344 :考える名無しさん:2005/12/17(土) 18:39:52
>>342
そういうくだらんツッコミを入れてるオマエだよ
なにが「例えば誰よ?」だ
小学生かオメーワ

345 :考える名無しさん:2005/12/17(土) 19:15:09
げんに1+1=2の体制しか、今存在しているあらゆる数学が
認めてないわけだから決めつけているのと同じことだろ。
どこが正論なんだ?あたま悪いんじゃないか?

346 :考える名無しさん:2005/12/17(土) 19:20:51
人間の智能
 規則 一から十、十から百、…の規則
 図面 1+1である
 空間 ・ ・

一タス一は点々も答えになる、だが、式は規則に従ったものなのだ。
従って、式の図は二だということなのだ。

347 :考える名無しさん:2005/12/17(土) 19:55:19
>>345
1の剰余系で1+1=2というのは初めて聞きましたw

348 :考える名無しさん:2005/12/18(日) 00:23:23
>>345は以下の文を1万回読め

現代の数学は1+1が2になる場合の事を考えているわけで、別に1+1が2でない場合を否定しているわけではない。


349 :数学者:2005/12/18(日) 00:46:07

おまいら、1=0を知らんのか?

350 :考える名無しさん:2005/12/18(日) 07:10:18
>>349
x=1とすると
x^2=x (=1)
両辺から1をひく
x^2-1=x-1
(x+1)(x-1)=x-1
x+1=1
x=1-1=0

∴ x=1=0 /qed

351 :考える名無しさん:2005/12/18(日) 13:21:21
>>344
典型的な理系馬鹿

352 :考える名無しさん:2005/12/18(日) 13:37:25
>>350
(x+1)(x-1)=x-1
↓ この部分が間違い
x+1=1

x=1を前提として2行目以降展開しているから
(x+1)(x-1)=x-1は両辺0
両辺0の式に別々の値を掛けても結果は等号になると言っているに過ぎない

353 :考える名無しさん:2005/12/18(日) 15:42:22
>>351
典型的な使えない文系
頭が固すぎてすぐ言い訳してしまう癖があるため、
バイトもろくにできず、就職なんてとてもできそうにない
世間的な扱いは中卒以下

354 :考える名無しさん:2005/12/18(日) 23:01:38

> 頭が固すぎてすぐ言い訳してしまう癖があるため、
> バイトもろくにできず、就職なんてとてもできそうにない
> 世間的な扱いは中卒以下

まじで、理系院卒にもいるんだが、そういうの・・

355 :考える名無しさん:2005/12/19(月) 00:56:29
物事は成立するんじゃなくて、成立させるんだ

356 :考える名無しさん:2005/12/19(月) 01:23:21
1=0の証明において

>x=1とすると
>x^2=x (=1)
>両辺から1をひく
>x^2-1=x-1
>(x+1)(x-1)=x-1
>x+1=1
>x=1-1=0

>∴ x=1=0 /qed

x=1より
x-1/x-1の解はないので
x+1≠0(≠1)となり
矛盾が生じる

ゆえに、この証明は成立しないことになる罠

357 :考える名無しさん:2005/12/19(月) 01:31:10
>>345
無限の濃度の計算は1+1=1(m+m=m)だぞ。
現代数学が1+1=2しか認めないってお前馬鹿か?

358 :考える名無しさん:2005/12/19(月) 01:32:48
1は無限の濃度じゃないのに何言ってんの?

359 :考える名無しさん:2005/12/19(月) 04:00:06
1^3+2^3+3^3+4^3+5^3+・・・=1/120 だから 120(1^3+2^3+3^3+4^3+5^3+・・・)=1

360 :考える名無しさん:2005/12/19(月) 16:43:45
数学ってのは成立しているのではなくて、人為的に無理矢理成立させている感があって嫌いです。

361 :考える名無しさん:2005/12/19(月) 16:45:41
>>360
文系的勘違いw

362 :考える名無しさん:2005/12/19(月) 16:48:01
その考え違いを文系的とみなすこと自体
とんでもない勘違いだわな

363 :考える名無しさん:2005/12/19(月) 17:20:22
>>358
>1は無限の濃度じゃないのに何言ってんの?
m9(^Д^)プギャーーーッ!!!

364 :考える名無しさん:2005/12/19(月) 17:21:21
>>360
>人為的に無理矢理成立させている感があって嫌いです。
実際に学んだ上で言ってるのか?
それとも学びもせずただなんとなくそう感じるからか?
後者だったら薄ら馬鹿。

365 :考える名無しさん:2005/12/19(月) 18:45:45
ちんこ

366 :考える名無しさん:2005/12/19(月) 22:40:15
ゼノンの逆説のアキレスと亀とかは数学なんですか?

367 :考える名無しさん:2005/12/20(火) 05:20:54
文系が理系にケンカを売ってみたが、
コテンパンに返り討ちにあって半ベソ
かいているスレはここですか?

368 :考える名無しさん:2005/12/20(火) 05:24:16
性格が屈折していたらそういうふうに見えるわけ?

369 :考える名無しさん:2005/12/20(火) 06:55:30
>>367
言うなれば私は、私の天才的知能により誰もが持っている「内なる世界」とでも呼ぶべき世界を、常人より遥かに優れた形で構築してしまっている。
その世界は既に外界のそれに迫り、一部では遥かに凌駕してしまっている。


370 :考える名無しさん:2005/12/20(火) 06:57:56
応化実験で死にかけた人類の英雄が数学が嫌いだと半べそかいているスレはここですか?

371 :考える名無しさん:2005/12/20(火) 07:07:59
>>368
もちつけ
おまいの日本語ヘン

372 :考える名無しさん:2005/12/20(火) 07:08:48
>>363
確かに>>357はアホ過ぎるよな

373 :考える名無しさん:2005/12/20(火) 07:18:02
>>371
横で悪いがどこが変なのかわからない
後学のため説明希望

374 :考える名無しさん:2005/12/20(火) 08:47:28
日本語できなくて、数学出来ますか?

375 :考える名無しさん:2005/12/20(火) 08:51:14
数学って、なるようにしかならないもんだろ?
複素数や四元数はできても、恣意的に三元数は作れない。

376 :考える名無しさん:2005/12/20(火) 10:08:30
>>372
ん?馬鹿はお前だろ? 顔真っ赤にしなくていいよ。

377 :考える名無しさん:2005/12/20(火) 13:46:16
煽るしか能がないってことはわかった

378 :考える名無しさん:2005/12/20(火) 13:49:48
いやほんとに、
> 無限の濃度の計算は1+1=1(m+m=m)だぞ。
なんて言うことにどんな意味があるのか教えて欲しい。
濃度の計算ではκが無限のときκ+κ=κになることは
知ってる。昔Kunenの教科書で集合論勉強したし。
でも1は無限の濃度じゃないんだからZFCの濃度算術では
1+1=1にはならないだろ。

379 :考える名無しさん:2005/12/20(火) 22:50:17
1+1が2になるとするとき、その形式は共有されていると
言っていいんじゃないの。

380 :考える名無しさん:2005/12/21(水) 06:45:11
>>378
馬鹿すぎる・・・

381 :考える名無しさん:2005/12/21(水) 23:29:52
これじゃ埒があかないんで数学板にでも訊きにいくわ

382 :考える名無しさん:2005/12/22(木) 14:34:29
>>348

ふふっ

言うなれば私は、私の天才的知能により誰もが持っている「内なる世界」とでも呼ぶべき世界を、
常人より遥かに優れた形で構築してしまっているのだよ。


383 :考える名無しさん:2005/12/22(木) 17:54:56
>>382
それを普通、基地外というのだよw

384 :考える名無しさん:2005/12/23(金) 04:26:50
>>383


高校ぐらい池よ〜

385 :考える名無しさん:2005/12/23(金) 04:45:57
>>384
池沼?

386 :考える名無しさん:2005/12/23(金) 14:52:10
数学は数という言葉について考える時の決まりごとetcにすぎないわけで・・・
1+1は2、と決めてあるってだけの学問。
つまり成立する、というより成立させてる、学問かと。
なんでこんなスレが長寿なんだろ・・・

あと、ついでに無限という言葉を数学として計算した場合、
無限+無限=無限
一見したところ1+1=1を認めているように見えるが、
これは「無限」が数より概念に近いからそう見えるだけね。
「無限」は「限りない数」という性質の言葉だからややこしいことになってるわけだ。
限りない数の計算なんて幾何学的な考えでしか通用しないのに、
無理矢理計算してるからおかしなことになってる。
確かに無限+無限は無限にならなきゃ「数学的」には正しくないが
論理的にはハァ?な式だ。
「数」が「言葉」から離れて一人歩きしてる。イクナイね。

387 :考える名無しさん:2005/12/23(金) 17:58:22
>>386
>1+1は2、と決めてあるってだけの学問。
単なる決まりごとではないし、決まりごとで成立させているわけではない。
数学の法則は、我々が世界を認識する働きそのものを関係化したものに他ならないからだ。

388 :考える名無しさん:2005/12/23(金) 19:29:12
>>386
あふぉとしかいいようのないあふぉ

389 :考える名無しさん:2005/12/23(金) 21:54:07
心理主義では正しい数学の認識はできないよ?

390 :考える名無しさん:2005/12/23(金) 22:03:26
でもさ〜
ほんとに数学好きなやつってここ来ないよね
数学語るやつは数学がある程度得意な奴か
数学やってきて限界感じてる香具師じゃね

391 :考える名無しさん:2005/12/24(土) 03:07:00
数学ってほんとにやんなるくらいくだらない.
数学の根源って4次元以上のユークリッド空間とベクトルにあるんだけど
3次元空間を経験則とする我々にとってまったく意味無いじゃん.

392 :考える名無しさん:2005/12/24(土) 04:00:00
>>391
物理学が分って無い。

393 :考える名無しさん:2005/12/24(土) 04:06:50
>>391
こういう馬鹿が跋扈するから哲学が不当に馬鹿にされる。
日本は哲学不毛の地。

394 :考える名無しさん:2005/12/24(土) 12:56:48
>>391
三次元空間は、縦横高さだけじゃないんですけどー

395 :マイちゃん:2005/12/24(土) 13:11:12
リンゴを切るとリンゴの数は増えるけど1つは小さくなるのね。マイちゃん天才〜!

396 :考える名無しさん:2005/12/24(土) 14:05:15
>>395
ナイフについた果汁は無視ですか?

397 :マイちゃん:2005/12/24(土) 14:23:42
果汁!
切ったリンゴを合わせても果汁の分だけもとの1にならないのね‥。マイちゃんショック(pд`。)

398 :考える名無しさん:2005/12/24(土) 14:44:01
マイちゃんとショタくんがいます。合わせていくつ?

399 :考える名無しさん:2005/12/24(土) 14:46:40
何の法則だっけ?

三角形を切って四角形にすると面積が変わる奴。

400 :マイちゃん:2005/12/24(土) 14:54:05
合わせて1つ

401 :考える名無しさん:2005/12/24(土) 14:58:22
>>399
対角線あたりに、1マス分の面積のスリット作るやつだろう?

402 :マイちゃん:2005/12/24(土) 15:00:48
0ってゆうのも不思議

403 :マイちゃん:2005/12/24(土) 15:05:59
あとマイちゃんが不思議に思うのは-
レンズで遠くを大きく見た時に遠くと私の距離がなくなって感じる事。レンズの中で距離が短くなってるの?

404 :考える名無しさん:2005/12/24(土) 15:06:41
合わせて1つになったあと、マイちゃんが「おかあさんにいいつけてやる」というと、ショタくんはマイちゃんを
絞めてしまいます。それがばれるとショタくんも吊されるので、0になるわけですね。わかりましたか?

405 :考える名無しさん:2005/12/24(土) 15:09:26
>>403
スレ違い。こども物理質問箱に逝こうね

406 :マイちゃん:2005/12/24(土) 15:10:14
わかりました(・∀・)

407 :遣唐使:2006/01/07(土) 20:56:17
唐出張してま〜す

ジエンコテ犯教員=【苦悩するドナ ◆oyDevpsyVg =ロボ ◆SOOOOROBOM】

http://academy4.2ch.net/test/read.cgi/psycho/1046868314/458-464

http://academy4.2ch.net/test/read.cgi/psycho/1116159415/53-68

http://academy4.2ch.net/test/read.cgi/psycho/1011054931/607-610

408 :考える名無しさん:2006/01/08(日) 17:50:42
「僕の記憶は、80分しか持たない」ことを覚えているあなたはだあれ?

409 :考える名無しさん:2006/01/08(日) 22:52:14
理系は数学の認識論的意味は理解していない。
文系も同じであるため、両者は永遠に交錯しない。

違うところで論じていることがわからないのは両方とも同じ。
ある意味で両方とも正しいし、両方とも間違っている。

メクラとイザリ、ということだな。w

410 :考える名無しさん:2006/01/09(月) 17:36:54
公理的集合論なんかを例にして考えれば、無理やりかどうかは知らないが、
「人為的に成立させている」という感はあるわな。

411 :考える名無しさん:2006/01/10(火) 02:32:01
>>409
馬鹿はおめでたくてけっこうなことだよw

412 :考える名無しさん:2006/01/11(水) 14:22:51
三元数はなぜないのですか?

413 :考える名無しさん:2006/01/29(日) 03:39:56
スレタイに対して>>386みたいな思い込みしてる人ってどのくらいいるんだろうか。

>>360>>410みたいに言い換えると言葉に詰まる。

>>387
もっと詳しく書いてくれ。
数学の法則ってどこまで指してるつもりなんだい。
>単なる決まりごとではないし、決まりごとで成立させているわけではない。
って断言しているわりには
>世界を認識する働きそのものを関係化した
などと真逆とも取れる曖昧な理由付けはないだろうに。

414 :考える名無しさん:2006/03/21(火) 23:56:28
それは理由を問うているのか?
それなら、数学だけじゃなく、すべての存在する物に同じ問いが
投げかけられる。

415 :考える名無しさん:2006/03/22(水) 00:15:15
>>413
「世界を認識する働きそのもの」に依拠した部分は人間の恣意的な取り決めでない
ってことでは?


416 :考える名無しさん:2006/03/23(木) 01:21:24
>>415
その意味だと真逆になる。

>単なる決まりごとではないし、決まりごとで成立させているわけではない。
これは実在論に推挙する物言いと取れる。百歩譲って
「1+1=2」を論理的真理として体系化する、という話につながる。

>世界を認識する働きそのものを関係化した
これは観念論に依拠すると取れる。つまり人間の恣意的な活動が
「1+1=2」を成立させている、という話。

これでは世界を認識する働きの関係化=論理と言ってるようなもんだ。

417 :考える名無しさん:2006/03/26(日) 19:21:52
>>416
宙に浮かんでる数式が前提された図で考えられたり、
現実のものを基礎にしたりするので、
整合性があったり、確実であると考える。

418 :考える名無しさん:2006/07/06(木) 22:13:02
>無限の濃度の計算は1+1=1(m+m=m)だぞ。
これは端的に間違い
基数の加法ではそういう風に定義しないので

1+1=1となるような数の体系を考えることは出来る
ただし、その場合は「+」はすでに我々が普段使い、1+1=2が成立すると考えている
足し算においての「+」とは、同じ記号を使っているだけで意味が違うし
そのそも「1」の記号の意味も同じであるという保証は無い

つまり数学では1?1=1が成り立つような演算?の体系も考えるんだよ、
というそれだけのことで別に大したこともない

419 :考える名無しさん:2006/08/07(月) 18:40:40
×

420 :考える名無しさん:2006/08/08(火) 11:53:22
一元体を知らんようだな

421 :考える名無しさん:2006/08/08(火) 12:15:37
数学は成立すると考える人間がいるから

422 ::2006/08/08(火) 12:44:18
>>1
1+2+3=6であって、1*2*3=6であるからじゃないか? たしてもかけても同じになる完全数(Aristteles)がある。
ゆえにその完全さを含む数学は完全である(三段論法?)。

423 ::2006/08/08(火) 12:48:29
>422
逆に6-3-2=1であり、6/3/2=1である。だからこれらの完全性(同一帰納性)を示す式を含む数学は完全である
(成立する)、とも言える。

424 :考える名無しさん:2006/08/08(火) 13:47:44
数学の本質を考えれば明らか

425 :考える名無しさん:2006/08/08(火) 20:24:31
実在を反映しているから

426 :考える名無しさん:2006/08/08(火) 21:59:44
>>412
あるよ

427 :考える名無しさん:2006/08/08(火) 22:11:36
へ、論理として成立するのが数学だろ。設問自体が勘違いしてない。

428 :考える名無しさん:2006/08/08(火) 22:22:02
>>1
>何故、数学は成立するのか
フィクションだからさ。物語、作り話の確からしさは100%。

真理、現実においては100%はない、それ故に成立などという
神々しい語は適しません。

常にフィクションは100%成立し、現実は常に誤差を含むのが世の常。


429 :でカルト:2006/08/08(火) 22:29:24

数学というのはとにかく間に合わせの学問なんだ。




430 :考える名無しさん:2006/08/08(火) 22:35:31
数学をやることで、普段の生活では得られないような透明な思考を獲得できる。
プラトンの国家にそんな文章があったな。
根源的な性質を公理として借定して、今までの知識を整理することで、体系的、論理的な思考力を獲得すること。
いい数学の条件みたいなものですな。
微籍を使いこなせるだけでどれだけ多くの事が理解できるか。
それを複素関数に拡張するだけでどれだけ美しい性質を導きだすことができるか。
位相の簡単な公理だけでどれだけ多くの数学の基盤をフォローできるか。
代数系を整理することどれだけ思考が円滑にすすむことか。
ちなみに多様体論の公理というのは存在せず、1の分割によって実数論の公理に帰着されるのだ。
現代思想の深谷氏の文章で指摘されてることだけど。
幾何の理解が難しいのは多様体の自明な性質が簡単には証明できないことから来るのかな。

431 :考える名無しさん:2006/08/08(火) 22:44:59
>>430
ことの本質はイメージ力だと思うよ。言語の代わりに数式を使ってみても
大差ない。
言葉遊びも同様だ。言葉で次の新たな言葉に置換してみても内実は何もない。
重要なのはイメージだよ。

数学も哲学も数式と言葉の上で戯れているようじゃ、どちらも大差ない。

本質はイメージ力と思われるが・・・そこから言葉も数式も生まれるよ。
どちらもイメージの表現手段だよ。



432 :考える名無しさん:2006/08/08(火) 22:52:55
あなたがなにをいってるのかわからないけど。
たぶん数学について思い描いてることが違うのでしょう。
たとえば三角形についてのイメージもおよそ異なるものになるに違いない。
万人が認めるような性質にまで抽象化した三角形が、プラトンのいう透明な思考によって獲得された概念。
つまりイデアなわけだ。

433 :考える名無しさん:2006/08/08(火) 23:08:07
>>432
数学的対象はイデアではないと思います。イデアは1つしかないものだから。
たとえば三角形の合同を証明しようとしたら同じ三角形を2つ書かなければいけないから、プラトンにとってはそれはまずい、ということになります。
プラトンが数学的対象をどう位置付けていたかは議論の分かれるところです。
それでも数学者の間ではプラトンのファンが多いらしいですね。

(ここから別の話)
1+1=2というのが実在を反映しているのには納得だけれど、
たとえば(-1)×(-1)=1というのが現実世界においてどういう事態を表わしているのか実感わかないなあ…
複素数とかは実際にはないはずの数を考えているんですよね?

434 :考える名無しさん:2006/08/08(火) 23:20:02
>>431
言いたいことはよく分かるけれど、430とはかみあっていないみたいですよ?

435 :考える名無しさん:2006/08/08(火) 23:21:34
ここには、数学の本質を理解してる人はいないみたいだね

436 :考える名無しさん:2006/08/08(火) 23:24:57
>数学的対象はイデアではないと思います。イデアは1つしかないものだから。
>たとえば三角形の合同を証明しようとしたら同じ三角形を2つ書かなければいけないから、プラトンにとってはそれはまずい、ということになります。

よくわからない。

ちなみにプラトンが数学において強調したのは、証明の基盤に対話を求めることです。
公理も性質というよりはただの対話に先立つ約束ごとに過ぎません。
ただそこから演繹されたものは、直観や経験とリンクするかはさておき、ひとまずは数学的真理とみなすことができます。
(-1)×(-1)=1もそういった一例でしょう。
基本的にはただの規約です。

あと複素数はもちろん実数だって、実在するかは疑わしいですよ。

437 :考える名無しさん:2006/08/08(火) 23:27:58
数学というのは実在なんだよ。

438 :433:2006/08/08(火) 23:52:53
>>436
イデア論はパルメニデスという哲学者への応答で、パルメニデスは「有はひとつしかない」と言っていたからそれを受け継いでイデアもひとつしかないのです。
ここでの議論では数学的対象=イデアとしてもほぼ問題ないのでしょうが、気になったので一応突っ込んでみました。

ええと、それでは436さんは数学はただルールを決めてそれにしたがっているだけという立場なのでしょうか?

439 :考える名無しさん:2006/08/09(水) 00:59:11
>ええと、それでは436さんは数学はただルールを決めてそれにしたがっているだけという立場なのでしょうか?

違います。
直観が利くところもあるし、論理だけで進まないといけないところもあります。
時には自分の論理だけではうまくいかなくて、他人との出会いを通じて、問題を解決する時もあります。
深谷氏の 数学者の視点 という本には、そのあたりのことに対する分かりやすい解説があります。
興味があったら一読をおすすめします。

440 :考える名無しさん:2006/08/09(水) 01:02:09
>気になったので一応突っ込んでみました。

どうも。



441 :考える名無しさん:2006/08/09(水) 01:12:04
>>435
といった香具師がその本質を知らないのは、2chクオリティー。w



442 :考える名無しさん:2006/08/09(水) 01:14:46
>あと複素数はもちろん実数だって、実在するかは疑わしいですよ。
それじゃ数学フィクションが成り立たないよ。
『数学上では』複素数も実数も実在するのが当たり前だよ。

443 :考える名無しさん:2006/08/09(水) 01:17:08
数学における「実在」とは、「無矛盾」であるということ、
あるいは、「モデル」を構成できる、という意味です。

哲学でいう「実在」に相当する概念は数学にはありません。

444 :考える名無しさん:2006/08/09(水) 01:21:24
複素数や実数、(-1)×(-1)=1という数式には、1+1=2という数式のように素朴に実在してるとは思えない、のような流れですよ。

445 :考える名無しさん:2006/08/09(水) 01:30:18
「素朴に実在」って何よ?
君にしか通用しない言葉でしょ

446 :考える名無しさん:2006/08/09(水) 01:32:34
数学の質問です。
mをmmになおすにはどうやればいいですかね?
ド忘れです

447 :考える名無しさん:2006/08/09(水) 01:34:32
「素朴に」は「思えない」を修飾してるつもりだと思うけれど。
「実在していると素朴に思えない」

448 :考える名無しさん:2006/08/09(水) 01:35:30
公理とその系をはっきりわけれてないから君達の言ってることわけわかめ。
虚数の存在はかなり議論されたが、虚数の存在は実に大きくて、実世界でも有効に使われることを考えると、虚数だけ疑うのは明らかにおかしい。数を疑うって事は人間の持ちえる自然界を疑うってことだぜ。つまりもっと数学勉強して、せめて高校数学以上の知識で話してよ。
0.999・・・=1が疑問だから数学の公理系が疑問ってな感じだと、話しにならんぜ。哲学の本読むより数学やる方が哲学の本質を直に感じれると思うよ

449 :考える名無しさん:2006/08/09(水) 01:35:45
>>446
1000をかける

450 :考える名無しさん:2006/08/09(水) 01:36:47
君がどう「思うか」なんて、君自身にしかわからんよw

451 :考える名無しさん:2006/08/09(水) 01:38:54
>>449
ということは21mmだった場合はどんな答えになりますか?

452 :考える名無しさん:2006/08/09(水) 01:41:16
21÷1000=0.021m


453 :考える名無しさん:2006/08/09(水) 01:41:37
そっすか。


454 :考える名無しさん:2006/08/09(水) 01:43:11
そうそう、数勘定って面白いと思わないかね。
この世に何二つと同じものがないのに数を数える。

ちっちゃいトマトにでっかいトマト、ついでに青いトマトで合計三つ。
厳密に考えたら、それぞれ1っこずつ。数を数えるにはトマトいう狭い
概念の世界がいるんだねぇ。そうだねぇ。

で、数学には、この類似性という概念が一切ないんだねぇ。だから数が
数えられるんだねぇ。そうだねぇ。


455 :考える名無しさん:2006/08/09(水) 01:49:26
なぜ単位を無視するんだ?
その物のなにを1としてるかはっきりしろよ、まるで代名詞のように1って言ってみたり数的に言ってみたり、それでその物の物理を引き合いに出したりしてもなぁ。穴だらけで哲学らしくない

456 :考える名無しさん:2006/08/09(水) 02:08:06
>この類似性という概念が一切ないんだねぇ

なるほど。
自然数と経験は、上のように結びつくと考えていいわけですね。
実数を一般の人はどのように思い浮かべるのでしょうか?
数直線あたりと対応させるのでしょうか?
複素数の実在ほど、気にしてる人がいないようなので。

現代数学の体系では自然数の公理は簡単です。
それにくらべると実数の構成というのは遥かに複雑です。
その隔たりをみると、実数の実在でさえ疑わしいと、素朴に思ってしまうわけですね。

457 :考える名無しさん:2006/08/09(水) 02:18:55
”実在” の使用法が恣意的

458 :考える名無しさん:2006/08/09(水) 02:26:06


459 :考える名無しさん:2006/08/09(水) 02:28:05
わからないならいいよ

460 :考える名無しさん:2006/08/09(水) 02:30:00
哲学の議論に不馴れなので、よろしくお願いします。

461 :考える名無しさん:2006/08/09(水) 02:32:18
>>456
私は一般人の部類に入ると思うけれど、
自然数…普通に納得
0…「ない」っていう意味負の数…借金をマイナスで表わす例で納得
分数…ひとつのケーキを分ける例で納得
小数…分数の延長として理解
無理数…面積の例で納得
という感じです。
でも虚数(i)は
x^2=-1を解けるようにするために作った、と高校で習ったから、なんか不思議な感じがするんですよね。
自分のやっていることが何を意味してるのか分からないんです。

462 :461:2006/08/09(水) 02:36:06
>>456
すみません肝心な点を書き忘れました。
実数は461で書いた納得できるものの集合だからまだ実感が湧くんです。

463 :考える名無しさん:2006/08/09(水) 02:39:46
>>457-460
私は457じゃないけど、「実在」という言葉で何を意味しているかが人によって(あるいは同じ人でも使う場面によって)違うという意味だと思いますよ。

464 :考える名無しさん:2006/08/09(水) 02:47:23
(xが実在する)⇔(xは任意の意識と独立に存在する)

465 :考える名無しさん:2006/08/09(水) 02:55:49
>>460,463
数学の議論では「実在」などは使わない。
明瞭にイメージできるってことだろうけど、その人の数学レベルによって
イメージできる範囲が違うのは当然だし、またイメージは人それぞれ。
人それぞれのイメージを捨象しても成立するのが数学。

>>461
複素数体は、まず実係数多項式環R[X]を極大イデアル(X^2+1)で割った
商体R[X]/(X^2+1)として定義し、加法と乗法を複素平面上の
平行移動と拡大・縮小&回転移動として理解すればいいですよ。

466 :考える名無しさん:2006/08/09(水) 03:18:32
>明瞭にイメージできるってこと

物自体(カント)。

467 :考える名無しさん:2006/08/09(水) 03:32:15
コンピュータRPGのキャラは実在なの?

468 :考える名無しさん:2006/08/09(水) 03:35:58
哲学用語は使う人によって意味や用法が千差万別
「実在」とか「観念」なんて言葉を使うと、数学者からはキチガイ扱いされるよ

そもそも学部程度の数学もマスターせずにスレタイみたいな議論するのは無駄だよ

結論:勉強しろ

469 :考える名無しさん:2006/08/09(水) 03:37:24
>>467
>>428にとってはそうらしいね

470 :考える名無しさん:2006/08/09(水) 05:52:05
>>465
数学の哲学の中では、実在論か反実在論かっていうのは、最大の論点の一つだね。

471 :考える名無しさん:2006/08/09(水) 05:54:40
>>468
> そもそも学部程度の数学もマスターせずにスレタイみたいな議論するのは無駄だよ

そんなことはないだろ。無駄かどうかどういう基準で考えているんだい?

472 :考える名無しさん:2006/08/09(水) 06:37:50
学部卒程度の数学力では数学の片鱗すら見えてこない。

哲学の見地から研究テーマを発見して数学者どもを跪かせる程度の圧倒的な数学力が必要だ。

473 :考える名無しさん:2006/08/09(水) 09:06:07
>>461
こんなのだと話しにならない。

474 :考える名無しさん:2006/08/09(水) 09:26:56
人間精神として『成立』するものを体系化したもの
が数学だバカ者

475 :考える名無しさん:2006/08/09(水) 09:48:41
『何故成立するか』より、『何故美しいと感じるか』の方が重要
更に、この美しい数学的構造を営む螺旋に終止符があるかないかも重要
いつかの将来、数学者がやる事なくて失職する時代が来るのか?

476 :考える名無しさん:2006/08/09(水) 09:50:32
文学研究と文筆活動は違うから
数学の非研究者が
数学をメタ的観点から考察するのはアリ

477 :考える名無しさん:2006/08/09(水) 09:53:09
>>461
量子力学や解析関数を学べば納得するぉ

478 :考える名無しさん:2006/08/09(水) 13:25:49
数学がわからん奴の数学論を眺めてプププするのが愉しみですwww

479 :考える名無しさん:2006/08/09(水) 13:31:44
>>476
数学の非研究者が数学をメタ的観点から考察するのはアリだが、
数学がどのようなものか理解する必要は大アリ。
学部卒業程度の数学力では到底無理。

>>461>>477のようなことを言ってるようではお話にすらならない。

480 :考える名無しさん:2006/08/09(水) 13:32:05
>>472
そんなことはないよ。学部卒程度の数学力では数学の片鱗すら見えて
こない香具師は、どこまでやっても数学の片鱗すら見えてこないだろうな。

481 :考える名無しさん:2006/08/09(水) 13:36:59
そもそも「学部卒程度」なんていうレベルを設定することが無理だと思うが。


482 :考える名無しさん:2006/08/09(水) 13:38:59
数学が見えてきた、判ってきた、と思っても、しばらく考究を続けると、
更に新たな高みに辿り着き、実は全然見えていなかった、判っていなかった、
ということに気づく。このプロセスを何度も繰り返していると、「数学が判る」とは
どういうことか漸くわかってくる。確実なのは、「数学が判っている」と
自分で言ってる奴は、全然見えていないってこと。

483 :考える名無しさん:2006/08/09(水) 13:43:26
数学以外には漫画ぐらいしか読まない香具師がいいそうな陳腐なせりふだなあ。w
聞いている方が恥ずかしくなってくる。

484 :考える名無しさん:2006/08/09(水) 13:45:12
数学者の世界では学部は幼稚園扱い。
ある有名な大学生向け教科書の巻頭には
「ひとまずは幼稚園に入園おめでとう!」
と書いてある。

485 :考える名無しさん:2006/08/09(水) 13:47:42
はいはい、すごいね。w

486 :考える名無しさん:2006/08/09(水) 13:48:47
数学の哲学を語るのは老大家の特権だからね。
フィールズ賞を受賞していたり、高名な弟子を何人も育てたような
大物だけが数学の哲学を語る資格がある。

487 :考える名無しさん:2006/08/09(水) 13:51:22
学部卒程度の実力で数学を考察するのはやっぱり無理かな〜

488 :考える名無しさん:2006/08/09(水) 13:56:54
>>486
それは科学哲学の論文とノーベル賞受賞者が引退してから書く随筆を混同するようなもの。
フレーゲもラッセルもゲーデルも現代から見れば数学のごく限られた部分しか知らなかったわけだが、
数学の哲学に関しての彼らの業績はそのことで否定されたりしない。

489 :考える名無しさん:2006/08/09(水) 14:08:22
>>487
学卒程度の数学力で考察するって・・・いったい何をどう考察するというの?
考察するなら、考察する対象について知っていなければならないでしょ。

例えば、基礎論的・論理学的な考察をするならmodel theoryとか
forcing methodくらいは十分に理解していないと数学が
何をやっているのかすら想像できないでしょ。

>>488
数学者はフレーゲとゲーデルは評価してるけど、ラッセルは微妙だね。
そもそも科学者は日本の科学哲学の論文を無視しているよ。
曰く、「日本の科哲の連中は科学がどういうものか判っていない。」
欧米で科哲やってる連中は物理や生物や数学などのどれかを
修士レベルまでは理解しているから、あまりトンチンカンなことを言わない。


490 :考える名無しさん:2006/08/09(水) 14:11:07
フレーゲとゲーデルは論理学者(logician)
科哲じゃないw

科哲はスルーで良し

491 :考える名無しさん:2006/08/09(水) 14:19:48
数学は野球と同じ。
自分たちで前提とルールつくって
どういう結果がでるか楽しんでるだけ。
だれがどんなプレーをしたかなんて全部把握してる必要無し。
野球について考察するなら「江夏の21球」について充分理解してないと
野球選手が何をやってるか想像できないでしょ。
なんてことはない。

492 :考える名無しさん:2006/08/09(水) 14:22:37
フレーゲとゲーデルは論理学上の業績が評価されてますね。
翻って現代の科学哲学の”論文”なるものを眺めると、ただの”エッセイ”
ですよね。数学者や科学者の基準では論文に該当しないようなただの雑文です。

>>490がいうように「科哲はスルー」という定説が生まれたのも止むを得ないです。



493 :考える名無しさん:2006/08/09(水) 14:26:13
>>491
野球に例えるなら、学部レベルの数学はキャッチボール程度かな。
キャッチボールもしたことが無い人が野球を語っても無意味でしょう。

494 :考える名無しさん:2006/08/09(水) 14:34:07
>>489
数学科で集合論を専攻していれば、コーヘンぐらいは学部で勉強するでしょ。
Model Theoryっていうのがどの程度のレベルのものを考えて言っているのか
分からないけど、レーベンハイム・スコーレムだの、コンパクトネスだの
といった基礎的なことなら、学部学生でもふつうに勉強してんじゃね?
よく知らないけど。何か、よほど変な大学の学部生を基準にして「学部レベル」
とか言ってないかい?

495 :考える名無しさん:2006/08/09(水) 14:46:49
>>494
専攻分野について知っているのは当たり前。そして知っているのと理解しているのは別次元。
自分で研究課題を見つけられてはじめて理解していると言える。
普通の学生は学部レベルでは研究は無理で、修論ですら研究になっていない。つまり
わかっていない。

それに学部で集合論なんかを選択すると、普通の数学の理解が学部1,2年レベルで終わってしまわないかい?

496 :考える名無しさん:2006/08/09(水) 14:50:36
>>495
よくわかってらっしゃるあなたに質問です。
数学とはなんですか?
数学と他を分かつ本質的な点はなんでしょうか?
ご教示ください。

497 :考える名無しさん:2006/08/09(水) 14:51:16
フレーゲやゲーデルくらいの研究をして論文発表すれば誰もスルーできません><

498 :考える名無しさん:2006/08/09(水) 14:55:29
そういうやり方じゃ、その課程を終えた後に急に
「研究」ができるようになるとは思えないなあ。
そういうのが数学科の教え方だとしたら、問題あるんじゃね?
・・・・・・ひょっとして、おまい自身、自分に「研究」の能力がないことに
気づくのが遅すぎた大学院生かなんか? だとしたら惨めだろうな。

499 :考える名無しさん:2006/08/09(水) 14:59:31
数学も科学もわからん人が、哲学的考察(?)だけで新たな発見をするのは
殆ど無理だと思います。数学を考察するなら数学を知らなければなりませんし、
科学を考察するなら科学を知らなければなりません。問題は、数学や科学を
どこまで知ればよいかですが、一律にレベル設定するのはあまり意味がない。
オリジナルな研究が出来る程度まで知っていればよい。つまり結果がすべて、
ということです。数学者や科学者にスルーされるような論文(雑文?)しか
書けないのなら、数学や科学に対する知識が決定的に不足しているのでは
ないか、と疑うほうがよい。

500 :考える名無しさん:2006/08/09(水) 15:03:05
はぁ?ルールがあるからに決まってんじゃん!その中で答え求めるんだから成立するにきまってる。
それとも複雑な理屈じゃないと納得できないか?

501 :考える名無しさん:2006/08/09(水) 15:07:39
>>500
数学の中のひとにいわせると
それでは数学の知識がないからだめなんだって。
オリジナルな研究が出来るひとじゃないと
相手にしないんだって。

502 :考える名無しさん:2006/08/09(水) 15:11:03
>>499
> 数学者や科学者にスルーされるような論文(雑文?)しか
> 書けないのなら、数学や科学に対する知識が決定的に不足しているのでは
> ないか、と疑うほうがよい。

そういう考え方をする日本の哲学者なんて見たこと無い。
「数学者どもや科学者どもが自分の研究を評価しないのは、
奴らには哲学的な課題を認識する能力が欠落しているからだ」
と開き直るのが典型パターンですよ。

503 :考える名無しさん:2006/08/09(水) 15:11:31
>>499
そりゃまあそうだな。ただ、このスレの誰かが日本の科学哲学者に対して感じていたのと
ちょうど同じことを俺は日本の数学者や科学者に対して感じてもいる。
こいつら視野が狭すぎて数学の哲学や科学哲学を評価する能力ないんじゃないか、ってね。
・・・・・・まあ、俺は科学者でも科学哲学者でもないから、関係ないが。



504 :考える名無しさん:2006/08/09(水) 15:20:45
たとえばどんな論文がスルーされているの?

505 :考える名無しさん:2006/08/09(水) 15:22:41
>>502
日本の哲学界と欧米の哲学界の最大の違いは閉鎖性か開放性かということです。
日本では身内の哲学者同士で褒め合うだけで業界内出世が可能であり、
他分野の人間と意思疎通できなくとも可とする。ましてや、
他分野の人間から評価されようがされまいが、全く意に介さない。
それどころか他分野と隔絶することを肯定的に評価する向きすらある。
自然科学分野はおろか、社会科学の連中とも意思疎通できない。

日本の科学者・数学者は欧米の哲学者と交流してますね。
日本の哲学界は放置された状態です。

506 :考える名無しさん:2006/08/09(水) 15:23:00
科学哲学ってのは科学ジャーナリストとは違うんだから、
別に現代の科学に精通してなくてもできることはあるんじゃね?
思想史研究の能力があるんなら、
科学史を材料にして考えたっていいだろうしね。



507 :考える名無しさん:2006/08/09(水) 15:27:34
>>505
丸山真男が『日本の思想』で痛罵した状況がまだ続いている、ってことね。
哲学科の人はどう思っているんですか?

508 :考える名無しさん:2006/08/09(水) 15:30:55
>>439
遅レスすみません。それでは数学と哲学の方法論はかなり似ている点があるのですね。
哲学にとっても対話は重要です。

509 :考える名無しさん:2006/08/09(水) 15:33:04
「哲学科の人」じゃないけど、今の時代「日本の哲学」とか「日本の科学哲学」って
区切りで考えるのはもう無意味じゃないかな。

510 :考える名無しさん:2006/08/09(水) 15:38:37
>>507
どう思っているんでしょうかね。
哲学科の人間ではない(その周辺ではありますが・・・)ので、判りかねますです。

丸山が指摘したときよりもタコ壷化が甚だしくなっていると思うのですがね。

511 :考える名無しさん:2006/08/09(水) 16:06:29
外国語で論文発表しないからですよ。
外国語で論文発表すれば他国の同業者の視線に晒されるので
自浄作用が働く。日本語で「論文」発表しても身内同士で褒めあう
だけで終わってしまう。

512 :考える名無しさん:2006/08/09(水) 17:31:23
ウィトゲンシュタインみたいに数学をそれほど知ってるわけでもなさそうなのに
おもしろい考察ができる。哲学ってのはそういうものなんじゃなくて?
結局、センスないやつが哲学やっても無駄っていう面白くない話になりそうだけど。

513 :考える名無しさん:2006/08/09(水) 17:39:03
ヴィトゲンシュタインは工学の博士課程まで行ったし、
航空工学分野での研究実績もあります。
学卒程度の数学力は軽く凌駕してますよ。

514 :考える名無しさん:2006/08/09(水) 18:48:19
それほど

515 :考える名無しさん:2006/08/09(水) 20:38:25
> 日本語で「論文」発表しても身内同士で褒めあうだけで終わってしまう。

「身内同士で褒めあう」だって? 
「題名しか読まない」か「(ろくに読みもしないで)陰で貶しあう」の方じゃね?


516 :考える名無しさん:2006/08/09(水) 20:40:43
>>513
ヴィトゲンシュタインの数学の哲学については、
数学の基本的なことも理解しておらずまったくダメだという評価と、
ふつうの数学者が考えない基礎の部分を考えようとしているとする
肯定的な評価があるようだね。

517 :考える名無しさん:2006/08/09(水) 20:44:58
ハイティング計算で形式化されるような直観主義とは異なるが、
共通点がある独特の構成主義の立場をとっているとされるが、
奇妙な「有限」へのこだわりなど、
カントール以後の無限論を基礎から誤解しているようにも見える。


518 :考える名無しさん:2006/08/09(水) 21:00:43
+を物質、-を非物質として、1+2+3=6、1*2*3=6なので6は完全数、6/3/2=1、6-3-2=1なので1は
帰納数である。ところで、-同士で計算してもこの式は成立する。これらの連関式を含む数学は
完全帰納的に成立する、のではないか?

519 :考える名無しさん:2006/08/09(水) 21:06:33
そんな詰らない事をいわれても。


520 :考える名無しさん:2006/08/09(水) 21:07:44
>>1
「ある人にとって真な数学的命題は、
数学を理解するすべての人にとって真となぜ言えるのか?」という問いなら、
うーん、「人間の脳の構造が共通だから」かなあ。
人間とは脳の構造が違う宇宙人の数学と人間の数学って違いそう。
どうよ?

521 :考える名無しさん:2006/08/09(水) 21:20:31
>>520
人間と宇宙人が同じ数学概念を持ち得るはずがないから、
例え結果はあっていようが、過程は違うかも。

人が言う「3」という概念を宇宙人が理解できるかな?。


522 :考える名無しさん:2006/08/09(水) 21:45:47
哲学やってると思考力が落ちるようですね。

理系がヴィトゲンシュタインを評価する理由は唯一つ。
哲学なんて言葉遊びだ、と宣言したことが最大の業績www

523 :考える名無しさん:2006/08/09(水) 21:51:11
と哲学を全く知らない理系がほざいております。


524 :kutty ◆ukuttynoHg :2006/08/09(水) 22:01:43
生まれて1度も考えたコトなかたーヨw

そういえば消防の頃、趣味哲学の奴をぼこぼこにした事があったなw
いまやそいつは難関大を経て管理職な訳だがw

525 :考える名無しさん:2006/08/09(水) 22:41:25
物理学だったら、理論構成は違うにしても、宇宙人の物理学の予測する現象と
われわれの物理学が予測する現象は、おおまかには一致しそう。
それに対し、宇宙人の数学とわれわれの数学は、
もしかしたら共役不可能かもしれない、なんて思ったりしません?

526 :考える名無しさん:2006/08/09(水) 22:49:02

物理を全く知らんようだな

527 :考える名無しさん:2006/08/09(水) 23:04:15
>>526


( ´,_ゝ`)物理学とかなにそれwwwwwwww
どうでもいいが厨房に絡んだものの見事に惨敗してどこかで憂さ晴らししたいだけの馬鹿は
ひょったら馬鹿の二の舞にならないことだねw
ここでも無様に負けて自殺なんてことになるからwwwwwwwww
夏は死体が腐るのも早いから大変だぁm9。゚(゚^Д^゚)゚。プギャーーーッハッハーヒャヒャヒャヒャヒャヒャ



528 :考える名無しさん:2006/08/09(水) 23:05:24
物事の理を悟らぬと知的機能は育たず、生涯使えませんので有りながら使われない潜在知能に成ります。

ということのようだな?

529 :考える名無しさん:2006/08/09(水) 23:21:54
>>528

( ´,_ゝ`)潜在知能とかなにそれwwwwwwww
どうでもいいが厨房に絡んだものの見事に惨敗してどこかで憂さ晴らししたいだけの馬鹿は
ひょったら馬鹿の二の舞にならないことだねw
ここでも無様に負けて自殺なんてことになるからwwwwwwwww
夏は死体が腐るのも早いから大変だぁm9。゚(゚^Д^゚)゚。プギャーーーッハッハーヒャヒャヒャヒャヒャヒャ




530 :考える名無しさん:2006/08/09(水) 23:21:59
>共役不可能
知らないと分からないような語を使っちゃうの?
おせーて。


531 :考える名無しさん:2006/08/10(木) 00:01:00
異なる理論に含まれる概念については、
それらが同じものかそうでないかを論じることができない、
っていうようなことだな。
たとえば、ニュートン力学や古典電磁気学における「電子」と
量子力学における「電子」が同じものを指しているか否か
ということが意味を成さないってこと。

532 :考える名無しさん:2006/08/10(木) 13:01:50
カール・セーガンなんてひとは
数学は宇宙共通だという見解のようだね。
もう、わらっちゃうくらい。


533 :考える名無しさん:2006/08/10(木) 15:56:33
いくらなんでも複数の公理系がありえないなんていうわけはないから、
いわば数学的必然性の性質を伝達するためのレトリックじゃないの?

534 :考える名無しさん:2006/08/10(木) 18:18:43
電弱と色では、量子力学の中でもねじれている。

535 :考える名無しさん:2006/08/10(木) 18:20:05
↑ kwsk

536 :考える名無しさん:2006/08/10(木) 18:20:14
論理が抽象か先見かによって見解は変わる。

537 :考える名無しさん:2006/08/10(木) 18:21:48
先験

538 :考える名無しさん:2006/08/10(木) 18:46:11
>>532
セーガンに同意だけど、違うの?

539 :考える名無しさん:2006/08/10(木) 19:53:53
自然数みたいな概念が、恣意的に設定された公理系によって作り出された
ものだとは考えられないでしょ?

540 :考える名無しさん:2006/08/10(木) 19:55:51
>>538
論理とか数学とかが、人間の認識能力とは独立した客観性を持つものなのか、
それとも最終的には人間の脳の構造に規定される人間の認識能力のアプリオリ
な制約に基づくものなのか、単純に答えがでる問いではないよ。

541 :考える名無しさん:2006/08/10(木) 19:57:45
文化によって相対的な、慣習的規約に基づいているとは、私にはさすがに思えないけれど、
その解釈だってなくはないだろうし。

542 :考える名無しさん:2006/08/10(木) 20:32:32
自然からの抽象だと思うね。
数学のロジックは宇宙共通。
ただし、どの程度進んでるかはいろいろ。
この宇宙の存在である限り、「神狩り」のような例はないと思う。

543 :考える名無しさん:2006/08/10(木) 21:21:15
もちろんそう思うこともできるだろうけれど、
そう思わなければならない必然性もなさそうだ、ってことだね。
ところで、「神狩り」って何?

544 :考える名無しさん:2006/08/11(金) 05:26:10
> 自然からの抽象だと思うね。

これはもちろん同意。
でも、どのように抽象するか、つまりどんな構造を見出すか、なにを抽出するかは、
知的生命体ごとに異なるのではないか?


545 :考える名無しさん:2006/08/11(金) 07:59:12
表現は異なっても同型のモデルとなると思う

546 :考える名無しさん:2006/08/11(金) 08:17:33
ウルトラマンは微積分が出来ますか


くだらねぇ。擬似問題ですらない。

547 :考える名無しさん:2006/08/11(金) 08:18:06
異なるというか、異なりうるというところかな。

548 :考える名無しさん:2006/08/11(金) 08:20:00
>>544
547は>544ね。

見出す方のフィルターを無視できないから、
まあやっぱり異なり得るでしょう。

549 :考える名無しさん:2006/08/11(金) 10:02:44
個別認識はフィルターの影響を強く受けるだろうが、一般化される段階で、
共通になっていくんじゃまいか?

550 :考える名無しさん:2006/08/11(金) 23:02:20
哲学やってる人同士で対話を重ねるだけだと、生産的じゃないだろね。


551 :考える名無しさん:2006/08/11(金) 23:24:47
>>550
生産などなんの意味があるんだ?


552 :考える名無しさん:2006/08/11(金) 23:44:30
生産的でなきゃ意義を感じられないじゃないか。

553 :考える名無しさん:2006/08/19(土) 12:46:17
ハーツホーンも読まずに哲学を語る奴は痛いなぁ

554 :考える名無しさん:2006/08/19(土) 22:26:47
絶対ガロア哲学を知らんようだな

555 :考える名無しさん:2006/08/19(土) 23:14:50
いまごろハーツホーンとか言ってるのも恥ずかしいなぁ

556 :考える名無しさん:2006/08/20(日) 10:14:06
ハーツホーンは大学入学前にマスターしておくべき

557 :考える名無しさん:2006/08/20(日) 15:07:17
ハーツホーンはよんでないがV.Kacはよんだよ。

558 :考える名無しさん:2006/08/21(月) 01:18:49
俺は数学というと、ぶどうの房のようなものを連想するんだ。

559 :考える名無しさん:2006/08/21(月) 01:20:38
>>556
高校でしょ?

560 :考える名無しさん:2006/08/24(木) 09:46:53
で、どうして成立するの?

561 :考える名無しさん:2006/08/24(木) 10:04:40
だから、そもそも

成立しうるものの総体を数学と呼んでいるだけのこと

562 :考える名無しさん:2006/08/24(木) 15:41:16
数学でよくわからんのは、

1=0.9999999・・・・・・・・・
になることだ。
1X=0.999999・・・・・・
とすると
10X=9.9999999・・・・・・
で、
10X−1X=9
9X=9
よって
1X=1
1=0.9999999999・・・・・

これおかしくないか?

563 :考える名無しさん:2006/08/24(木) 15:46:10
>>562
うーん、無限の問題かな。
小学生のときに似たような問題を本で読んだけれど、アキレスと亀のパラドクスの文脈で出てきた気がする

564 :考える名無しさん:2006/08/24(木) 15:47:35
6が1と2と3をかけてもたしても同じな完全数だから。ついでに割っても引いても同じ1に到達する。
6を含めた関連式はすべて完全帰納的に成立する。ゆえに数学は成立する。

565 :考える名無しさん:2006/08/24(木) 15:48:46
>>564
ピタゴラス?

566 :考える名無しさん:2006/08/24(木) 15:52:08
アリストテレス

567 :考える名無しさん:2006/08/24(木) 16:20:56
0.9999999999・・・は、つまり1なんだよ

568 :考える名無しさん:2006/08/24(木) 16:29:18
中学レベルの数学も判らん奴が「何故、数学は成立するのか」と妄想する喜劇www

569 :考える名無しさん:2006/08/24(木) 16:34:42
0.3333・・・=1/3
0.1111・・・= ?

570 :考える名無しさん:2006/08/24(木) 16:48:11
>>569
1/9

571 :考える名無しさん:2006/08/24(木) 16:51:14
極限数の定義は、近似値であるか絶対値であるかは別として、ものが消去かのうと
考えればすべて破綻する。ものは分裂できても消すことはできない。実験してみれば
分かることだ。数字の極限値も数式的には記号化するのが適切。


572 :考える名無しさん:2006/08/24(木) 17:01:05
さて次は、p進数について語ろうじゃないか?

573 :未来数学人:2006/08/29(火) 22:10:14
アデール上の積分というのは、一種の経路積分なわけなんだよ

574 :考える名無しさん:2006/09/09(土) 15:28:58
まず、「ひとつ」「ふたつ」という言葉ができ(つくり)、
それを数値で表したから(決めたから)。
だから、数学は、言語世界とは矛盾なく成立するはずだ。

たとえば「無限小(大)」とか、言葉で実体を表すことのできないもの
はやっぱり数学でも表すことができない。

そもそも「無限小」ってどういうこと?

0.00000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000・・・・・・・・・・・・・・ ・ ・・ 1?

575 :考える名無しさん:2006/09/09(土) 17:19:19
lim=n
n→+0

576 :考える名無しさん:2006/09/10(日) 05:24:05
>そもそも「無限小」ってどういうこと?

凾のことだろ?

577 :未来数学人:2006/09/10(日) 07:01:00
無限小は数じゃないんだよ

578 :考える名無しさん:2006/09/10(日) 10:22:21
ではなに

579 :考える名無しさん:2006/09/10(日) 17:50:59
「無限小」って、言ってみれば「ある」けど「ない」ようなものだろ?
 禅問答みてーだな。

 このへんが多分、言語や数学が誤魔化してるところだな。
 数学は誤魔化の上に成り立っている、、、ってどうよ?

580 :考える名無しさん:2006/09/10(日) 18:08:54
「無限小」に明示的定義を与えようとするから困るんだよ。
だから
「『ならば』とは何だろうか?『ならば』に対応する存在物はあるのだろうか?」
などといった混乱した問いと同じ間違いに陥ってるわけ。

581 :未来数学人:2006/09/10(日) 19:06:54
数学は禅問答とは違うんだよ。無限小は「微分形式」なんだよ。

582 ::2006/09/11(月) 01:40:27
>>1答えがあるから成立するんだよ

583 :考える名無しさん:2006/09/11(月) 10:29:09
0ベクトルが0でないようなもん?

584 :考える名無しさん:2006/09/11(月) 10:43:02
古典的問題で…
奇数は奇数性をもっている。しかし、奇数と奇数をたすと奇数性は無くなって、代わりに偶数性が生まれる。
なんで?

585 :考える名無しさん:2006/09/11(月) 11:09:57
偶数に奇数を足すと偶数性がなくなるのはどうして?>>584

586 :考える名無しさん:2006/09/11(月) 11:10:53
独身者と独身者が結婚すると独身性はなくなって
代わりに既婚性が生まれる。
それで?

587 :考える名無しさん:2006/09/11(月) 11:15:26
>>586
そこに間男が入り込むとどうなるの?

588 :考える名無しさん:2006/09/11(月) 11:16:05
>>585
私に聞かれても…
でも、偶数と奇数は反対だからまだわかるけれど、奇数と奇数は性質として同じだから…
火は熱性を持っている。だから火と火を合わせても熱性は消えない。
一方
奇数は奇数性を持っている。しかし奇数と奇数をたすと奇数性は失われる。
この違いは何?

589 :考える名無しさん:2006/09/11(月) 11:51:42
>>588
独身者と独身者が結婚すると独身性はなくなって
代わりに既婚性が生まれる。
それで?


590 :考える名無しさん:2006/09/11(月) 23:10:42
>>589
独身者と既婚者が重婚したり既婚者と既婚者が重婚しても
既婚性しか生まれない。
それで?

>>585
奇数と偶数は反対じゃない。
交互の順序体だから自明。

591 :考える名無しさん:2006/09/11(月) 23:12:49
>>590
重婚性も生まれるじゃん。よかったね。

592 :考える名無しさん:2006/09/11(月) 23:19:52
文脈読まずに自明とか偉そうなことを言うわりに
肝心の>>584=>>588に対しては何も言わないアホさ加減。

593 :考える名無しさん:2006/09/11(月) 23:22:42
>>591
重婚性は既婚性に含まれるんじゃないの?
ちょうど奇数と奇数を足すときに素数や因数が増えるようなもん。

594 :考える名無しさん:2006/09/11(月) 23:29:15
というかオチは、何にでも「・・・性」をつけて
「・・・性」というものがある、という考え方をすると
どんどん馬鹿らしくなっていくよ、ってことだね。

595 :考える名無しさん:2006/09/11(月) 23:39:23
>>592
んじゃあ書いとく。
>>584,588
奇数にしろ偶数にしろ1を基本性質として持っていると考えたらどうよ?
要は1が偶数個あるか奇数個あるかで偶数か奇数かが決まる。
これなら性質の足し合わせという厄介さが消える。

596 :考える名無しさん:2006/09/11(月) 23:46:22
> 要は1が偶数個あるか奇数個あるかで偶数か奇数かが決まる。

それって循環でないとしたら何。

597 :考える名無しさん:2006/09/12(火) 00:47:12
奇数が持つのが奇数性、偶数が持つのが偶数性とすれば、
奇数と奇数を足したら偶数になったから偶数性を持っただけ。
特に理由はない。

598 :考える名無しさん:2006/09/12(火) 01:13:49
>>596
循環じゃないよ。
性質A(2で割り切れる)と性質B(2で割り切れない)を
決定する要因が1の個数に依存しているって意味だよ。
常に偶数と奇数がそれぞれの後続(1つ次)として奇数と偶数として現れる
ことが保証されているのが自然数の公理系だからね。

¬B=Aとして¬B+¬B=Aとなるのはなんで?という概念の
足し合わせで問うのはこの場合適してない。

599 :考える名無しさん:2006/09/12(火) 08:07:11
その最後の2行はみんなわかってるんでさ。

> 循環じゃないよ。

君の頭の中で循環してるとは言わんけど、要するに
「説明が下手過ぎて循環してる」という意味ね。
nが持つ「1の個数」はn自身と1対1対応してるんだから

> 性質A(2で割り切れる)と性質B(2で割り切れない)を
> 決定する要因が1の個数に依存しているって意味だよ。

と言ったそのままの説明では
 nが2で割り切れるかどうかは各nによる
ということになる。これじゃ殆ど何も言えてないでしょ。
頭の中じゃそういうつもりでない、ってのは重々承知だが。

> 常に偶数と奇数がそれぞれの後続(1つ次)として奇数と偶数として現れる

それはその通りだね。しかしそれはわざわざ「1の個数」に
訴えなくても言えることだ。
また、それだけでは奇数と奇数を足して偶数になることの
説明には達していない。
(まあ後は足し算をZ_2に映すのが残ってるだけだけど。)

600 :考える名無しさん:2006/09/12(火) 23:27:45
580「「無限小」に明示的定義を与えようとするから困るんだよ。
  だから
 「『ならば』とは何だろうか?『ならば』に対応する存在物はあるのだろうか?」
  などといった混乱した問いと同じ間違いに陥ってるわけ。 」

うーん、納得できんぞ・・・・。オレの頭が悪いのか・・・。
オレには、「無限小」と単に呼んでいるだけで、人間は、それがなにか理解しているとは
思えん。人間がわからないままだと気持ちが悪いので、ただ名前をつけて
安心しているようにしか思えんなあ。

でも、究極的なことを想像すると、必ず「無限」にぶちあたるよね。
それで途方にくれちゃうんだ、、、。
多分、人間の頭の限界なんだろうな、この辺が。

601 :考える名無しさん:2006/09/18(月) 17:40:14
{aは無限小}
⇔{∀ε>0,ε∈R,0<a<ε}

602 :考える名無しさん:2006/09/18(月) 18:27:32
>>601
{f(x)は0に収束する}
⇔{∀ε>0,∃δ>0,∀x>0,(ε,δ,x∈R),((δ<x)⇒(|f(x)|<ε))}

0に収束するものが無限小ってこと?

603 :考える名無しさん:2006/09/18(月) 20:22:32
何故、スライダーは成立するのか

604 :考える名無しさん:2006/09/18(月) 23:08:30
数学とは超現実主義な気がする。
数学ほどイマジネーションがいらないものはないと、P.F.ドラッカーがその著書の中で語っていた。

僕は数学は頭の中だけで成立するもんだと思っていた。
数学が分かるということは、現実を玉虫色の領域無く直視している感じだった。昔はね。
真か偽かで、存在するか?存在しない、存在できない、で分けてきた気がする。
ルールという、現実に物体として存在していないものも、そうやって真か偽かで存在する、しないで分けてきたのだから、
存在する物体については、もう存在理由がどうかとか?ちょっと違うか…
完全に人間の作った、人工的概念というものを取り扱っていた気がする。
もう数学から離れてしまったので、過去をそう思い起こす。

605 :考える名無しさん:2006/09/18(月) 23:39:06
何故、数学は成立するのか?
数学は無矛盾である、すなわち数学は完全な機構であるというのは、
ゲーデルによって不完全性定理というかたちで、証明できない。と決着がついた気がします。
すなわち、数学は完全に成立するとは証明できない。
ということだと思います。

606 :考える名無しさん:2006/09/18(月) 23:58:41
余談だが、
数学とは例えば大小関係(1は2より小さいなど)によって、格付けできる間柄を基準に
それを無限大や無限小というかたちで、遙か大きい、小さいところまで推し進めてきた。
そういった、格付けできる基準しか対象にしてこなかった。
しかし、並列的に存在する概念などを、確率的に考える量子コンピュータによって、飛躍的に面白くなると僕は期待している。
数学にも新しい風が吹くかもしれない。

607 :考える名無しさん:2006/09/19(火) 00:08:27
>>605
それは「数学」じゃなくて「公理系」のことだろ?

608 :考える名無しさん:2006/09/19(火) 00:16:32
>>607
そうだと思う。
無矛盾だと証明はできないけど、実際には無矛盾で存在するかもしれないので、
難しいところだと思う。
今は数学から離れていた(統合失調症で数学ができなくなるまで薬漬けだった)ので、
最前線には関わっていない。
主に数学の成り立つ理由などに興味を持っていた。
関係ない話、スマソ。

609 :考える名無しさん:2006/09/19(火) 00:21:19
608だが、
実際には小平邦彦の解析入門などによって、厳密に量的な部分で成り立っていると慎重に考えられているので、
数学は成り立っているように見える。と思う。

610 :考える名無しさん:2006/09/19(火) 00:23:33
609です。
選書は間違ってるかもです。スマソ

611 :考える名無しさん:2006/09/19(火) 00:30:24
つまらんこと考えてないで、畑でもたがやしてこい。

612 :未来数学人:2006/09/19(火) 00:39:00
そもそも数学は、成立するものだけしか記述しないんだよ

613 :考える名無しさん:2006/09/19(火) 00:43:06
新しい方向として、確率的にしか存在しない概念を含めて、
数学の可能性を広げていって欲しいというのが、僕のこれからの数学への願いです。
そのためには量子コンピュータが早くできることを祈るばかりです。

614 :考える名無しさん:2006/09/19(火) 00:48:42
613ですが、
占いの精度を上げるようなことかもしれません。スマソ

615 :考える名無しさん:2006/09/19(火) 00:49:56
>>612
成立しないってことは、3段目から先、自動的に書きようがないってことだろ?

616 :考える名無しさん:2006/09/19(火) 00:51:33
>>614
独立した占いの体系に、双対対称性があったなら、少しは相手にしてやろうw


617 :考える名無しさん:2006/09/19(火) 00:57:17
>>616
ははー。もう僕には双対称性なるものを理解することはできません。
数学研究できてたら、もっと面白かったろうになぁ。

618 :考える名無しさん:2006/09/19(火) 00:59:45
数学やると楽しくて薬いらずになるよ。

619 :考える名無しさん:2006/09/19(火) 01:15:22
基地外が認められて優遇される数少ない業界。

620 :考える名無しさん:2006/09/19(火) 01:25:24
業界とか学会とかそんなの関係ない。自由にやったらいい。

621 :考える名無しさん:2006/09/19(火) 04:29:58

ab=bc=ca=1
ba=cb=ac=-1
aa=bb=cc=0
abc=bca=cab=acb=bca=cab=0


ww

622 :考える名無しさん:2006/09/19(火) 05:52:34
順列や組み合わせみたいな数えあげは比較的捉えやすいのに
確率になったとたんでたらめにイメージしにくくなるのは何故だぜ?
誰か確率の攻略法を教えてくれだぜ

623 :考える名無しさん:2006/09/19(火) 06:04:55
いや、むしろ成立するものを数学と呼んでいるんだよ。

624 :考える名無しさん:2006/09/19(火) 06:21:47
>>621だってイメージできないだろう。
そんなもんよ。

625 :考える名無しさん:2006/09/23(土) 10:23:03
>>621って結合律は成り立ってるの?
ab = 1 で abc = 0 、でも abc = 1c = c …
ba = -1 から -1 ・ -1 = baba = b 1 a = ba = -1 …

626 :考える名無しさん:2006/09/23(土) 18:22:09
俺、全くのシロウトなので、トンチンカンかもしれないけど、
複素数って、まったく概念上の産物でしかないんでしょ?
こういうことからして、数学が成り立つのは、人間の「言語的世界」の中で
のみであって、本当の世界を記述する事はできないと思うんだけど。

これって、あたりまえのこと?

627 :考える名無しさん:2006/09/23(土) 22:06:04
トンチンカンはほどほどにな

628 :考える名無しさん:2006/09/24(日) 12:37:13

a ←グー
b ←チョキ
c ←パー

1 :勝ち
0 :引き分け
-1:負け

629 :考える名無しさん:2006/09/24(日) 14:38:16
数学の基は、加算、直線、曲線 の3つです。
この3つは、アプリオリです。

例)四則の加算以外は、加算が基。
  微積分もたどれば四則演算、よって加算が基。


630 :考える名無しさん:2006/09/24(日) 16:08:20
abcがジャン拳である事を瞬時に見破ったのは、物理板の住人であった。


631 :考える名無しさん:2006/09/30(土) 11:35:13
では aab、aba、baa の値を教えてください

632 :考える名無しさん:2006/09/30(土) 17:37:13
>>631
aab=1 aba=1 baa=-1

633 :考える名無しさん:2006/10/01(日) 14:16:40
なんだ代数じゃないのか
期待して損した

634 :考える名無しさん:2006/11/14(火) 06:45:01
数学のセンスがある、とは一体どういうことなんだ?

635 :考える名無しさん:2006/11/14(火) 07:30:22
数学以前の問題です
プラスマイナス以前のコンピュターの使えない分野です
ーーーヤフー検索:C点による時空論
検討し参考にしてください

636 :考える名無しさん:2006/11/15(水) 00:32:32
まず真であるというのはどういうことなのか?


637 :考える名無しさん:2006/11/15(水) 00:50:58
我々が数学の論文の審査をする際、わざわざ公理から
始めて正誤を判断する人間は殆どいない。正誤を判断する基準なんてものは
ずいぶん曖昧なもので、我々が習熟した規則に則っているか否かだよ
と代数幾何(p進Hodge理論専攻)の教授が話していた。

638 :考える名無しさん:2006/11/15(水) 02:55:32
真でも偽でもないお

639 :考える名無しさん:2006/11/15(水) 03:00:47
無礼講にもルールはある。

640 :考える名無しさん:2006/11/15(水) 14:37:43
>>1
人間がつくったルールのなかでやってるものだから
数字という概念じたいが人間のつくりだしたものだから


結論、もともとつごうのよいルールを決めて人間がつくりだした
ものなので成立する。



641 :考える名無しさん:2006/11/15(水) 14:40:07
まぁそうだわな、賛同するよ

642 :考える名無しさん:2006/11/15(水) 14:52:11
「成立する」って、どういう意味なんだ?
「数学が成立しない」というのは、どういうことを想定しているんだ?

643 :考える名無しさん:2006/11/15(水) 14:58:11
数学は、人間が作った恣意的なルールに基づいているというよりは、
人間の脳にインプリメントされたアプリオリなルールに基づいている
と考えた方がいいかもしれないよ?

644 :考える名無しさん:2006/11/17(金) 03:55:13
てめーはユングか。

645 :考える名無しさん:2006/11/17(金) 03:55:54
0で割るって成立してんの?

646 :考える名無しさん:2006/11/17(金) 04:11:22
成立する場合としない場合がある

647 :虚構世界内存在 ◆vWilh8Qklc :2006/11/17(金) 04:12:33
>>642
正当化することができるということでは。
あるいは機能しているということかも。

>>1
多数者が数学は正しいという妄想を共有しているから。
自然科学も同じ。
さらに、一般人が伝える歴史を真に受ければ、昔の宗教も同じ。
すべて超越論的には正当化できないことばかりだ。
しかし非超越論的には正当化できる。
非超越論では人間社会がすべてである〔正当化を担保するものは人間社会である〕と考えるから、多数者の言うことは正しいということになる。
わたしが解明できていない問題は、多数者と少数者が同質の矛盾を抱えている場合で、かつ多数者が少数者をその論点で非難している場合、少数者が矛盾を犯すことは誤っていて、多数者が矛盾を犯すことは正しいということになるかどうかということだ。

648 :考える名無しさん:2006/11/18(土) 10:48:01
文系って、ほんとにDQNだな。

649 :考える名無しさん:2006/11/21(火) 19:29:46
論理が成り立つから

650 :考える名無しさん:2006/11/21(火) 20:29:57
論理ってなんだい?

651 :考える名無しさん:2006/11/21(火) 22:31:18
>>647
今更超越論て。糞仮定立てて自己完結するより、
実際身近に役に立ってる数字、算数から始めようよ。

652 :考える名無しさん:2006/11/21(火) 22:36:01
思うに数学の世界にも超越論的思考が蔓延ってきてから可笑しく
なって北んじゃないか。物理学にしても。

653 :考える名無しさん:2006/11/21(火) 22:41:54
超越論的思考ってなんだい?

654 :考える名無しさん:2006/11/21(火) 23:25:26
自分で考えろバカって事

655 :考える名無しさん:2006/11/22(水) 00:28:32
また逆ギレかよw

656 :考える名無しさん:2006/11/22(水) 00:47:58
論理とは、筋道立て結論に向かう過程それそのもの

657 :考える名無しさん:2006/11/22(水) 01:31:27
筋道とは何か?

658 :考える名無しさん:2006/11/22(水) 02:20:04
気のせい

659 :考える名無しさん:2006/11/22(水) 03:28:44
はぐらかしに付き合う必要はねえよ。まあ哲学の99%は
はぐらかしだけどな。

660 : ◆h77a2F4NnQ :2006/11/23(木) 03:58:29
成立はしてないが、やたら精度は高い。抽象度が高い→広くカバーできるが、個々の現実からは離れ精度は落ちる、
筈なのに何故か笑。そこが数学(てか算数とか幾何でいいや)のすばらしいとこ

661 :考える名無しさん:2006/12/01(金) 21:49:49
夫婦間メール戦争・・・どちらが屁理屈ですか?
http://life7.2ch.net/test/read.cgi/live/1144839716/

662 :考える名無しさん:2006/12/10(日) 01:58:23
【社会】 「親がいないから臭いんだよ」 DQN高校生、後輩を女子の前で裸にして撮影したり暴行したり…東京★3
http://news19.2ch.net/test/read.cgi/newsplus/1165502471/

663 :考える名無しさん:2006/12/10(日) 10:20:01
困ったな!

664 :虚構世界内存在 ◆vWilh8Qklc :2006/12/22(金) 17:34:18
>>651
わたしが言っている超越論というのは「人間社会を包括する=超越する〔人間社会よりも大きな〕何かに正当化の根拠を置く」立場のことだ。
だから、数学、諸科学、素朴実在論、その他多くの立場がこれに属することになる。

665 :虚構世界内存在 ◆vWilh8Qklc :2006/12/22(金) 17:37:13
>>651
身近に役立っているという妄想が機能している数学についてはかってにやってくれ。
わたしはその応用の産物であるとされるものを利用することに徹する。(フッハッハッ

666 :考える名無しさん:2006/12/22(金) 17:50:51
論理的に正しくて機能しない関数より、妄想的にデタラメでも機能する
自然の仕組みのほうがまともだろ。

667 :考える名無しさん:2007/01/12(金) 00:13:37
易経読んだことある人いますか。

668 :考える名無しさん:2007/01/12(金) 02:47:33
いるよ。

669 :考える名無しさん:2007/01/13(土) 06:42:21
数学をデタラメと一緒にするなよw

670 :考える名無しさん:2007/01/14(日) 15:50:28
易経を評価する数学者はたくさんいますよ。
あなたにセンスがないだけだ。
価値がわからないだけだ。

671 :考える名無しさん:2007/01/29(月) 17:59:58

工学の測定装置の抽象化が数学なんだよ。
だから、測定装置が機能する限り、数学が成立するのさ。

167 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)