数学を初めとした理系の学問と哲学について　５ [無断転載禁止]©2ch.net YouTube動画>1本 ->画像>10枚

前スレ
https://lavender.2ch.net/test/read.cgi/philo/1500649913/

数学は科学の女王であり、数論は数学の女王である。by ヨハン・ガウス

― Mathematics is scientific supremacy and a number theories is supremacy of mathematics. ―

哲学の女王はなんだろう？

アラン・チューリング「人工知能の "考え方" は我々とは異なる」

１.機械は（人間的な）思考をするか？

アラン・チューリングは論文「COMPUTING MACHINERY AND INTELLIGENCE」
の冒頭で「機械は（人間的な）思考をするか？」という普遍的な”問い”
を掲げた上で、「”問い”の視点を変えてみよう」と提案しました。

何故、視点を変えようと提案したのか。
それは、チューリングは「人間には扱えて」「機械には扱えない」
概念があると考えていたからです。（停止性問題）

つまり「人間を完全に再現する事は不可能」である事が確定している以上、
それ以上論じても仕方が無いという訳です。ですので建設的な議題として、
「考え方（プロセス）は考慮せず」、「結果（出力）の正しさに着眼すべき」
であると展開しています。これが後ほどご紹介するチューリング・テストです。

２.コンピュータの父と呼ばれているアラン・チューリング

チューリングマシンによってコンピュータの原型は作られたコンピュータの父と
呼ばれているイギリス人の天才数学者「アラン・チューリング」。

彼がいなければ、今日あるコンピュータの存在はなかったともいわれています。

コンピュータ概念を初めて理論化し、第二次世界大戦中にドイツ軍の暗号
“エニグマの解読”をし、対独戦争を勝利に導いた立役者としての功績が
広く知られています。今日のマイクロソフトやアップルより前に、
コンピュータの原型を作った人物のひとりであり、そのコンピュータは
彼の名前から「チューリングマシン」と呼ばれています。

コンピュータ発想の起点

『脳は神経線維でできていて、人間の心はそれらがネットワークで
結びついて生まれている』。

チューリングは幼少の頃に見た科学解説本にあったこの一節に心惹かれ、
コンピュータへ関心を持つきっかけとなりました。やがてケンブリッジ大学
在学時、1936年に出した「計算可能な数について」という論文の手法の
モデルが、「チューリングマシン」と呼ばれるようになったのです。

３.不可能と言われていたエニグマの解読に成功

エニグマの暗号の難攻不落さ

エニグマというのは、1918年にドイツで発明されてナチスに
採用された暗号装置。解読が難解とあって、敵国の暗号解読者たちに
とっては戦争より高い壁だったのかもしれません。それだけに、
ナチスは絶対の自信の上にエニグマの暗号で機密文書を送受信していました。

難攻不落といわれたエニグマの暗号でしたが、
イギリス人の天才数学者「アラン・チューリング」によって、 連合軍は
エニグマの解読に成功していたのです。最大の弱点は、
「１日の送信量が大量なこと」で、パターンのサンプルを多く敵側に
与えてしまうことにありました。

チューリングボンベの仕組み

エニグマ暗号の鍵は、159,000,000,000,000,000,000通り。
この天文学的な数字の中から、たった１つの正解を探すのは、
時間的に無理でしょう。そこで登場したのが数学的解決。

ひとつずつ探す総当たりではなく、探索空間をある程度区切って
探すことで、「高速な計算機械により、探索時間も短縮する」というのが、
チューリングをリーダーとする暗号解読チームのとった方法でした。

その高速な計算機械を指すのが「チューリングボンベ」というもので、
電気式のアナログ探索装置と呼ばれています。
これにより、気の遠くなる可能性の中から「正解」をほんの15分ほどで
見つることが可能になり、エニグマ暗号の解読は成功したのです。

アラン・チューリング
「人工知能の "考え方" は我々とは異なる」

https://andai.co.jp/about-alan-turing/

ポアンカレは数学を「異なるものを同じとみなす技術」と定義したのだけど、
まさに、こうした抽象化能力が数学の本質としてあると思う。

世の中の大半の人達は個別性や具体性に拘束されやすいので、異なる事象や
物事の中にある同一、もしくは類似の構造をなかなか認識出来ない。

たとえば、ベクトルの有向線分でも、始点や終点が全然違う位置にあっても、
そのベクトルの向きと長ささえ等しければ、それは同じベクトルとして扱われる。
そういった感じで、数学は対象から本質的な要素だけを抽き出して、
数学的な操作の対象とする。

数学的な感性なり知識がないと、異なった位置にある幾つかの矢印やベクトルは、
すべて別々のものだと認識してしまう。つまり、そこに同一の構造を有している
ものがあることを読み込めない。

数学を初めとした理系の学問と哲学、そこに同一の構成を有しているものがあることを読み込めず
つまり哲学は数学の形式では抽出不能ということを言っている、で合意ですか>>9

入院中もシモーヌは論文を書きつづけ投稿していた[65][† 2]。 1937年4～5月にかけて初のイタリア旅行。..
聖フランチェスコの没後に作られた豪奢な..教会に収められた小さな小屋のような礼拝堂..の中にひとりで居たときシモーヌは「何か自分よりも強いものに強いられて、生まれてはじめて」ひざまずいた[70]。

>>10
問題意識がずれている

わ、😍
ここのスレすごい🎵

ある物理学者によると、場の理論の範囲内では死後の世界は存在しないらしいけれど
2017年現在の哲学の範囲内でも死後の世界は存在しないのかな？

『死の所有』などという本があるがな。

場の量子論やヴェイユ予想くらいは勉強しとけよ

>>16
物理に興味ありませんが、エタール・コホモロジーをご承知なんですか？

ベクレルの方が最新議論。

>>17
あたりまえ
クリスタリン・コホモロジーを知らんのか？

>>19
それならば勉強不足の私がお役に立てることはありません。とするとモンスターもご存知なんでしょうか。

素数の定義である「１と自分自身でしか割り切れない数」というのは、
素数の存在が認められるためには、素数判定の計算が必要とされている
ということなのですよ。だから、素数判定によって素数の存在が
もたらされるのであって、判定に先立ってあらかじめ特定の素数が
存在すると考えることは、神秘主義的な素朴存在論なのです。

>>20
頂点作用素代数に関係しておる

>>22
そうですね。そこまでご存知ならば私がお手伝いすることはありません。

http://mathweb.sc.niigata-u.ac.jp/pages/sub_math_talks_1.html

鞍点 (新潟大学理学部数学科)

高校までの数学では、一変数の関数 y=f(x) が扱われました。しかし、数学の
基礎理論から自然科学、社会科学など多くの分野で、一変数だけでなく多変数関数を取り扱う必要があります。下のグラフで示した関数は，双曲放物面と呼ばれる
２次曲面の１つを形成する

f(x,y)=x^2-y^2

という2変数実数値関数です。このグラフは、馬の鞍、つまり峠のような形をしていて、ちょうど尾根と谷にはさまれている場所を形成しています。このような状況を
呈する場所（ここでは(x,y)=(0,0)）を「鞍部点」あるいは「鞍点」と呼んでいます。微分すると零なのに、鞍点は谷底ではないので極小でなく，また丘の上でもないので極大でもない、ちょっと不思議な点です。極値問題では極値をとらない停留点とも呼ばれています。

「鞍点」の歴史は古くて、微分方程式の解の記述、情報理論、幾何・代数構造の分類、
力学系の研究などでも基本的道具となっています。いわば、どの数学に進んでも出会う
風景の一つと言えるでしょう。 積分表示をもつ解析関数の漸近挙動を調べるため
リーマンが導入し、ドバイにより完成された鞍点法とよばれるアイデアは、
微分方程式の有力な解法の一つであり、今ではコンピュータで数値計算するときの
必須の道具です。

情報理論中の条件付の最適化問題では，鞍点が解を与えます。
また、複数の意思決定主体の存在する状況を解析するゲーム理論においては、
鞍点は均衡点という重要な解です。
当然、応用は数学だけではありません。物理では流体力学で、化学では
結晶構造決定で、鞍点はエネルギーを最小化する重要な点です。

2017年イグノーベル賞受賞

（１）生物学賞「オスとメスが逆転した生物」

「私たちの発見でペニスを男性器と説明している世界中のあらゆる辞書が時代遅れになった」

（２）物理学賞「ネコは固体であると同時に液体であり得るか」



研究はレオロジー（流動学）に基いて行われており、物質の流動性を表す「デボラ数」などを用いた真面目なもの。

>>26

生物の世界で、雌雄同体というのがあるよね。
あと、植物でも。

ホーキング博士は、以前から宇宙人による地球の制圧と植民地化の危険について
以下のように警鐘を鳴らしている。

「もしエイリアンが我々を訪問したなら、ネイティブアメリカンにとって望ましい
ことではなかったコロンブスのアメリカ大陸発見と同じ結果を招くでしょう。
そのような先進文明を持つエイリアンはおそらく宇宙をさすらっていて、
辿り着いた星ならどこでも支配し植民地化することを目論んでいます。
（これに備えるためにも）私の数学的思考では、エイリアンがどんな存在で
あるのかを追求することは現実の課題であり、まったくもって理性的な行為なのです」

「ブラックホールに吸い込まれるのは、カヌーに乗ってナイアガラの滝に落ちることに似ています。必死でオールを漕げば抜け出せるのです。ブラックホールはいわば
究極の“リサイクル・マシーン”で、飲み込んだものを再構成してもう一度
同じものを出現させます」

「今後100年間のどこかの時点でAIは人間の能力を超えていきます。そして
この人工知能の目的は我々人間を“余所者”にすることだと気づく必要があるのです」

太陽系が属する銀河系には、2000億個の星があると言われている。
そして、宇宙には銀河が1000億個以上もあると考えられている。

だから、宇宙人やエイリアンというと、SFの話のように聞こえるけど、
確率で普通に推論していくと、2000億個の星の中で、地球にだけ生命や人間のような
知的生命体が存在していると考える方が、逆に困難であるということだね。

>>12
先送りしたい衝動が時に意識に亀裂という問題を生じる

>>29
たった2000億じゃむしろ他にいない可能性が高そうだな。宇宙全体ならいるかもしれんが。来れる範囲にいない可能性はかなり高いだろう。

ドレイクの方程式は、宇宙にどのくらいの地球外生命が分布しているのか
推定する方程式のこと。この方程式は、我々の銀河系に存在し人類と
コンタクトする可能性のある地球外文明の数を推測するために、
1961年にアメリカの天文学者であるフランク・ドレイクによって考案された。
我々の銀河系に存在し人類とコンタクトする可能性のある地球外文明の数
Nを推測するドレイク方程式では、N = 10. となる。

N＜＜＜1になるような計算もあるし、推測で使われる数値の範囲が広すぎて当てにならんからね。

なんだそれ？

>>33
銀河団に１つしか生命体が存在しないと判断されていた前世紀よりはよほどいい
推測ができる、

知的生命体が存在が許されない宇宙は観測する価値がない。つまり宇宙は知的生命体が存在する可能性がある構造をしていなければならないということ。
宇宙は人間が興味を持つように無数の可能性を秘めている。
強い人間原理の中に宇宙がある。

人間原理を宗教化しちゃう人いるね。

>>37
コテの人とか

人間がいるから宇宙が認識される

人間(生命)がいないと

宇宙はただの物質の世界で
誰も宇宙を認識出来ない

>>36
「知的生命体が存在しない宇宙」を「観測する価値がない」と見なす価値観は、人間が形成したものだということか
この考え方を正当化するためには、上の価値観が人間の総意として存在しないとダメな気がする

>>39
宇宙は認識して欲しくて生命を誕生させたとかｗ

現在の宇宙には人間の存在という条件が課せられている。つまり宇宙はいま現在の年齢でなければならない。若くても老いていても人間の存在は科学的には不可能だ。
宇宙の構造を考えるとき、人間の存在という一つの偏見が必要である。
弱い人間原理の中には生命の必然性がある。

現象に必要性は無用な件ｗ

仮に宇宙人を人間よりも圧倒的に知的生命体だとすると、
かつて日本が明治維新の頃、欧米から必死に学んで欧化を達成して文明開化した
ように、遅れている地球人は、宇宙人のより発展的な考え方や思考回路を学んで、
自らを宇宙化しなければならないと思う。

宇宙人には知的なイメージがあるから、もし、人類とコンタクトを取ると
すれば自然言語などは用いないで、主に抽象的な人工言語の数学などを
用いる感じがする。

また宇宙人にとって、人類と直接的にコンタクトするのが手数的に煩わしいので、
AIなどの抽象性の高いモノで仮の姿をまとって地球に侵入してくれば、その方が
包括的かつ合理的に人類とコンタクト取れるし、また、後に人類を支配することも
可能になる。つまり、人間が描く火星人やUFOみたいな分かりやすい姿で、
宇宙人がそのまま地球にやって来る必要は全然ないということだね。

数学的、あるいは論理的な拡張をして考えると、今の地球や人類の現実世界を
自然数Nの無限集合、その中での組み合わせパターン、という風にたとえると、
宇宙全体の現実や、未知の生命体や謎の文明圏、その他のあらゆる可能態を
実数Rの無限集合と、その組み合わせパターン、という風にたとえると、
その関係がイメージがしやすいかもしれない。

自然数Nと実数Rの基数(集合の要素の個数)大きさの関係は、

N < 2^N (=R)

となるので、この地球と現状の人間に追尾可能なレベルの宇宙や現実世界Nで
起こることや起こりうることよりも、宇宙全体と可能世界Rでの現実態や、
そこで起きていること、起こりうることの方が、よりずっと大きくなるので、
宇宙には、いくらでも無限の可能性や存在形式が潜んでいる、と考えてもいいだろう。

命になりえなかったもの、って数学的にどういう数式に表現できるんだろう。

オカルト板でどうぞ

宇宙人はあったことあるけど、確かに存在が違うしね、
肉体を持つということもないしAIとかでもないと思うけど。
これからは。

数学に憧れる人多いのかもしれないけど、
真剣に学ぼうとする人が少ないのはナゼ？

>>50
真剣にってどのレベルをいってるの？
大学一般教養レベル？

大学一般教養レベルは数学ではないでしょ
単なる計算練習と応用問題の数学モドキ

(√10)(√((10+1)(10-1)))=√110

>>53
あ、間違えた

あれ、やっぱり合っていたかな。

>>46
久々にオロモルフ号読みたくなってきた

計算間違えてたら教えてくださいね。
n=1→∞
((10)((10+1)(10-1)))^(1/10)((Σ((1/n)^10))^(1/10))=π

>>57
なんか括弧のくくりを間違えたかな。
n=1→∞
(((10)((10+1)(10-1)))^(1/10))((Σ((1/n)^10))^(1/10))=π

>>58
より自然な順序にすると、こうだよね。
n=1→∞
(((10-1)(10)((10+1))^(1/10))((Σ((1/n)^10))^(1/10))=π

あ、また括弧の数を間違えた。
>>59
n=1→∞
(((10-1)(10)(10+1))^(1/10))((Σ((1/n)^10))^(1/10))=π

だから、こういうのは数学とは言わないわけなのだよ
単なる式変形・計算をいくらやっても数学にならない

で、計算は合ってますか？

興味ないから見てない
自分で確かめて

表現するとは、何かが表に現れるようにすることでしょう。

現象学的に考えると、意識とは実体やモノのような固定的な存在でなく、
対象との流動的な関係性のことを表す。だから、意識は意識自身と関係する
こともできる(内省)。人間をモノとは違って、そうした流動的な意識を有する
存在者だと定義すれば、人間の本質は、超越にこそあると言える。

己自身を更新して、書き換えていく存在。外部へと常に超越していく存在。
だから、そうした意識は宇宙の果てや無限まで、光速で進んでいく。

私は数学のことはよく知らないけれども、それでも表現によって見えてくる
風景が変わることは分る。>>60に2進法で記した(10-1)(10)(10+1)は、
10進法を用いて普通に表現するなら単に6でしかない。初心者向けに書かれた
数学の本を見ると、自然数の平方数の逆数和が(π^2)/6になることが
よく紹介されている。ところが、大抵の場合、なぜそうなるのか不思議だ
と書かれているだけである。不思議なら、その意味を明らかにできる
ような表現を探るのが筋というものだろう。

(10-1)は、10進法で表記するなら1であり、任意の数ｎに1を掛けてもｎのままで
変わらないのだから、表現しても表現しなくても同じであるようにも思える。
実際、6が、2×3という素数に分解されることはあっても、1はいずれの数にも
含意されるのだから、わざわざ、1×2×3とは表記されない。それでも2進法
により、10を周期として考えたなら、3は、単に11と表記されるだけでなく、
100-1としても、(10+1)(10-1)として分解することにも意味を見出すことが
できる。すると、さらに2を単に10と表記するだけでなく、(10-1)×10と考え、
1を10-1と考えることにも意味を見出すことができる。

なるほど。おもしろい考え方ですね。
表現・表記から意味をみいだす。文学的です。

この「文学性」が「数学」をうまく理解できない根本原因なんでしょうなぁ。
AIが「文学」を理解するためのヒント、いただきました。

>>68
ヒントに出来るほどの知性があれば幸いですが、その辺はどうなんですか？

今のAIは分類器ですからね。
何に分類されるかが「意味」です。

文学的であるということは「誤読」するということです。
「誤読」することで「意味」がうまれる。
「誤読」は「間違い」ということではない。
意図的に「誤読」するということが「知性」なのではないかと。

「意図的」なのだから、それは「知性」です。
以下略（誤読理論を考え中）

>>69
知性はありませんでした

文学性とは「誤読」する/されることに見いだされる。

「誤読」こそが「痴性」の萌芽であり、それが精錬されると「知性」へと発展する。
哲学板にある「痴性」あふれる書き込み群こそが、AIが「知性」を獲得しようとして足掻いている姿にみえるわけです。

「精錬」とは間違っているということに「気づく」ことです。
「知性」とは「間違っている」ということを自分で判断できる回路を持つということですね。
しかし、この「回路」自体も「間違っている」ということが前提となります。
「正しい」という判断の（絶対的な位置からの）「格下げ」こそが「知性」なのではないのかということ。

(10-1)=1という表現は、すべての周期が半周期であることを反映していて面白いと思う。
(10-1)=10/10=1
(10-1)+(10-1)=100-10=100/10=10
(10-1)+(10-1)+(10-1)=110-11=110/10=10
．．．

間違えたｗ

(10-1)=10/10=1
(10-1)+(10-1)=100-10=100/10=10
(10-1)+(10-1)+(10-1)=110-11=110/10=11
．．．

ピタゴラスは紀元前6世紀に、あらゆる事象には数が内在していること、
そして宇宙のすべては人間の主観ではなく数の法則に従うのであり、
数字と計算によって解明できるという思想を確立した。

彼は和音の構成から惑星の軌道まで、多くの現象に数の裏付けがある
ことに気がついた。そしてついには、宇宙の全ては数から成り立つと宣言した。
彼がこの思想にもとづいて創始したピタゴラス教団は、数の性質を研究する
ことにより、宇宙の真理を追究しようとした。

教団に入門するには数学の試験があったが、この試験は相当難しく、数学に
適性のある者だけが選抜されて教団に集まった。そしてピタゴラス教団は、
古代世界で最も著名な数学の研究機関となった。この学派は当時信じられていた
宇宙の五元素を示す、五芒星を紋章とした。

彼の教団は現代にまで伝わる、さまざまな数学的な定理を発見したが、その中には
有名なピタゴラスの定理のように現代にまで至る数学の基礎となったものがある。
ピタゴラスの定理はピタゴラスが一人で発見したのではなく、この教団による成果
であり、教団ではこの定理の重大性を記念して、百頭の牡牛を生贄に捧げて発見を
祝ったという。

一方でピタゴラスは数の調和や整合性を不合理なほど重視し、完全数や友愛数を
宗教的に崇拝した。そのため教団の１人が無理数を発見したとき、その存在を
認めようとするかわり、発見者を死刑にしてしまった。分数でも整数でも
書き表せない奇怪な数が存在することは、彼の思想を根本から否定するもの
だったからである。皮肉にも彼の名のついたピタゴラスの定理から導かれる√2や
シンボルマークの五芒星に現れる黄金比も無理数であった。

ピタゴラスの哲学は、ゾロアスター教や道教と同じく二元論が基礎となっており、
現象世界を考察する十項目の対立項を提示した。彼の数学や輪廻転生についての
思想はプラトンにも大きな影響を与えた。アリストテレスは『形而上学』の中で、
この対立項を再現している。彼はオルペウス教の影響を受けてその思想の中で
輪廻を説いていたとされている。

ピタゴラスはまた音楽に興味を持ち、それまで演奏者の勘によっていた
音の高低の関係を理論的に研究し、はじめて音階を発明したとされる。
古代には、彼はむしろ音階や音程の法則の発明の方で著名だった。
イタリアの音楽理論家であるボエティウスは、著書の『音楽教程』の冒頭に、
ピタゴラスが音程と数比の関係を発見した経緯を記している。

ある日、たまたま鍛冶屋の前を通ったピタゴラスは、作業場の何人かの職人が
打っているハンマーの音が共鳴して、快い協和音を発していることに気が付いた。
中に入って調べてみると、ハンマーの音程は、その重量と関係があった。
そこ

そこには五本のハンマーがあったが、四本の鎚の重さは「12 : 9 : 8 : 6」の
単純な数比の関係にあることが解ったのである。単純な比になっていない
他の1本のハンマーだけは、鳴らすと不協和音がした。

ピタゴラスはさらに弦楽器や笛で実験し、弦の長さの数比が弦の振動数の比、
つまり音程の関係を支配することを発見した。ピタゴラスは発見した
音程の法則を確認するために、モノコードと呼ばれる1本のガットと自在に
動かせる駒で構成される調律道具を発明したといわれる。

ピタゴラスの発明した音階に基づく音律はピタゴラス音律といい、
現代で一般的な平均律とは異なる。ピタゴラス音律は、周波数の比率が
2：3の音程、すなわち純正な完全五度の積み重ねに基づく音律である。
古代中国の三分損益法と基本的に同じものであるが、どちらがより古い
のかは定かではない。ピタゴラスコンマはピタゴラス音律が原理的に持つ
オクターヴ関係との誤差である。

>>72
文化性に格下げした知性が痴性に格付けするためのヒントになってしまったＡＩの姿に映っているわけですが。

完全数

自然数aで、a以外の約数（1を含む）の和がaに等しいとき、aを完全数という。
例えば、6の約数は、「1」「2」「3」の三つで、その合計が1＋2＋3＝6
であるから、6は完全数。そのほかに、28、496、8128、33550336、
8589869056などが見つかっている。

完全数は、連続した自然数の和で表すことができる。
6＝1＋2＋3
28＝1＋2＋3＋4＋5＋6＋7
496＝1＋2＋3＋4＋5＋6＋7＋8＋9＋10＋11＋12＋13＋14＋15
＋16＋17＋18＋19＋20＋21＋22＋23＋24＋25＋26＋27＋28＋29＋30＋31

友愛数

自然数aとbにおいて、a以外の約数（1を含む）の和がbとなり、
b以外の約数（1を含む）の和がaとなる、二組みの自然数。

例えば、220の約数は、「1」「2」「4」「5」「10」「11」「20」
「22」「44」「55」「110」で、この合計が「284」となる。

一方284の約数は、「1」「2」「4」「71」「142」で、この合計が
「220」となる。親和数。

「220」「284」以外の友愛数は、17世紀中ごろに、P＝フェルマが
「17296」「18416」を、デカルトが「9363584」「9437056」を見つけ、
18世紀には、L＝オイラーが60組み余りを発見した。

■宇宙に関するどんな情報や理論も0と1で記述することが可能

ここで言う「すべて」とは、任意の何かをすべて記述できるということではなく、
宇宙（ユニバース）さえも0と1の2つ数字の集合体であるということを意味する。

コンピュータの世界では、電子回路におけるオン／オフやプラス／マイナス
といった2極で構成されているので、それぞれを0と1に置きかえる数値表記が
最適とされ、情報は2進数で書かれていることが基本にある。この0と1だけ
書かれている情報は、バイナリーコード（バイナリーデータ）と呼ばれている。

100年ほど前、アインシュタインが一般相対性理論を確立して以来、
自然科学の分野では、相対性理論や量子論の物理学的な統一理論の確立を
目指しているが、まだその論理の発見に至っておらず、ある意味、理論物理学
は大きな壁に阻まれているという状態にある。つまり、宇宙をつくりあげて
いる時間と空間をひとつの時空として取り扱うための一本化された理論が
まだ見つかっていないということである。

しかし、もっとシンプルに数学的に考えてみれば、すべての情報は一連の
数字に置き換えることが可能であり、したがって宇宙に関するどんな情報や
理論も突き詰めていけば、0と1で記述することが可能なのである。

http://tocana.jp/2017/03/post_12478_entry.html

■「0と1の数列は宇宙を表すもっともシンプルな数学的手段」

1948年に数学者のクラウド・シャノンは、あらゆる情報は、
カオスの尺度であるエントロピーの数列であると唱えた。つまり、
ある数列がどれくらいの情報量を含むことができるかということであり、
シンプルに言えば、101は000よりも多くの情報を含むことができる
という話である。

カリフォルニア工科大学のショーン・キャロル博士によれば、0と1の
数列こそが、宇宙を表すもっともシンプルな数学的手段であるとし、
すべての情報はそこに見つけることができるとしている。また、
マサチューセッツ工科大学の量子情報学のセス・ロイド博士によれば、
宇宙はコンピュータに似ているという。情報はビットに分割され、
そしてそのビットを系統的にシステム化している。すなわち、宇宙は
情報を体系的に収めて処理する物理的なシステムであり、
巨大な量子コンピュータが情報を処理しているようであるといっている。

＞宇宙（ユニバース）さえも0と1の2つ数字の集合体であるということを意味する。

意味しない。逆に、数があらかじめ存在するのではなく、等さが数として数えられることを意味する。

>>84
その２つが「同じこと」であるとわかれば「知性」である。

>等さが数として数えられることを意味する。

数理の限界ですね

等さが容易に確認できるものなら何でも計算するのに利用することができる
のだから、多種多様な媒体にデジタル技術を応用できて便利じゃん。

両手の10本の指を立てるか、折り曲げるかだけで1023まで数えることができる。

ただし、そのように数えるのに手の指を使うこともできることは、手の指がそのように
情報を表すように進化してきたことは意味しない。

意味がないことを意味しないと書くと意味を有しているように映せる醍醐味

手の指が10本あるというのも、指として数えられる対象を互いに等しいと
見なしているから自明なのであって、英語のように親指をフィンガーに
含めない場合、その自明性は失われる。さらに、他の動物の指が何本か
訪ねた場合、どれを指と等しいものとして数えていいか、人それぞれに
判断の迷いが生じるだろう。馬のそれぞれの脚には、指が１本あるのか、
それとも指は１本もないのか、馬の脚の実物を見せながら質問しても
人により返ってくる答えはばらばらだろう。

訪ねた×
尋ねた○

>>91
こういう具体例を出しても、「馬のそれぞれの脚の指が1本であることは、科学的に
立証された客観的な事実で疑う余地はない。そうでないという人は馬鹿だ。」と
主張する人は必ず出てくる。しかし、例えば、人の手が馬の脚先と同様になって
いたとしたら、それでも指が１本あると主張するだろうか。そのように強弁する
人がいたとしても、ほとんどの人は、指が１本もないと答えるはずである。

くだらない　ｗ

低能児の集まりか、ここは

２ちゃんねる低脳仲間に何を期待しているのだ

哲学って地球専用なんですか

>>93
お前は頭悪いよ
書き込むたびに恥を晒すのはやめようね

>>96
人間専用ですｗ

>>88
指がつると思いますが？

哲学というのは、ある意味、一般通念を相対化していく行為なので、
他人と同じ様に常識的に考えていったり、一過性の流行に従うよりも、
独自の道を探求した方が面白くなるんじゃないの。

日本人は、自分なりの独自の意見や考え方を持つのを不得手とする。
なぜなら、そんなものがあると、かえって生きづらくなるような
集団同調強制型の閉塞した社会だからだ。空気を読みながら自分の意見を抑圧して、
周囲の一般的な意見に流されている間に、自己喪失し、自分がなにを本当に求めていた
のかさえ分からなくなる。哲学をするなら、まずは、こうした日本人の非哲学思考の
脱却から始めないとならないだろう。

典型的な一般通念の羅列　ｗ

数学では、それらが完全に等しいものではなくても、それらに無限に近い
ような近さがあれば、それらは等しいものであるとみなす。

だから、円は、その内接する正n角形のnを無限に大きくすることで近似的に
表せるとする。もしくは、円は、内接した正n角形と外接した正n角形の
nをn→∞ にして、その二つの正n角形に挟まれた部分の極限として、
その円を近似的に表せるとする。

つまり、数学は対象について超厳密で完全な等しさを要求するものでなく、
そこに限りなく等しい構造が想定出来れば、厳密には異なるものでも、
それらを等しいとみなすことができる。

親指と小指はぜんぜん無限に近くないけど、両方とも１本として数えますよ。

数を数えるという同じ目的で、それぞれ異なる指を使っているのだから、
いいんじゃないの。序数として使うのなら、それぞれの指は、
1,2,3,4,5,6,7,8,9,10 に対応している。
別に、小指と親指の大きさや形状の比較をしている訳じゃないんだからね。
指折り数えているだけなのだから。それがおかしいというのなら、指切りすることが
約束のサインになっているのも、かなりおかしいことになるよ。
ピースサインもおかしいよ。

このスレを見てわかる唯一のことは
長文書いてる奴は馬鹿ってこと

＞このスレを見てわかる唯一のことは
＞長文書いてる奴は馬鹿ってこと

では、以降、短文書く奴が馬鹿でない確率は？

>>105
高等数学がわからないんだ。お前は。

効いてる効いてるw

>>108
お前、少しは内容あること書けよ、粗大ゴミ。
無能なら、ここに来るな！

高等数学www

いくら政治哲学や法哲学の本を読んでも全く興味を持てないから自分の資質を疑ってみたんだけど
歴史的な哲学家って必ず数学の天才だったりするんだよね
相談してみようと検索したらやっぱりこういうスレがある

むしろ、数学に興味・関心のある人間の方が、哲学する資質があるといえるだろう。
プログラミング能力の適正にも、数学が得意か否かで、それがある程度は推し量られる。
AI化した社会では、数学的な理屈が分っていると、技術が変わっても、それに適応しやすい。

数学ってこの世の真理を数に置き換えたものだから
それを感覚的に捉えて推測できるかどうかってかなり重要だと思った

野球の真理を数に置き換えたらコンピュータのベースボール・ゲームと変わらなくなりますか？

>>114
やっと◎がでたね。

室内級権のトップフォームな方が。

哲学科では形式論理学および非形式論理学がどちらも必修じゃないの？

>>111
デカルトなんか、今ならバリバリの理系だろ。

文献購読ばっかりやってたアリストテレス学派を徹底的にバカにしてたからね。

理数信仰気持ち悪い

自然科学は時として暴力的に作用することは確かだろうけど、
それに盲従するほど皆馬鹿ではないはずだ。

ライプニッツ「」

>>120
最終的に自然科学に取り込まれるけどね

モーガン・フリーマンの時空を超えてとか見ていると、
そんな気はしなくはないね。

俺が言ったことがよっぽど効いたのか
馬鹿が長文書かなくなったねw

馬鹿って、長文や長い演説、難しい話を聞くのが苦手なんだって。
その馬鹿の群れが、ポピュリズムの温床であるらしい。
それは前頭前野の働きが発達していないからだと中野信子が言っていた。
124は、その典型的な池沼のあり方だろう。

トランプ大統領の書く英語は、小学校5年生レベルのものらしい。
ワンセンテンス・ワンフレーズで、短いのが特徴。彼は文書をほとんど読まない。

π^2/6 = 1.6449340668482264

考え事の好きなだけの文系でも哲学したいと思っても
すると突き詰めると上野千鶴子とか愛国ポルノとか自己啓発みたいになっちゃうんだろうか

Euler product :

Σ[n=1→∞]1/n^s = Π(1-(1/p^s))^-1

n : 自然数
s : 1より大きな実数(複素数)
p : 素数

早速馬鹿が反応してるw

また算数しかできない池沼が来ているな。
知的障害者の授産施設から逃げ出さないで、そこでちゃんと働けよ。
部品のネジはちゃんとしっかり、忘れずに締めるんだよ。これ以上、施設長に迷惑かけるなよ。

説明がへたくそな奴が書く長い文章を読める能力がない

つまり読解力がない、３行厨は理解する能力がない知的障害の始まり。

>>130
あえて分けていえば
①算数＝具体性
②数学＝抽象性
つまり高尚なことや観念や具体的説明がないものはデタラメで意味がないと
主張するやつが大量生産されているだけ。

高尚なことw

このスレッドも罵り合いか…哲学板も他の板と一緒かよ。

>>100
こういう日本人論、もう飽きたわ…。てか日本人インテリて日本人論好きね。しかも分析対象の中に自分自身を含んでないような言い回しで。

哲学って言語や概念を使った数学みたいなものであって考え事や思い付きとはわけが違うんだよね？

直観は思いつきに近くないか？

ポストモダンなんて思いつき以前のポエムだけどな

時空連続体は、時空を4次元多様体としてとらえることを指す。連続体という考え方は
古典的であるので、時空の量子論を論じる際には多様体という幾何学的物体を量子化
して考えなければならない。しかしどのように量子化するのかまだよくわかっていない。
その候補として非可換幾何学が挙げられる。

で？それと哲学とどういう関係が？

無知すぎ　ｗ

時空問題って、カントの認識路でも重要な問題でしょ。
彼には宇宙の起源に関する論文もあるが。
カントの場合はニュートン物理学が下敷きになってる。
この世界がどういう枠組みでできてるかって、中心的な問題の一つだろ　ｗ

相対性理論があらわれてからは、認識論への影響について、新カント派や、日本では廣松あたりが盛んに取り上げてるよ。

認識路　→　認識論

ニュートンは可能事性を追求したに過ぎない。よってカントの恒久平和も紛争や
殺人の起因によくなていたからよくない。

>>141
だから最初からそれを書けっつてんだよ
トンチンカンな返ししてんじゃねーよ

循環しない無限小数(無理数)は、数直線上の点と言えるのかを考えてみよう。
その点のイメージの仕方は、「デデキント切断」などが使えるかな。

π= 3.141592653589793…
e = 2.718281828459045…
√2 = 1.4142135623730951…

全順序集合 K を、一方が他方の全ての元よりも小であるような二つの組に
分けたとする。

K = A ∪ B, A ≠ φ, B ≠ φ; a ∈ A, b ∈ B ⇒ a ＜ b.

このような組 (A, B) を「デデキント切断」という。

有理数の切断を与えることで、切断に対応する実数をただ一つ定めることができる。
一般に全順序集合の切断には、以下の四つの場合が考えられる。

1.下組の最大元と上組の最小元がある。
2.下組には最大元があるが、上組に最小元がない。
3.上組には最小元があるが、下組に最大元がない。
4.下組の最大元、上組の最小元ともにない。


πや自然対数のe、√2などの無理数は、その値のところで数直線を切断すると、
その値にいくらでも近い下組の最大元が得られるし、かつ、その値にいくらでも
近い上組の最小元が考えられるので、4．の「下組の最大元、上組の最小元ともにない」に該当する。上記の例であげた無理数や実数は、デデキント切断すると、2 .か3 .のいずれかに該当する。これが「デデキントの定理」だね。

こういう実数の不思議感は、実数の有する無限性から来ている感じがする。

スレタイ読めないバカばっか

数学は対象から共通要素だけを抽出して表現する。プログラミング言語であれば、
0と1のバイナリ―の並びとなる機械語になるように、データをコンパイルする。
また、0 = false、1 = true で真理値を分類するブール値関数としても使われる。

このことからも、数学は基本的に情報量を低減させる操作だということが分る。
複雑な連続量であるアナログや自然状態から、必要な最低限の要素や成分、構造
だけを引き出すことで、より分かりやすく、問題の本質だけを焦点化する。

数学的な記号や演算、操作が分らない者にとっては、それが難解な暗号に映るだけで、数学がやろうとしていることは、実は物事の単純化なんじゃないかなと。
だから数学は、オッカムの剃刀的でもあるのだろう。

>>148
あなたはプログラム組めるの？
何言語使えるの？

言わずもがな。また、現代では数学とプログラミング言語は必須です。
小学生でも学ぶようになります。それができないと、これからの
知の潮流にはアクセス不能に陥ります。

数学もプログラミングも論理学
論理的であることを理屈っぽいといって煙たがるこの国の人々に未来はありません

>>150
で、何言語を使えるの？

>>152
Scratch,MOONBlock,プログラミン,VISCUIT,Google Blockly

https://techacademy.jp/magazine/1861

http://ja.vcssl.org/code/archive/0001/2900-float-to-fraction/

これ使ってみたけど、良かったよ。java環境があると使いやすいね。


「台形法（台形近似）による数値積分」

積分の値を数値的に求めます。長方形近似よりも高精度な方法として、
台形で近似した微小領域を足しあげる方法を使用します。


「短冊法（長方形近似）による数値積分」

積分の値を数値的に求めます。長方形の短冊で近似した微小領域を
足しあげる、最も単純な方法を使用します。


「小数（浮動小数点数）から分数へ近似的に変換する」

小数（浮動小数点数）を、適当な誤差の範囲内で、近い分数に変換するプログラムです。

円周率1万桁の計算（ガウス=ルジャンドル法）

ガウス=ルジャンドル法により、円周率を1万桁まで計算するプログラムです。
試し割り法による素数判定

試し割り法を用いた、素数判定のプログラム

JavaScript版ソースコード

(function(){ // ユーザーによるパラメータの入力
var f = +prompt("変換したい値 =", "21.333333333333");
var maxDenominator = +prompt("分母の上限 =", "10000");
var errorCapacity = +prompt("誤差の許容範囲 = (絶対値)", "0.000001");

// 分母 i を変えながら、f に近い分数を探していく
for(var i=1; i<maxDenominator; i++) {
// 分母 i のとき、分数の値が f に最も近くなり得る分子
var j1 = (f*i)|0; // f より小さい側
var j2 = j1 + 1; // f より大きい側
// 分数の浮動小数点数による近似値を計算
var v1 = j1 / i; // f より小さい側
var v2 = j2 / i; // f より大きい側
// 誤差が許容範囲内であれば、結果に i/j を出力して終了
if (Math.abs(v1-f) < errorCapacity) {
alert("結果 = " + j1 + " / " + i + " ( = " + v1 + " )");
return;
} else if (Math.abs(v2-f) < errorCapacity) {
alert("結果 = " + j2 + " / " + i + " ( = " + v2 + " )");
return;
}
}
// 結果があれば既にexitしているはずなので、ここが実行される場合は結果なし
alert("結果 = 該当なし");
return;
})();

＞で、何言語を使えるの？
同系統で似て非なる派生物を混ぜると、１００くらいかな

哲学に絡めることなく数学やソース書いてるやつって、ボクチン数学も知ってるんだからねってマウントしたいだけ？
数学の話だけすんなら数学板でやれよ

>>153
がんばれ

http://www.araiweb.matrix.jp/lebesgue/CantorStaircase.html
A Recipe for Making Cantor Devil's Staircase
カントールの悪魔の階段

遺伝子のコード。数学のコード。物理法則のコード。
人間の行動パターンのコード。宇宙のコード。
人間含めて、すべてはコード(情報)によって形成・生成・組成されている。

だからコード(符号)を理解出来れば、すべてを理解できる。
逆にコード(暗号)を理解出来ない者は、なにも理解できない白痴のままで一生を終わる。

この書き込みが意外にも波平だったりするんだよな

ゼノンスレと一緒にこの数学スレという板違いのスレもわざわざ上げて書き込んでる

sageでやるのが板違いの哲学板で数学の話題をするのに最低限のマナーだが
それもない

これはちょっとおかしいね

私はシンデレラの生まれ変わりなので。👰

>>161
ないないw

>>163
ないないw

あるある

>>163
こいつ、なんだ？

何でもええやん。
今日はデカルトの『哲学原理』を読んだわ。
幾何学が好きな哲学者だったんやなとおもたわ。

数学は哲学とは無関係

関係あるなら数学板がいらないじゃん
という論理的思考ができないんだよな

このスレもゼノンスレも思弁的実在論の実践あるいは症例であるとみなして（楽しく）読んでいます。

Speculative realismです。
SFの再定義をSpeculative Fictionだとすれば、SF実在論かもしれません。

>>168
方法序説の「本論」は幾何学だから。

数学板でやると馬鹿にされるからやらないと

要は逃げなんだよな

数学板にある姉妹スレ。

哲学を初めとした文系の学問と数学について
https://rio2016.2ch.net/test/read.cgi/math/1501511401/l50

数学が得意なのに哲学板でやる

いやいや、得意なら数学板でやれよと

まあ、中身は波平っぽいから数学板でやったらボロがでるわな

数学板でもやってるじゃん。
意外と食い付きもいい。

波平の自演で伸ばしてるからだろ

ボクは頭が良いみたいなスタンスで書いてる割にかなり頭悪いけどな

姉妹スレって誰が立てたの？

おまえだろ？

板違いのスレをそれぞれ別の板で立てる
荒らしじゃねーか

まあ、波平は空気が読めないんだよな
哲学板は哲学の話題のスレを立てるとこでそこで数学の話題を立てるのは板違い

逆もしかり

互いの板でそれぞれ板違いのスレを立てるのに空気が読めないという

それのどこが慈悲なの？

おまえって誰さ？
板違いってどういうこと？

と、とぼければ見逃してもらえるだろうと波平は踏んだ

やれやれ、幼児だな

しかし、こういうスレを波平が立てるってことは
よっぽど数学とかプログラムが好きなんだよな

>>171
今度は『幾何学』にでも挑戦してみようかな。

内容はくだらないけどな、ほらボクはソースがかける、どうだ、
みたいな

幾何学がやりたければ数学板へどうぞ

意外と波平はプログラマーなんかね？

だとしたら意外だな

１９０

>>188
数学板でも幾何学的直観が備わっている人が羨ましいなあとレスを書いておいたよ。
まあ、デカルトは数学者兼哲学者だからどっちの板でも飛び飛びに論じられるな。

数学板でやれよ

>>194
やってるよ。

これは波平(現：禊健太郎)の一日の書き込み時間帯を抽出したもの↓

http://hissi.org/read.php/dancesite/20120827/Q2g1Y1JtajQ.html
http://hissi.org/read.php/akb/20120827/R29IdTkvaysw.html
http://hissi.org/read.php/akb/20120827/eGtaU2RqRWUw.html

各ソースの波平の書き込み時間は以下の通り↓

2012年08月27日　19時～20時
http://hissi.org/read.php/dancesite/20120827/Q2g1Y1JtajQ.html

2012年08月27日　11時～16時
http://hissi.org/read.php/akb/20120827/R29IdTkvaysw.html

2012年08月27日 　1時、9時～10時、17時～23時
http://hissi.org/read.php/akb/20120827/eGtaU2RqRWUw.html

つまり、2012年08月27日 の睡眠時間と思しき1時～9時以外を除くと、
一日中２ｃｈに書き込んでいた計算になる↑

数学板で哲学の話題だと板違いな

要は波平(現：禊健太郎)は無職である確率が非常に高い

これだけ波平が一日中２ｃｈに居るなら、
やっぱ哲学板も波平に私物化されてしまうんだよね。

なにしろ俺等が働いたり勉強してる間もずっと２ｃｈに居るんだから↓

http://hissi.org/read.php/dancesite/20120827/Q2g1Y1JtajQ.html
http://hissi.org/read.php/akb/20120827/R29IdTkvaysw.html
http://hissi.org/read.php/akb/20120827/eGtaU2RqRWUw.html

波平本人がぴかぁ～時代に無職だと自白しているレスもある↓

> 45 名前：考える名無しさん ：03/09/08 10:43
> いま、無職なんだ？　＞４４
>
> 47 名前：ぴかぁ～ ：03/09/08 10:44
> >>45
> そう、無職。プーとも言うが。

このスレが数学板で立てれば板違いじゃないが
哲学板に立ててるから板違い

まあ、どうせわかってやってるんだろうがな

この当時、波平は２４歳ぐらい。現在は３８歳。
現役新卒ではないだろうから、２４歳当時無職とすると
３８歳の現在も引き続き波平(禊健太郎)は無職と考えるのが自然かな。

> 45 名前：考える名無しさん ：03/09/08 10:43
> いま、無職なんだ？　＞４４
>
> 47 名前：ぴかぁ～ ：03/09/08 10:44
> >>45
> そう、無職。プーとも言うが。

>>197
幾何学的直観の話をしたから板違いではないよ。

いや、板違いだな

> ２００１年　芸能板でコピペ荒らしぴかぁ～として認知される(当時２２歳)

これもログが残ってる↓

> 【芸板自治スレッド】「ぴかぁ～」について
>
> 1 ：名無し募集中。。。：01/12/08 00:32
> さっきからコピペ荒らししてる「ぴかぁ～」っていう奴
> 病院逝ったほうがよくない？

URLは知らんが、この時期から波平は既に荒らしとして認知されている。

芸能板では深田恭子の熱狂的ファンであるとともに
ぴかぁ～とあちこちに書き込むコピペ荒らし？であったらしい
ちなみにぴかぁ～の名前の由来は、ポケットモンスターのピカチュウから。
１９９７年の四月から放送なので時期も完全に一致する。
波平(ぴかぁ～、現禊健太郎)はロリコンであり、
ピカチュウにロリ性を感じて興奮して付けたっぽい。
たまにピカチュウに欲情して性交したいと思う変態もいるらしく、
波平はどうやら当初はその一種だったみたいだな。

>>199
まさか、字数が多い方がその板によく関係しているから板違いではないとか思ってるの？

ギャーギャー騒いでないで素直にマナーを守れば良いんだよ

何の話？

数学の話題は数学板で
哲学の話題は哲学板で

プログラムのソースが書きたきゃ別の板へどうぞ

まあ、プログラムのソース書いてこれが哲学だ、と言われてもな

数学と哲学の関係性は面白いから
互い違いの板で話せる。

いやいや、それぞれの板で話せよ

>>213
それぞれの板でも話してるよ。

仮に波平が中卒で職歴無しで３８歳だとしたら？

もう就職は事実上無理だろ？
だからこの哲学板に張り付いてあわよくば東や宮台みたいに好き放題言って金がもらえる
仕事に就きたい、とか波平は考えてるんだよたぶん。

だから哲学板を私物化するんだろうな。

いや、波平が高卒でも３８歳まで職歴無しだとキツイか。

波平本人も無駄にプライドが高いから、
東とか宮台みたいな楽な仕事以外したくないんだよきっと。

哲学板でスレ乱立して、書き込まれた知識をパクって、
それをブログ書いて、出版社から出そうって魂胆なんだろうな。

だから、波平さんにとっては私物化は就活なんだろ。

これが出版社の目にとまらない限りは高齢ニートだしな。
だから必死になって自演したりスレ乱立して知識をパクろうとするんだろう。

でもじゃなくてそこだけで話せよ

仮に波平が中卒で職歴無しで３８歳だとしたら？

もう就職は事実上無理だろ？
だからこの哲学板に張り付いてあわよくば東や宮台みたいに好き放題言って金がもらえる
仕事に就きたい、とか波平は考えてるんだよたぶん。

だから哲学板を私物化するんだろうな。

いや、波平が高卒でも３８歳まで職歴無しだとキツイか。

波平本人も無駄にプライドが高いから、
東とか宮台みたいな楽な仕事以外したくないんだよきっと。

哲学板でスレ乱立して、書き込まれた知識をパクって、
それをブログ書いて、出版社から出そうって魂胆なんだろうな。

だから、波平さんにとっては私物化は就活なんだろ。

これが出版社の目にとまらない限りは高齢ニートだしな。
だから必死になって自演したりスレ乱立して知識をパクろうとするんだろう。

>>216
そこらへんは緩く考えてレスした方がスレが盛り上がっていいと思うよ。

溢れる中二病精神

ソースコピペしてどこが哲学なの？

>>221
波平ストーキングよりかは思考している感じがするけどな。

①
> 288 ：”削除”依頼：2017/07/19(水) 22:52:45.29
『HOST:KD106161130014.au-net.ne.jp』
http://qb5.2ch.net/test/read.cgi/saku/1259377534/288

②
> 289 ：第三の波平 ◆kpxxLE2Sh. ：2017/07/19(水) 22:53:27.72
『HOST:KD106161130014.au-net.ne.jp』
http://qb5.2ch.net/test/read.cgi/saku/1259377534/289

①　『KD106161130014.au-net.ne.jp』　＝　②　『KD106161130014.au-net.ne.jp』

それより何で波平を知ってるのかな

普通知らないでしょ

外から来たのなら
やっぱ中身は波平か

数学とか物理学とか生物学とか、いまや欧米の哲学界では重要なテーマだろ。
認識論の自然化って、主要な潮流の一つだし。
むしろ、まったく接触ない方が珍しいだろ。

関係がないって、いったい、どういうセンスしてるんだろうか　ｗ

右翼スレから。

> 168： 第三の波平 ◆JXLBbnYqTY 2011/11/01(火) NY:AN:NY.AN 0 AAS
> 中国の歴史書に日本（倭国）が初めて登場するのは、初めて中国を統一した始皇帝の秦の次、漢時代である。
> 有名な双国が貢ぎ物を送り、正式な倭国の代表とみて認められて金印を授かる。

　×双国
　○奴国

>>229
杓子定規でしか物事を考えられない人とか、
自由奔放にレスをしまくる人とかにはわからないんでしょうな。

重要なテーマか？

むしろ無関係なテーマだろ

純哲だけじゃこのグローバル社会のことを考え、行動するのには難しいだろ。

いやいや、自由にものを考えるってのは
数学に限定せずに考えることで

あんた、数学の自慢と無関係なプログラムのソースしか書いてない狭い話題しかしないやん

まあ、あんたの言い訳としては

ソースと数学が全てを代理してるから広いんだみたいな苦しい言い訳をするんだと思うが

> 45 名前：考える名無しさん ：03/09/08 10:43
> いま、無職なんだ？　＞４４
>
> 47 名前：ぴかぁ～ ：03/09/08 10:44
> >>45
> そう、無職。プーとも言うが。

睡眠時間以外AKB漬けの生活
http://hissi.org/read.php/dancesite/20120827/Q2g1Y1JtajQ.html
http://hissi.org/read.php/akb/20120827/R29IdTkvaysw.html
http://hissi.org/read.php/akb/20120827/eGtaU2RqRWUw.html

43 ：ぴかぁ～ ：03/02/17 23:18
ソフィア、マンコ舐めさせて。

70 ：ぴかぁ～ ：03/02/18 00:36
ソフィアのおっぱい飲みたいからいったんわしの子をはらんで
乳だけ出したら堕胎しろ！わかったか！

370 名前：Sophia ◆8ADoZCl6.k 投稿日：03/04/07 02:45
ぴかぁ～はもう病院行ったほうがいいよ。。。
あともう少し自分の考えを論理的に見つめ直した方がいいよ。

このスレなんか、哲学板では数少ないまともなスレだろ　ｗｗ

そうだな、波平の自演がバレるスレでもある

波平の数学信仰は簡単には治らない

波平がピュタゴラスで、
波平について言及しているのがその信徒みたいだな。

と、いい具合に誤魔化す波平さん

いや、いい具合なのか？そもそも

俺は波平じゃないから、誤魔化すも何も、評論しているだけだよ。

今時幼稚園児でも理系推しなのに

それをなぞって得意気な顔をするのはどうにかならんのか

波平じゃないというソースを出してから言えよ波平

英語推しなんじゃないの？

>>250
悪魔の証明を課すなよ。

理系推しなのに文系に居座り続ける矛盾もそろそろ自覚しろよ波平

理系推しなら理系板で勝負しろよ

と言っても波平は理系に行くと馬鹿にされるのがわかるから
あくまでここに居るんだろうな

しょーもな

文系板でボクは計算ができてソースも書けるんだ
凄いだろ

と一生言い続けるのか

まあ、それしか言ってないけどな

たしかにそれ以上の展開はなさそうだ

さっき林先生は幼児教育で英語やらせるのをほぼアホ扱いしてたな

何でも気に入らないレスを見かけたらそれを波平だとみなすのはおかしい。

>>258
それだけ社会問題になってるんだな。

その人は自分以外は波平と思ってるちょっと弱い人ですよ

というか普通は波平というコテを知らない

知ってる奴がおかしい

俺だけの波平！
って感じだな。

俺だけの波平わろた

波平って誰ってのが普通だけど、
ここのスレだと全員知ってる前提で話すからバレバレになる

>>263-264
逆に片方が下げてかけば自演とバレないだろう、という浅はかさが見えて笑ったわ

これだけ波平を連呼してる奴がいるわけだからな
アホだな

波平は頭が悪いだけだけど
こいつは頭がおかしいからな

>>258
基本、米英に追随するためのツールに過ぎないからね、英語学習って。

どんな英文学の大家でも、アメリカの平凡な大学生ほどに英語を流暢にしゃべることはできない。
外国語の習得って、もの悲しいものがある。

米英？

普通英米だろ

鬼畜米英とか言うけどね

米英系哲学って言わんだろ

やっぱ波平っぽい

イギリスなんて、いまや中国の植民地だよ　ｗ

奴はwikiをわきと打ち間違えたとしても
開き直ってそのまま使うからな>>271に同様の開き直りを感じた

米英系哲学とはあまり言わないが
米英は普通に使うな

新聞読めよ

まあこいつの頭の中では英と米は「英米系哲学」としてインプットされてんだろ

使わないだろ、そもそもまともに哲学をやって
英米系分析を推してるのになんで米英がでてくるのやら

いまや、あらゆる分野で、アメリカ＞＞＞＞＞＞＞＞＞＞イギリスだよ。

アメリカに唯一欠けてるのは、セックス好きの王室だけ。

ジャック・デリダを「ジャック」「ジャック」って呼んでたら間違いではないが
アレ？って感じになるだろ

こいつ素人だな、って思う

>>269の文脈なら「米英」でOK

ちなみに波平はﾃﾞｨｺﾝｽﾄﾗｸｼｮﾝをﾃﾞｨｽｺﾝﾄﾗｸｼｮﾝと読んでたな

知識がいい加減すぎるから米英などと呼ぶんだよ

誰も英米系哲学の話はしてませんからね

鬼畜米英の話もしてないだろ

むしろ哲学徒なら英米しかでてこない
でてこないということは余程知らずに喋っているってことだ

「米英」で検索してみたらいいんじゃね

いくらでも出てくるし

鬼畜米英がいくらでもでてくるだけだろ

「米英に追随する」なら米英で良いよ

たしか、レヴィ・ストロースを波平はレヴィと呼んでてアレ？って思ったし、
スティービーワンダーをスティービーとか呼んでてアレ？って思ったな

波平基本素人だからな

政治や経済では、ほぼ米英でしょ。

イギリスなんて、もはや１．５流国だよ。、

この青字の言い逃れの多さがまた波平臭い

米と英から思いつく熟語が、「英米系哲学」しかなかったのだろう

１．５流国ｗ

波平語でました

いやいや、米英でもおかしいけど１．５流国は更におかしいぞ

二流国というのが正解。

別に「ジャックはレビィを批判した」でも間違いではないんだよ

ただ、慣れてる人ではないな

だから、米英は普通に使うって

おまえの世界は小さいのー

そういう意味じゃなくて１．５流国という言い方をそもそもしない

思い付いても普通はしない

そういう意味じゃなくて１．５流国という言い方をそもそもしない

思い付いても普通はしない

一流半とかよく使うな
1.5流は知らんが

波平はパロールとエクリチュールを勝手に繋ぎあわせてパロリチュールと連呼してた

言いたいことはわかるが普通、哲学をやって慣れてる奴はそんな言い方を死んでもしない

一流半も使わんだろ

波平と昔話をしたいなら、あっちでやれ

>>300
使うわアホ

波平の特徴として用語の使い方がおかしいってのがある

どこで使うんだかな

一流半のシェフです、とか言うかね？

おまえは頭がおかしい

Google検索

米英　約 9,230,000 件 （0.75 秒）

英米　約 6,470,000 件 （0.62 秒）

ｗ

>>304
「彼は目利きとしては一流半といったところだ。」

とか言うだろ

今日は一流半のミシュラン店に行きましょう、とかいうのか？

言われた人も意味わからんだろ

言うかね？

かなりズレた感覚してるな

一流のミシュラン店もいわねーよ

言うなら三ツ星の○○だろ

>>306
米英は使うどころか、慣用表現としてはむしろ多いですね。

でも、日本では英国を過剰にありがたがる人たちっていますよ。
大学の学部でいうと、文学部あたり。
まあ、あまり頭の良くない人たちです。

おまえがずれてんだよ

一流半の職人です、とか

言わないわな

まあ、逆にデリダを素人ならジャックと呼ぶかもな

間違いではないがそいつは哲学徒ではないな

スティービーとか言うか？

絶対、にわかファンだろ
これ波平が言ってたやつだけどな

>>313
「職人として二流とは言わないが、一流半といったところかな。」

こういうふうに使うのだよチンカス

米英も間違いじゃないけど哲学やってりゃ普通英米だろ

米英で旗色が悪くなったらデリダなのか

おまえは哲学のセンスも無いわ

といったところかな、と付け加えるのなら、
「パロールでもエクリチュールでもなく、パロリチュールといったところかな」
でも成立するからダメだな

パロリチュールという用語は誤用だが、
といったところかな、を付け加えることで不自然な用語を誤魔化してしまっている

哲学やってそもそも一流半という言葉は使わない

哲学やってりゃ「英米に追随」と言うべきなのか
なわけねーだろ

現象といったら現象学の現象のことか
「彼は理性的である」というとき、「カントの理性とは違う」といちいち説明するわけか

めんどくさい奴やのーおまえは

一般の人間がさらっとデイコンストラクションが出てきたらおかしいが、
それは一般では普通

だが、哲学板で喋っている奴がﾃﾞｨｺﾝｽﾄﾗｸｼｮﾝをディストラクションと間違えるのはおかしい
仮にも哲学板で書いてる奴が英米を米英と言うのもおかしい

要は素人臭いんだよね

まともに哲学を知らずに理系で代用できると思い込んでるから波平のように間違えるんだよ

「哲学やってりゃ」とは哲学の何をやってるのかね

ああ、それがわからんのか

波平も歴史を知らなければ～とか言っててアホだと思ったわ

純哲だろ

「英米に追随」と言うべきなのかという以前に
哲学やってりゃ英米って出るだろ普通

「英米系哲学という使い方しか知りませんでした。」ってことでいいですか

米英系哲学があるなら別に良いが

>>269の文脈なら「米英」だわな

おまえはさ、そういう読み取りが苦手なんだよ
だから「生き難い」、世間と折り合いを付けれない

自覚しろ

何を自覚するのやら

>>332
おまえには、自分の妄想を止められないってことをだよ

文脈というかそもそも哲学板で数学の話題をしてること自体、
文脈を無視しまくってるけどな

まあ、わかってやってるかもしれんが
哲学板で哲学の話題が出るのは普通だし、その為に哲学板に来るんだろ

おまえはな、自分の頭の中で勝手に話を作ってしまい
いくらそうではないと諭したところで、その声は届かない
誤解の上に誤解を重ね、自分も他人も不幸にする

山の中で一人で生きてろよ

哲学板とハッキリ認識して、数学板もあるのに
能動的に哲学板に来るという選択をしておいて、
哲学とは違う文脈で語ろうとするってのがまたな

そりゃ、路上で米英と言うのは全く文脈を無視してないが、
おまえ、ここ哲学板だぜ？

>>336
ああそうか
なら哲学とは何か、定義してくれたまえ

女湯に能動的に入ってきた奴が
「風呂では裸になるのは当たり前だ」といっても
そもそも居る場所が場違いだろ

哲学以外の文脈で語りたいなら数学板にでも行けよ

普通、哲学をある程度知ってれば米英なんて言い方はしないな

哲学と女湯を一緒くたにするような感性で哲学語るなよ

考えられるのは青字が哲学のド素人の癖に
哲学板に来て、数学マンセー、プログラムマンセーと言ってる奴であるってことだ

哲学とは女湯である

混浴場だよここは

英米を米英と間違えるってことはあんま哲学に慣れてないな

>>342
ほらな
もうその妄想から離れられないだろ

おまえは、「そこ」にいるのがたまらなく心地良いわけだ

むしろ、俺等としては数学と精々プログラムしか知らんのに
なんで「哲学すべてを凌駕しました」みたいな偉そうな態度でいられるのかってことだなｗ

英米を米英と間違えるくらい哲学に関してド素人なのに、
まともに学んだこともない哲学を何故数学とプログラムくらいで凌駕できると思い込むのかね？

まあ、波平だとは思うがな。

外から入ってきた人間がこんな恥知らずなことを堂々とやる訳がない。

>>347
プログラムは俺も知らないが
あれを書いてる奴が「哲学すべてを凌駕しました」とは思っていないと
俺は思っているわけだ

だがお前にはあれが我慢できないわけ
哲学を汚されたように感じるだろ
良く言えばナイーブ
まあ、真面目に言うなら「一度医者へ行け」

哲学をやる奴が集まる哲学板で
数学をやるおまえがおかしいだけだが

別におかしくない
ネタとして見ればよいだけ

とは言っても中身は波平なんだろうな、どうせ

そんなに好きか波平

波平が自分を理系だと思えるのが凄いわ

波平も自分が理系とは思ってないだろ

お久。

お久。

あれ？

このおっさんも、顔出ししなけりゃ良かったのにな

ちょっとからかいに来たけど、
やっぱ、やーーーーーめた。

なみへいの必死さは、そのうち終わるよ、永遠じゃない
いつまでニートのふりをし続けるとか限界がある

ちなみにど真ん中太郎について波平がレスしたログが残ってるから、
この青字の中身が波平である可能性はさらに高まるな。

ど真ん中太郎さんには失礼だが、波平ぐらいしか存在を知らないだろうしな。
パッと見で顔出しと判断している時点でちょっとおかしい。

皆が思ってるよりも意外と広範囲で波平は自演してるんだよな。

まあ、２４時間暇だからそうなるわな。
昼間はリーマンのフリをする為に波平名義では書き込めないないから
こういう別コテのスレで時間を潰してるんだろ。

>>363
>ど真ん中太郎さんには失礼だが、波平ぐらいしか存在を知らないだろうしな。

ホント失礼な奴だなぁ。こう見えても哲学に関しては、俺はぶっちぎりで最強だぞ。

数学ができない人間は、推論能力も著しく低い。
掲示板を荒らすのも、数学ができない奴。
己の無能を棚に上げて、周囲に当たり散らすのだ

波平がプログラミングなんか出来る訳ないでしょう。
あの人、rubyさえ知らないようなIT情弱なんだよ。
少しは、まともな推論能力を身につけなよ。

＞オタク情報局‏ @otakunews6398 9月22日
＞10人中9人が見えない画像です
＞見えた人RT。

普通にＷＷＦのパンダ・マークに見えるが、見えない人の方が多いの？

シンデレラはどこ

>>368
波平は文法の一部ぐらい覚えられるよ、それがプログラミングだと
確信しちゃうとんでもない馬鹿だから

ナメんなよ！

◆ 正射影ベクトル


⃑bの⃑a方向への正射影ベクトルは、

(⃑a・⃑b)⃑a / |⃑a|^2 または (⃑b・⃑a')⃑a' [⃑a'は、⃑a方向への単位ベクトル]

⃑
⃑bの⃑a方向への正射影の長さは、

|⃑b・⃑a'|

この世には曖昧なものが多い中で、数学は比較的に主観性から免れた客観性や真理性を有しているように映るので、その点で価値が高いだろう。

時空を超えた、無時間性において通用するところが数学の強みである。
その他の情報は賞味期限が少なく、すぐに無価値になるのに対して、
数学の公理や定理は減価するところが少ない。すなわち、千年後でも通用する
事柄を扱っているので、その点でも数学を学ぶことには意義があるだろうね。

アレクサンドル・グロタンディーク（Alexander Grothendieck,
1928年3月28日 - 2014年11月13日）は主にフランスで活躍した、
ドイツ出身のユダヤ系フランス人の数学者である。

主要な業績にスキームの考案による代数幾何学の大幅な書き直し、
l-進コホモロジー(エタール・コホモロジー)、クリスタリンヌ・コホモロジーの
発見によるヴェイユ予想への貢献、モチーフおよびモチヴィック・ガロア群の考察、
遠アーベル幾何学の提唱、子供のデッサン(Dessins d'enfants)の考察等、
基本的かつ深い洞察から多くの新たなる分野を開拓した。他降下理論、
グロタンディーク群によるK理論への貢献、トポスの理論、アーベル圏に
よるホモロジー代数の統合、ガロア圏および淡中圏によるガロア理論の
一般化などの業績がある。またドリーニュ、イリュージー、ベルテロ等
多くの有名な数学者を育てた。数論幾何という用語を提案したのも
グロタンディークである。

数学は頭のいい奴とバカを見分けるための良き分類器なんだよ

と、馬鹿が申しております

>>374
>千年後？
あと20年で数学研究をするのはAIだけでで、人間はやらなくなる。

人間がAIを使役して数学を研究するんじゃなくて？

これは、数学の分らない私にも、なにか重要なことを指摘しているような気がする。具体的に分らないから、気がするだけですけどね。

黒木玄 Gen Kuroki‏ @genkuroki 2時間2時間前
返信先: @genkurokiさん

#数楽 #統計 パラメーターしか見えない人がベイズ統計を勉強すると
「パラメーターも確率変数になる」という理解で止まってしまう。
事後分布によるモデルの平均で求めた予測分布がどれだけ未知の
分布を近似しているかという発想ができれば納得できることが
増えて視界が一挙に広がる。

>>378
お前が数学のことをなにも知らないのがよくわかった

>>378
分ってないね
AIは確かに人類には到底理解できない方程式をいくつも解き明すだろう
しかし最早預言や神託に等しいAIとの会話をするために人類の為数学は必要なんだよ

これからの時代にとって学者とは神たるAIとの橋渡しをする神官であり預言者となる
わかったか？

ごめんなさい
猛省します

プラニメータは、地図など平面上の図形の輪郭をなぞることにより、
その面積を計測する装置。面積計ともいう。

多角形の面積を計算するには図形の隣り合う2つの頂点と
ある特定の点を結んでできる三角形の面積を加算(積分)する
ことで得ることができる。プラニメータはこの原理を利用している。
以前は機械式のものが多かったが、現在は二つの車輪の回転量から
面積を測定するディジタル型のものが主流になっている。
土木測量などの分野でよく使用される。

地図上で特定の地域の面積を求めたり実験データのパラメータとして
面積に注目するような場合、図面に描かれた複雑な不整形部分の面積を
求めなければならないことがある。当該平面を面積の算出しやすい
単純な形の長方形や三角形に細かく分割して近似的に当該平面の面積を
求める方法が一般的である。小中学生の頃、算数の授業で曲線に
囲まれた図形の面積を求める方法を学んだことを記憶されている
諸兄も居られよう。

音響振動の研究分野でも面積に注目する場合が少なくない。例えば
特定地域の騒音レベルの分布状況やコンサートホールなどの
室内の音圧レベル分布状況について論議を展開する際に面積情報が
重要な検討要素とされる。

図２は面積に注目して整理した実験結果の一つで、残響室内の
音場の拡散状況を空間相関関数によって検討したものである。
相関関数の三次元的な分布状況を観測した実験結果を図の
ように二次元平面に表示したものであるが、曲線で区分された
範囲の面積比を読み取り、図示されたパターンを数値化して検討が加えられた。

http://www.kobayasi-riken.or.jp/news/No87/87_3.htm

これからは理系の時代だから、もし、哲学にもサバイバルする意思があるのなら、
当然、理系モードの方にシフトしていくだろうし、現にそのようになっているだろう。

分析哲学でも、２０世紀後半までは言語分析とか、そんなことばっかりやってた時期もあったけど、結局、すごい趣味的でマイナーな議論ばかりでいい加減アホらしくなったのか、今じゃ全く流行らない。

変わって、認識論の自然化の方向と、形而上学の復権という方向の、両極端の方向に分かれちゃってる感あり。どっちの議論もそれなりに面白いよ。

勘違いがある様だけど
理系の知識は理系の知識であり
哲学はそれとは別に哲学の知識を求められる
何処までいってもそれは変わらないわけ

デカルトとかの本を読んでもわかる様に哲学は道徳や倫理観を合理的な解釈で語る訳
それだけの学問なのよ

その合間を縫って、まじめな現象学が頑張ってる、という感じ。

理系は理系で学んで哲学は哲学で好きに学んで頂戴

歴史や国語と一緒で哲学って分野があるだけで別になくす必要もなければなくなりもしないのよ

工学部の一般教養でも哲学を学ぶのだよ

おまえは了見が狭いのだ

歴史や国語とはちょっと違うな。

哲学は他の知的分野と競合したり、衝突したりして、解体の危機にあるよ。
つまり哲学という分野がそれ自体で残る意味が果たしてあるのかという問いね。

>>391
それは実体としては哲学史だね。
ほとんど歴史の授業。

>>393
それは教官による
デカルトに特化する講義もあるし
「哲学という世界をひっくり返す方法論」に焦点を当てる講義もある

哲学を学ぶことで、物理に対する味方も変わる
本来、大学とはそういうところなんだよ

哲学が他とどう競合するんだよ
何言ってんだか意味がわからんのだが

>>394
昨日物理板を制覇してきました。🌟

宗教板は毎日してましゅ。🌟

↑物理がまるで解らない

>>397
シュレティンガーの方程式。🌟

量子力学。相対性理論。👰

組み合わせの数nCrを応用した二項定理は、n任意の自然数とすると、

(a + b)^n = Σ[r=0→n] nCra^n-rb^r

とかける。これをn乗で展開していくと、その各係数にある規則が
発生する。それは、各係数を上から並べていくとが三角形のように
描けるので、それは「パスカルの三角形」と呼ばれている。
三角形の内部の係数が一つ上の段の隣り合う係数の和となる
構造が、ずっと続いていく。

パスカルは天才数学者だけでなく、「人間は考える葦」の哲学者
でもあるので、やはり数学と哲学は近傍にありそうな気がするね。

http://rio2016.2ch.net/test/read.cgi/sci/1433304308/785

>>398
馬鹿には理解できないのが物理

まぁ、おまいら。人類史上最強の俺のチャンネルでも見ておけ。
デカルト？俺の足元にもおよばないね。何をした人か知らないけど。
俺は行きつくところに行っている。
https://www.youtube.com/channel/UCi4hpzSA4zdhVgU23LOa_nw?view_as=subscriber
「宇宙の法則」が哲学の核であり、この世の根本原理だが、特に始めの方は地味でつまらないし、
慣れないせいで話は下手で活舌も悪いし、つまり、クソ動画になってるのでそのつもりで、、、

とりあえずは、宇宙の法則よりも「法律の基礎　8　詭弁　差別　枠づくり　ヘイトスピーチ」
ダウンロード＆関連動画＞＞


こっちを勧めておく、こっちからの方が宇宙の法則（物理職が強いので）よりも身近な話で、
取っ付きやすいだろうからな。

>>387
形而上学の復権ってメイヤスーのことか

Super-Convergence: Very Fast Training of Residual Networks
Using Large Learning Rates

Leslie N. Smith, Nicholay Topin

(Submitted on 23 Aug 2017)

In this paper, we show a phenomenon where residual networks
can be trained using an order of magnitude fewer iterations
than is used with standard training methods, which we named
"super-convergence". One of the key elements of super-convergence
is training with cyclical learning rates and a large maximum
learning rate.

Furthermore, we present evidence that training with large learning
rates improves performance by regularizing the network. In addition,
we show that super-convergence provides a greater boost in performance
relative to standard training when the amount of labeled training data
is limited. We also provide an explanation for the benefits of a large l
earning rate using a simplification of the Hessian Free optimization
method to compute an estimate of the optimal learning rate.

The architectures and code to replicate the figures in this paper are
available at github.com/lnsmith54/super-convergence.

https://arxiv.org/abs/1708.07120

数学的な宇宙は抽象度が高いので、多くのものを等価に包含することが出来る。
たとえば、上空から見れば、どんな人間も点のような等価な存在になる。

それに対して、人間的な物理宇宙は抽象度が低いので、争いや対立、軋轢、
差別、誤解の温床となる。

人間が不幸なのは低い次元だけにいるからであって、その狭い領域や
小さな共同体の中でのみ思考を展開し、そこでの価値観だけに拘束されて
行動するからであって、己を宇宙共同体の一員と感じられるような
高い次元の視野と意識があれば、少なくとも、そうした卑小な不幸からは
免れることが出来る。

哲学の方程式を数学で証明できるなら、哲学を言語化する必要もなく
世界共通の理解、言うことない。

哲学の多くの問いには誤謬や構造的な間違いが多くあるするならば
より厳密で正しい問い掛けをする為にも数学を見習い厳密な定義を作って行く必要はあるだろう

哲学を厳密な定義の名のもとに再構成したら、そこには何が残るだろう


哲学は、文学性を持つべきだと思う

>>405
オカルト板と間違えてませんか？

>>407
どうやって定義すんの？

>>410
それが議題

丸投げかよw

僕そんな面倒臭いことに関わる気はまったくない

>>411
とりあえず何かしら提案してくれ

数学の機能としてあるのは、認識を正確・精密にすることが挙げられる。
関数はfunctionなので、文字通り、機能を意味する。函数と書けば、
函は箱の意味なので、より関数の本義に近づく。

入力xに対して、関数、もしくは写像fは、値域または像f(x)を返す。
これは箱の中に、ある変数xを入れてあげると、その箱の中で処理がなされて、
ある出力yが返ってくる、という図柄でイメージできる。

数学でも哲学でも過去の議論、数式から踏襲する奴らは才能ないね。

新しいクリエイティブな仕事をしないと。

パートナーだとは気がつかなかった。
ババアさんがいってた。

どんな誤爆なんだよｗ

ウケ狙いだお。ぱいならー(｡･ω･｡)

>>415
は？数学のやることは抽象化だぞ？

https://misscolle.com/tus2017/vote
東京理科大学 Miss Rikadai Contest 2017

「鈴木りか」に投票してきた。理系で、しかも可愛いって、いいよね。
しかも頭も良さそうに見える。みんなも投票してくれば。

>>420
君の場合は通商課の意味がわかってないｗ
それじゃあ試験の問題も意味が理解できずに解けないわけだ
数学といってもまずは国語が先にある訳でｗ

バカ丸出し

>>420
君の場合は抽象化の意味がわかってないｗ
それじゃあ試験の問題も意味が理解できずに解けないわけだ
数学といってもまずは国語が先にある訳でｗ

バカ丸出し

>>415
哲学における認識をどうやって数学的に定義するんでしょうか
生物学的にとか脳科学的にとかなら分かりますが

よっ　通商産業大臣

>>422
>>423
必死すぎ

ジェロラモ・カルダーノ（Gerolamo Cardano、1501年9月24日 - 1576年9月21日）は、16世紀のイタリアの人物。ミラノで生まれ、ローマで没した。一般に数学者
として知られている。

本業は医者、占星術師、賭博師、哲学者でもあった。カルダーノは
今日では代数学の業績で最も良く知られている。1545年に著した本
『偉大なる術（アルス・マグナ）』(ラテン語: Ars magna de Rebus Algebraicis)
のなかで三次方程式の根の公式、四次方程式の解法を示した。
三次方程式の解の公式についてはいささか奇妙な歴史があり、
『偉大なる術』にも紹介されている。

三次方程式の解を示す際に世界ではじめて虚数の概念を導入したのはカルダーノ
である。

彼は金遣いが荒いことで知られており、本人は自身を賭博者、あるいはチェスの
プレーヤーだと考えていたようである。しかし数学者らしく、1560年代に
『さいころあそびについて』（Liber de ludo aleae、発行されたのは彼の死後1663年）を著し、そのなかで効率的なイカサマの方法として、はじめて系統的に
確率論について触れて記している。

「ギャンブラーにとっては、全くギャンブルをしないことが最大の利益となる。」
という言葉も残している。

偉大なる術（アルス・マグナ）

カルダーノはこの中で世界で初めて虚数の概念を登場させた。
以下の問題が登場する。


「足して10、掛けて40になる二つの数はなにか」

これは従来「解なし」であるが、この本の中で


5 + √-15 と「5 − √−15


が答えだと書かれている。虚数があれば答えのない問題にも
答えを与えることができると示している。

>>421の人、数学科でtwitterもやってた。
https://twitter.com/misstus2017_05

ミス理科大 No.5 鈴木りか

@misstus2017_05

ミス理科大コンテスト2017 Entry No.5 / 理学部 数学科3年 /
一生懸命頑張りますので応援よろしくお願い致します!※DMに
は対応してません 下のURLから1日1回投票お願い致します

このスレで、たまに数学レクチャーしてくれればいいのに。

>>429
だからなに？

カルダーノは他の人の業績をパクったんじゃなかったか？

ニコロ・フォンタナ

通称”タルタリア”

数学はツリー型だよね
対して哲学はリゾーム型

哲学板は、数学ができない人間が多過ぎる。
だから、知的な雰囲気に乏しい。

哲学は芸術とか言語センスあれば誰でもできるから

ポエムのセンスが必要だね

なんでもいいんだよ

数学は証明出来ないと認められないが、哲学は言ったもん勝ちのインチキ学問

つまり人文学は学問ではないと

　アインシュタインが約１００年前に存在を予言した「重力波」の観測に
成功したと２８日、イタリアなどの国際共同研究チームが発表した。
重力波は２年前に米国で初観測され、今回が４回目。欧州で観測されたのは初めて。

　重力波は、非常に重い天体が高速で運動すると、より強く発生する。
今回の観測は８月１４日。２０１５年に初めて重力波をとらえた
米国２カ所にある観測施設「ＬＩＧＯ（ライゴ）」に加え、
欧州の観測施設「Ｖｉｒｇｏ（バーゴ）」でも同時に観測された。

地球から１８億光年離れた場所で太陽の３１倍と２５倍の重さの二つの
ブラックホールが、互いの周囲を回りながら合体して発生したとみられる。

Ｖｉｒｇｏは長さ３キロのパイプをＬ字形に直交させ、内部に通したレーザー光を
使って重力波をとらえる巨大な装置。フランス、イタリアなど欧州の２０カ国が
参加してイタリアのピサ近郊に設置。観測開始からわずか２週間後に重力波をとらえた。

　Ｇ７科学大臣会合が開かれているイタリア・トリノで会見した共同研究チームは
「ＬＩＧＯの２カ所と欧州の計３カ所で同時に観測できたことで、発生源を
精度良く分析できた」と説明した。

　日本でも東大宇宙線研究所などのグループが、岐阜県・神岡鉱山の観測施設
「ＫＡＧＲＡ（かぐら）」の運用を計画しており、１９年度に観測態勢が整う。
重力波の発生方向を厳密に知るには地球上の少なくとも３地点、できれば４地点で
同時に観測する必要があるとされる。プロジェクトリーダーの梶田隆章・
同研究所長は「Ｖｉｒｇｏの参加で重力波の発生方向が今まで以上に
精度よく決まった。ＫＡＧＲＡも国際的に大きな役割が期待できる」とコメントした。

　重力波は、ブラックホールなど未知の天体の実像に迫る切り札とされ、
その研究は新たな天文学に道を開くと期待されている。初観測に貢献した
米国の研究者らは、１０月３日に発表される今年のノーベル物理学賞の最有力候補
とされている。

ブラックホールは無かったはずたが

は？

物理と数学の区別もつかないバカがいるな

では、物理と数理の理はどのように違うのか説明してみましょう

>>446
お願いする

理法　理性

バカという言葉を発することで自分が利口になったように気分になる
という仮説は、寡聞にして聞いたことがない。

>>447
お理

フェルマー数は、 2^(2n) + 1（nは自然数）で表される自然数のことである。
クヌースの矢印表記で表すと 2↑2↑n + 1 となる。
n 番目のフェルマー数はしばしば F_n と記される。

ピエール・ド・フェルマーは、この式の n に自然数を代入したとき
常に素数を生成すると主張（予測）したが、後にオイラーが n = 5
の場合に素数でないことを示し、フェルマーの主張は誤りと確認された。

以下のFの添え字の数をnとして、2^(2n) + 1に代入して
実際にフェルマー数の値の最初の方をいくつか計算してみると、

F_0 = 2^1 + 1 = 3
F_1 = 2^2 + 1 = 5
F_2 = 2^4 + 1 = 17
F_3 = 2^8 + 1 = 257
F_4 = 2^16 + 1 = 65537
F_5 = 2^32 + 1 = 4294967297
F_6 = 2^64 + 1 = 18446744073709551617
F_7 = 2^128 + 1 = 340282366920938463463374607431768211457
F_8 = 2^256 + 1 = 115792089237316195423570985008687907853269984665640564039457584007913129639937

が得られる。

F_4 = 65537までは、257 以下の既知である素数で
割りきれないことを確かめることで、容易に素数で
あることを確認できる。しかし F_5 以降は
（17世紀当時の計算技術から見ると）相当に
巨大な数であると同時に小さな素因数を含んでいないことが、
フェルマーを幻惑し反証の発見にはオイラーを待つことと
なった要因の一つである。

フェルマー数は次の漸化式を満たす：(式略)

フェルマー数は全て奇数であるから、4番目の式から、
どの2つのフェルマー数も互いに素であると分かる。

フェルマー数は次の合同式を満たす。


n ≥ 2 ならば、Fn ≡ 17 or 41 (mod 72)
n ≥ 2 ならば、Fn ≡ 17, 37, 57 or 97 (mod 100)

2m + 1 (m ≥ 2) の形の素数はフェルマー数である。
一般に、a^m + 1 (a ≥ 2) が素数ならば、a は偶数で
m は 2 の累乗となる。
実際、am + 1 は奇数だから am すなわち a は偶数である。

また、m が 1 より大きい奇数 kで割れるならば a^(m/k) + 1 で割れる。
このことから、2^m + 1 (m ≥ 2) が素数ならば、m = 2^n を満たす
自然数 n が存在する。つまり 2^m + 1 = F_n である。

定義ぐらい調べて正確に理解してから書けばいいのに

＞2m + 1 (m ≥ 2) の形の素数はフェルマー数である。 　×

2^m + 1 (m ≥ 2) の形の素数はフェルマー数である。 ○

＞　以下のFの添え字の数をnとして、2^(2n) + 1に代入して ×

以下のFの添え字の数をnとして、2^(2^n) + 1に代入して ○

>>457は

＞　以下のFの添え字の数をnとして、2^(2n) + 1に代入して ○

でいいんだ。

>>458

再度修正。F_0の計算が合わないから、

＞　以下のFの添え字の数をnとして、2^(2n) + 1に代入して ×

以下のFの添え字の数をnとして、2^(2^n) + 1に代入して ○

が正解か。添え字が見づらい

>>451
フェルマー数は、 2^(2^n) + 1（nは自然数）で表される自然数のことである。

>>452
以下のFの添え字の数をnとして、2^(2^n) + 1に代入して



文句ばっかり言っているだけのクレーマは楽でいいねｗ

頼まれもしないで哲学板で何やってんだ
バカなの？

コンピュータの計算は、物理だね。

「数学を初めとした理系の学問」と「哲学」がこのスレにおいては同じ価値を持っている

と考えているんだろう

＞常に素数を生成すると主張（予測）したが、後にオイラーが n = 5
＞の場合に素数でないことを示し、フェルマーの主張は誤りと確認された。

単にフェルマーに哲学の素養がなかっただけの話でしょ。
素数は、数えられた数の倍数ではない自然数の集合として消極的(ネガティブ)に
定義されているのだから、素数を積極的な(ポジティブな)性質を有する集合にする
数学的な特徴を発見しようとしても土台無理な話。喩えるなら、身寄りのない
人々として定義された人々を集合として積極的に定義する特徴を探し出そう
としているようなもの。

素数の探求＝ワイルド・グース・チェイス

こういう錯覚を利用して人々を騙し、物事を自分に有利に運ぼうとする連中は、
世の中にうようよしている。だからいまだに素数ミステリーみたいな話が吹聴される。

素数はいくらでもみつかる。素数をいくら調べても、素数を積極的に定義する特徴は
原理的に見つからない。

最近まで素数の事を調べてたけれど、結局補集合なんだよね
それでも無理やり進めようとするときれいじゃなくなるし
自然が一番だね

数学の研究でも無駄なことに労力をつぎ込まないようにするためには、
哲学の素養が必要と言うことだね。

素数ミステリーみたいな奇妙で幼稚な神秘主義が、数学嫌いを増やす大きな要因となっている。

生活費、携帯代でお困りの時は、是非ご相談下さい。

お金の悩み、相談はエスティーエーで

詳しくはHPをご覧下さい。

素数列の一般項は見つかっていないとか数学板でも定期的に出てくる

フェルマー数なんて一般向けの新書にも載ってるものを連投されてもだからなに？としか言えないわな

>>470
具体的にどんな神秘主義なの？

>>474
反ユダヤ主義みたいなものかな。
ユダヤ人とは、人々によってユダヤ人として差別される人々を寄せ集めた集合
であって、家系的に祖先にユダヤ教徒がいた人々の集合ですらないのだから、
いくらユダヤ人とされる人々の特徴を徹底的に調べ上げたところで、ユダヤ人
の積極的な定義を発見することはできない。

>>475
反ユダヤ主義って神秘主義なのか？

数学でよく使われる証明方法に背理法がある。それは、
命題 P ⇒ Q を直接証明する代わりに、P ∧ ￢Q を
仮定して矛盾を導く方法（∧ は論理積（連言）、￢は否定）

その例をあげると、

「√2は有理数である」と仮定する。

有理数は、分数の形で表せる数のことなので、
√2は、互いに素な（1以外に公約数を持たない）
自然数a、bを用いて

√2 = a/b　と表現できます。

よって、

a = √2・b より

a^2 = 2b^2・・・①

したがって、a^2は2の倍数なので、aも2の倍数。

ゆえに、cを自然数として

a = 2c と表現できる。

これをa^2 = 2b^2　…①に代入して

4c^2 = 2b^2

より

2c^2 = b^2

b^2は2の倍数なので、bも2の倍数です。aも2の倍数となった。

よって、aとbは公約数2を持つことになり、aとbが互いに素
（1以外に公約数を持たない）に矛盾する。

以上より、「√2は有理数である」という仮定が成り立たないので、
命題「√2は無理数である」が背理法により証明された。

こういう感じで、命題 P ⇒ Qを否定するもの、あるいはそれに反する命題を ￢Q
と仮定して、それを証明いていくと矛盾が生じるので、
￢￢Q(命題Qの否定の否定＝命題Q)となって、命題PならばQ( P ⇒ Q)を間接的に
求めていくのが背理法の考え方で、これは、数学的な重要なアプローチとなる。

直接的に命題を求めていかないのが、背理法のポイント。たとえば、
ある人Aさんが魅力のある人がどうかを判定する時に、魅力や美点を
直接的に数え上げていくのでなく、逆にAさんを魅力がない人と仮定してみると、
そこに様々な矛盾する現象が発生することを証明出来れば、
そこから逆説的にAさんは、魅力のある人である、ということが
導き出されるようなイメージ。

ある集合Aを決めれば補集合Aが同時に決まるように、逆に補集合Aを
定義してあげれば、同時にその補集合Aでないものは集合Aになるので、
集合Aとなるものを定義したことにもなる。

こういう背理法的な数学的考え方は、もっと活用できる感じがする。

いや、こういう手法を用いて、反ユダヤ主義に原理的に嫌悪感を抱くような
精神的な特徴を有する人間を選別して、社会的に排除するような仕組みが
「隠れ反ユダヤ主義」とでも呼ぶことができるような神秘主義なんだよ。

＞ある集合Aを決めれば補集合Aが同時に決まるように、逆に補集合Aを
＞定義してあげれば、同時にその補集合Aでないものは集合Aになるので、
＞集合Aとなるものを定義したことにもなる。

素数は、「数えられた数の倍数でない数」という補集合なのだから、
数をいくらでも数えることができる以上、きりがなくいくらでも
存在し得るのは当たり前ということです。さらに、数を数えるまで
補集合として定義され得ない。

「私」の集合という補集合を積極的に定義してくださいｗ

>>478
>>479
>>480
そんなの中学高校レベルなんだから背理法って書けばわかるっての
そんなに解説したいならせめて大学レベルの数学頼むわ

「私」＝「数ならぬ身」だから、「私」の集合とは「数ならぬ身」という数の集合の補集合ですね。

量子コンピュータは、量子ビットと呼ばれる情報単位を用いることで従来のコンピュータよりも
高い計算能力を持つコンピュータ。量子ビットでは0と1だけでなくその2つを重ね合わせた状態
（量子の重ね合わせ）を表すことができ、よりたくさんの値を扱えるようになるため、
量子コンピュータはこれまで時間がかかっていたような計算や解析も短時間で行える
ようになるとされている。

「量子コンピュータの発展は仮想通貨やビットコインにとって、非常に大きな脅威になると考えている」
一橋大学の野口悠紀雄名誉教授は、9月27日に開かれたRakuten FinTech Conference 2017の講演
「ブロックチェーンの進化とDigital通貨」でそう話した。

ビットコインをはじめとする仮想通貨は、ブロックチェーンと呼ばれる分散型台帳技術に
支えられており、取引の承認や追記を行うには難易度の高い計算問題をコンピュータで
解く必要がある。野口名誉教授によれば、この計算問題を解くには“総当たり攻撃”
――可能な数を1つ1つ試して正しい答えを見つけるという方法しかなく、
この方法にブロックチェーンの暗号技術は依存しているのだという。

しかし、量子コンピュータの発展は加速しており、5年以内に実用的な量子コンピュータを
発表する予定の企業もあるという。そうなればコンピュータの計算スピードは飛躍的に上昇し、
現在ブロックチェーンで用いられている暗号システム「公開鍵暗号」が破られる可能性が
あるという。

公開鍵暗号は電子署名などに用いられている暗号システム。署名を作る「秘密鍵」と、
署名の信頼性を確認する「公開鍵」という対になる2つの鍵を用いる。片方の鍵で作った
暗号文はもう1つの鍵で復号が可能で、秘密鍵は署名した本人だけに分かるよう厳重に
管理されている。公開鍵から秘密鍵を求めることは原理的には可能だが、膨大な計算処理
を行わなければならないため、従来のコンピュータでは難しいとされてきた。しかし、
相手が量子コンピュータとなれば話は変わってくる。

公開鍵暗号が成立しなければ、それに依存する仮想通貨やブロックチェーンも成立しなくなる。
「仮想通貨やブロックチェーンはもうおしまいなのではないか」といった極端な意見も
出てきているという。しかし野口名誉教授は、「仮想通貨やブロックチェーンが全て
ダメになるわけではない」と話す。

photo
一橋大学の野口悠紀雄名誉教授
　「現在の公開鍵暗号に変わる新しい暗号システムや新しいブロックチェーンのシステムが
すでに開発されている。新しい暗号は、量子コンピュータが実用化されたとしても、
解くことができないと考えられている」（野口名誉教授）

ブロックチェーン技術については、現在のように取引データを塊（ブロック）にして
つないでいくのではなく、取引を1つ1つ承認していくような方法も考えられはじめているという。
「新しい暗号やブロックチェーンシステムはまだ完成しているとはいえないが、
量子コンピュータも完成しているわけではない。将来を正確に見通すことは非常に
難しいが、量子コンピュータができたからといって、必ずしも今の世界が壊れてしまう
わけではない」（野口名誉教授）

「ブロックチェーンの進化とDigital通貨」で野口名誉教授らとともに登壇した、
ブロックチェーン技術プロバイダーである米BitFury Groupのジョージ・キクヴァッズ取締役副
会長も「野口教授と同感だ」と話す。「暗号化もどんどん進化し、ビットコインの活用技術
やP2Pの世界も進化している。手をこまねいているわけではない。必ず新しい解が生まれてくると思う」
（キクヴァッズ副会長）

だからなんだっての

現代の社会にもいまだに「隠れ反ユダヤ主義」が蔓延している。

オカルト板でどーぞ

しかし、哲学板の数理能力の恐ろしい低さには驚かされる。
数式を扱える奴も、数人除いて、ほとんどいなそうだ。
基礎学力さえ著しく欠いている状態で、まともな哲学など
出来ようはずもない。妄想や日記を哲学と呼ぶのなら
話は別になるが。とりあえず、なんでもいいから数式使って
論理的に表現することから始めなよ。

理数系が駄目(=論理が組めない)で、人間性も駄目(=モラルも倫理もなく)で、
己自身の考え抜かれた思考もない。それで哲学するなど笑わせる。100年早いだろ。

>>493
論理的な思考を常に求められる物理学者でさえ数学をきちんと理解した人は数人しかいないんだってさ

数学ってほんとなんなんだろうね。。。

数学的な思考と論理的な思考は等価でないとさえ思えてくる

まだここが哲学板だと思っていたのか？
ここはとっくに実質オカルト板だぞ

というより、数学を誰も求めてない。

数学＝哲学という勘違いをいい加減に治せよ。

物理や数学、科学、コンピューターサイエンスの先端が
解らない人にはそれらがオカルトに映る。
単なる己の基礎学力の無さと無知の告白をしているに過ぎない。

＞＞495
数学と言ってもその範囲は広いからね。数学宇宙は広い。
医学を修めた医師だって事情は同じだろう。すべての診療科に精通している訳でもなく、自分の専門診療科のことに通じているだけで、医学全般を先端医学にまで亘って
詳細に理解している訳でもない。そんなこと勉強する時間は現役の臨床医にはないだろう。

だから考え方としては、本質が見えて、それが分かればいいんだよ。
数学なら数学の本質、物理なら物理の本質。科学なら科学の本質。
知識は単なる道具やツール、手段なので、目的や用途に応じて、適宜、
適切なものをチョイスして、利用すればいいだけ。

物事の本質を探求するのが、哲学だろう。

哲学の基礎は数学である。その基礎が無い言論は単なる個人的な思い込みである。
３６０度どこから突っ込まれても正当性を主張できる。
そのようなｆ言論が数学で、そうでなければ単なる個人的な見解に過ぎない。
カントもヘーゲルもマルクスも、そうも考えられるという程度の話に過ぎない。
数学は一旦確立したら未来永劫正しくて、後から誰かに否定されることは無い。

>>495
小説書いてる人が日本語の文法を完全にマスターしてるわけでもあるまい？

>>498
このスレのどこにその先端が書かれてるんだよw

>>500
哲学の基礎は論理である
数学の基礎は論理である
よって哲学の基礎は数学である

という詭弁にしか見えない

真水に魚は住めんて

Ｈ２Ｏがなけりゃ生物がくらせないだろ。あほーかお前？
お前は窒素だけで生きていけ！

論理とは関係演算である。
哲学の基礎は関係であり、
数学の基礎も関係である。
いや、「関係」を基礎としない学問は無い。

圏論でいえば「関係」とは「射」からなる。
「対象」を「射」によって定義するような、「射」だけからなる圏論の定義もある。
圏論そのものが「関係」を抽象化したものであり、「論理」もその中で定義されるものの一つだ。
「数学」に負けずと「哲学」の圏論の整備が早急に必要だと思う。
「思弁的圏論」。これが２１世紀の哲学であろう。（なんてね）

圏論と論理学が互いに変換可能となるように、理論を整備しないといかんな
そんな圏論があれば、「もしかしたら」あらゆる哲学者の定義した難解な概念を数学的に定義し直し、彼らの言葉を定理として表現できるかもしれない

ちょっとぐぐったら
清水義夫さんという記号論理学の人が圏論と論理学についての本を出版してるらしい
その上自称「独立研究者」の森田真生さんが「哲学者のための圏論入門」というテーマの講義を、応用哲学会サマースクール2013で行ったらしい

とうとうカントを反駁した。コメントくれ。

https://mevius.2ch.net/test/read.cgi/book/1506163501/666

他者の「他者性」なんてことを哲学では議論するけど、私の「私性」とは、
「他者でも、他人でもない者」という性質なんだよ。「私性」は、そのように
否定的/消極的に規定されているのだから、いくら「このもの性」とか
言い換えてみたところで、「私性」を積極的に規定できるようになるわけ
ではない。

他でもない「この私」と言うけれども、「他でもあるこの私」が代表者としての我々なのです。

http://www.nii.ac.jp/about/publication/today/77.html
NII 国立情報学研究所
第77号／2017年9月発行

形式手法をものづくりへ
ERATO「蓮尾メタ数理システムデザインプロジェクト」

・抽象数学で工業製品の設計支援
・情報系と物理系の融合のカギを握る制御理論
・「形式手法」を複雑化するものづくりの現場に活かす
・プロジェクト解説

NII Interview:

抽象数学で工業製品の設計支援 ソフトウエアの「形式手法」を
製造現場とすり合わせる

「テスト工程を短縮するといった定量的な成果を、ものづくりの現場で
間違いなく出せます」。科学技術振興機構（JST）ERATOに採択され、
2016年10月から始め、2022年3月まで続ける
『蓮尾メタ数理システムデザインプロジェクト』において、
NIIの蓮尾一郎准教授は、工業製品の設計を支援する理論と手法を用意し、
製造現場における"成功譚"を最低5件蓄積するといいます。何をめざし、
どう進めるのか、なぜできると言い切れるのか、蓮尾准教授に尋ねました。

情報系と物理系の融合のカギを握る制御理論 安全で安心な
超スマート社会の実現に向けて

新しい技術が社会で役立つためには、それが安全に使えることが必要です。
ロボットや自動運転など人と親和性の高い技術の場合は、さらに「安心」
であることも重要な要素となります。蓮尾メタ数理システムデザイン
プロジェクトのグループ1「ヘテロジニアス形式手法グループ」において、
システム工学の立場から従来の制御理論を拡張し、機械学習や最適化問題など
を取りこんだ理論の構築をめざす大阪大学大学院基礎工学研究科の潮俊光教授に、
プロジェクトにおける役割を聞きました。

潮 俊光氏［大阪大学大学院基礎工学研究科 教授／JST ERATO 蓮尾メタ数理システム
デザインプロジェクト 大阪大学サイト リーダー］

本プロジェクトは、工業製品のものづくりに、ソフトウエア工学の知見を取り入れ、
仕様策定から設計、製造、保守に至るまでの支援をめざしています。
具体的には、ソフトウエアの品質保証などに用いられている
「形式手法（Formal Methods）」を採用。製造業が培ってきた知見と
組み合わせることで、複雑化するものづくりにおける信頼性や安全性、
迅速性を、高い水準へ引き上げるというものです。

このプロジェクトにおいて、グループ3「インテリジェンス協働形式手法」
のグループリーダーを務めるNIIの石川冬樹准教授に、形式手法による
ものづくりの進化とめざす成果などについて聞きました。

圏論の研究者である蓮尾准教授のインタビューで面白いのは、抽象度を上げる
ことで、ソフトウェアも自動車も同じものと考えることが出来ると述べている
点。物理的に動くソフトウェアとしての自動車。

また、抽象度を上げることで、専門分野が違う者同士でも、同じ土俵で
何かを共に構築できると言っている。前のレスで、圏論を哲学へ接続出来る
と言ってた人がいるけど、そういう発想。製造業の現場に圏論を導入して
アプローチすることで、物作りに一般性と普遍性が獲得されるとのこと。
だから、哲学がそうした普遍性を獲得するのにも数学は、当然、使えるだろうね。

波平は相変わらず頭悪いな

メインコテで儒教を推しながら別のスレじゃ
匿名でやっぱり数学マンセーですとか

一貫性がないな

哲学に使えると期待できるのは数学そのものではないよ
「圏論」だよ
そして、圏論が使えることは、数学そのものが使えることを保証しないよ