- 1 名前：１３２人目の素数さん mailto:sage [2019/12/30(月) 01:46:49.11 ID:lKJM5vHy.net]
- 無限の定義
無限とは部分と全体が等しいことである
数学そのものの定義
「２つの点を通って１本の直線を引くことができる」
「２つのコップを通って１本の椅子を引くことができる」
述語の定義によらず成り立つ構造が数学である
人工知能の定義
人間の男性と人間の女性が、チャット越しに男女を問わない第三者に対して、
「私が女です」「いいえ、私が女です」と競う
この片方をコンピュータが担って有意の差が出なければ、それが人工知能である
では例えば、死や宗教について
哲学板では
「カントの『物自体』みたいに、死には何でも放り込めそうだ」「宗教は宗教板で」
というのが定説の様子というか基本的には神なんて克服するのが哲学らしい
チューリングが人工知能をうまく定義したように数学者が死や宗教を語ることはできないのか
その他○○の本質、○○の定義、○○とは何ですか、お題は何でもあり
- 2 名前：１３２人目の素数さん [2019/12/30(月) 02:09:57.71 ID:ErTyR34v.net]
- ☆きょうのめあて
ちんこにらーゆをぬってあそんではいけません
- 3 名前：１３２人目の素数さん mailto:sage [2019/12/30(月) 02:31:04.99 ID:lKJM5vHy.net]
- 数学そのものの定義
「２つの点を通って１本の直線を引くことができる」
「２つのコップを通って１本の椅子を引くことができる」
この２つに共通の、述語の定義によらず成り立つ構造が数学である
- 4 名前：１３２人目の素数さん mailto:sage [2019/12/30(月) 10:02:14.45 ID:O59w+gRE.net]
- 死なんてありふれた一方向関数とかに過ぎん絶対平等主義な同値類割り切った態度が賢明な
恒常性を持ち合わせたゲネントロピー食い散らかす主体にの熱的死エントロピーの増大やろ。
- 5 名前：１３２人目の素数さん [2019/12/30(月) 13:52:35.68 ID:lKJM5vHy.net]
- 吉永良正著 「複雑系」とは何か 講談社〈講談社現代新書〉
「複雑系とは世界を見ることを学び直すこと」
京大の、理学部数学科と文学部哲学科の両方を出た人が書いた複雑系の本
同著者の不完全性定理の本と比べて歯切れがいまいち。複雑系にはよっぽど何かある
ともかくは自然を記述する数学らしい。理論上はあなた自身をも記述するはずだから、
というのが歯切れの悪さの理由だと想像。そりゃ哲学的にもブレイクスルーなはず
野の百合、空の鳥。おかしいのは人間の方なのかもしれない
- 6 名前：１３２人目の素数さん mailto:sage [2019/12/30(月) 18:57:50.95 ID:O59w+gRE.net]
- 実際問題として日本の人文カスはおかしいってもんじゃなくキチガイの域の愚かさだろ。
- 7 名前：１３２人目の素数さん [2019/12/31(火) 14:38:49.77 ID:sT5e9el8.net]
- チューリングの論文
計算する機械と知性
www.unixuser.org/~euske/doc/turing-ja/index.html
- 8 名前：１３２人目の素数さん [2020/01/09(木) 17:17:06.17 ID:Qqb3pcMB.net]
- 「私の杖は世界を呑み込んだ。山や河はどこへいったのだろう」
簡単なお話。世界を呑み込んだならあなた自身をもは呑み込まなかったのかという問いかけ
「私の杖」を「ニュートン力学」に置き換えたのがラプラスの魔で、「複雑系」はもっと手強い
世界を貫く真理はあなた自身をも貫く
- 9 名前：１３２人目の素数さん mailto:sage [2020/01/09(木) 17:30:55.74 ID:2ikWEky9.net]
- 中二のスレ？
- 10 名前：１３２人目の素数さん mailto:sage [2020/01/09(木) 18:31:53.07 ID:sT5AOfKA.net]
- 中二道 極めるのにも 命がけ
世の中、中途半端な中二が多すぎる
もっと本気の中二が見たい
- 11 名前：１３２人目の素数さん [2020/01/09(木) 20:12:22.33 ID:Qqb3pcMB.net]
- 最近どうなったか知りませんが、昔は
「ベクトル空間の公理を満たせばベクトル空間だ
内積を入れれば内積空間だ
内積が求まればベクトル間の角度が計算できる
角度が計算できればピタゴラスの定理も成り立つ」
みたいなことを言ったら
「じゃあ実際にその空間をユークリッド空間以外で持ってこいよ」
と返ってきたものでした
空間を、アプリオリに与えられたものと捉えるか、ある条件を満たすもの全てと捉えるか
- 12 名前：１３２人目の素数さん [2020/01/09(木) 20:26:07.05 ID:Qqb3pcMB.net]
- ひとまずは板違いでなかったならよかったです
「死の公理」だとか「宗教の公理」だとか、その他なんでも扱うスレとします
- 13 名前：１３２人目の素数さん [2020/01/09(木) 21:55:38.26 ID:EWT7mPD9.net]
- ア・プリオリな認識の対象である点や直線を公理と呼ぶ
ここまでよいとして
平行線の公理は成り立たない場合があるという話がある以上
体の公理などというのはちゃんちゃらおかしい
今すぐ
群
環
体
を公理扱いすることを止めろ
by 成田正雄
もし群を公理といて認めない場合
結合法則すら成立することが難しいことを思い知るのが
成田正雄『初等代数学』である
この本を読めば群の定義より〜などという文言が笑えてくる
- 14 名前：１３２人目の素数さん mailto:sage [2020/01/10(金) 04:29:07 ID:vZp5RhMX.net]
- >>12
するな。
- 15 名前：１３２人目の素数さん [2020/01/10(金) 06:08:09.43 ID:+6Jr2Dwr.net]
- >>14
まあそう言わず
>>13
エスパーレスですが、
掛け算は足し算を何回やるかという演算
掛け算を何回やるかという演算は累乗計算だが、累乗計算は交換則どころか結合則すら成り立たない
足し算は「１増やす」という演算を何回やるかだが、「１増やす」という演算はそもそも二項演算ではない
足し算と掛け算だけが本当に奇跡の偶然として存在しているのだなあ、
みたいなことは昔独力で考えたことがあります
- 16 名前：１３２人目の素数さん [2020/01/10(金) 07:42:04.62 ID:+6Jr2Dwr.net]
- 死や、あるとしたら死後が、複雑系で語れるものだとしたなら安心感を与えてはくれるかもしれない
- 17 名前：１３２人目の素数さん mailto:sage [2020/01/10(金) 08:26:43.74 ID:vZp5RhMX.net]
- >>15
数学的な話ならおk
- 18 名前：１３２人目の素数さん [2020/01/10(金) 12:20:03.10 ID:+6Jr2Dwr.net]
- 累乗計算は単位元も存在しないですね
足し算と掛け算だけが優等生
まあ公理主義とか無定義述語とかを巡って、中二も織り交ぜながら
- 19 名前：１３２人目の素数さん [2020/01/10(金) 12:48:36.22 ID:+6Jr2Dwr.net]
- 失礼。検索したら累乗の単位元ってあるんですね
x^a = a
ではなく
a^x = a
の方には答えがある
- 20 名前：１３２人目の素数さん [2020/01/10(金) 14:35:46.44 ID:+6Jr2Dwr.net]
- 右単位元、左単位元、マグマ。群に満たない色々
単位元
https://ja.wikipedia.org/wiki/%E5%8D%98%E4%BD%8D%E5%85%83
- 21 名前：１３２人目の素数さん [2020/01/12(日) 19:32:38.52 ID:Sypj7tVp.net]
- 637 名前：１３２人目の素数さん[] 投稿日：2020/01/12(日) 18:21:38.67 ID:pnWfvvDx
>>629
無限の定義 ＜＝無限を認めるとどうしても矛盾が発生してしまう。矛盾のない無限を定義できるのか？が問題。
数学そのものの定義 ＜＝マッチポンプだな。そんなの定義によるに決まってる。
人工知能の定義 ＜＝そんな馬鹿な定義をした学者がいるよね。マジでバカだと思う。
死や宗教について ＜＝個人の問題。議論にならない。
というスレを立てようかどうか迷ってる ＜＝勝手にしなはれ。スレ立ては君の権利だ。
だが、雑談スレでいいような希ガス
- 22 名前：１３２人目の素数さん mailto:sage [2020/01/12(日) 19:36:11.24 ID:Sypj7tVp.net]
- 638 自分：１３２人目の素数さん[] 投稿日：2020/01/12(日) 19:00:46.53 ID:Sypj7tVp
>>637
矛盾のない無限。面白そうですね
スレは既に立ってるんでこっちで振ってもらえますか
【哲学上等】数学の本質はその自由性にあり【本質抽出】
https://rio2016.5ch.net/test/read.cgi/math/1577638009/
- 23 名前：１３２人目の素数さん mailto:sage [2020/01/12(日) 19:42:02.82 ID:Sypj7tVp.net]
- 哲学界隈では有名な話みたいですね。矛盾を認めると矛盾する。発狂するという言い方をする人もいる
- 24 名前：１３２人目の素数さん mailto:sage [2020/01/12(日) 19:46:28.00 ID:Sypj7tVp.net]
- 無限を認めると矛盾する、もしくは発狂する
- 25 名前：１３２人目の素数さん mailto:sage [2020/01/12(日) 20:36:37.01 ID:Sypj7tVp.net]
- 顔を出してくれないと議論が始められない
たとえば、「論文は心理学会に提出されたものだがチューリングは心理学者ではなく数学者だ」
とでも言わなきゃいけないんだろうか
- 26 名前：１３２人目の素数さん mailto:sage [2020/01/12(日) 20:51:13 ID:Sypj7tVp.net]
- ＞数学そのものの定義 ＜＝マッチポンプだな。そんなの定義によるに決まってる。
本当にマッチポンプをやってみることで証明されたのが不完全性定理だという言い方もできますが
- 27 名前：１３２人目の素数さん mailto:sage [2020/01/12(日) 21:02:43 ID:Sypj7tVp.net]
- 矛盾のない無限。「全ての文字列」とかじゃだめなのかな
文字列とはメールアドレスやURLのことです
- 28 名前：１３２人目の素数さん mailto:sage [2020/01/13(月) 00:44:48.49 ID:q5M2+194.net]
- >>25
数学の話しないと誰も来ないぞ
- 29 名前：１３２人目の素数さん mailto:sage [2020/01/13(月) 07:56:32.10 ID:ydGasp9d.net]
- i toxt show i toxt
|
 |
