数学と物理学って何で統合しないの？

数学と物理学って何で ..

56:１３２人目の素数さん
19/09/18 07:30:11.49 QHm5DcMK.net
数学的宇宙仮説スレ？

57:１３２人目の素数さん
19/09/18 07:40:21.23 cTLWqLij.net
四色問題が解決すれば、宇宙のすべての秘密が明かされるよ。まだ、１００年はかかる

58:１３２人目の素数さん
19/09/18 14:08:28.02 pbLfI4da.net
>>56
宇宙際

59:１３２人目の素数さん
19/09/19 15:19:55.22 WZ1OUlq6.net
何で統合しないの？よりも
どうやって統合したらいいんだろうか？　という状態だと思われます。

60:松本あゆ美親衛隊万年平隊員
19/09/19 16:46:54.84 EX2F5ptr.net
なので×ですから○　だから△
本来「なので」は断定の助動詞「だ」の連体形「な」＋理由や原因を表す接続助詞「ので」
によって構成されるため、他の言葉と結びつく言葉なのです。独立した接続詞でありません。
ですから、文頭に「なので」を用いて文章を始めるのは、文法的に間違いです。

61:１３２人目の素数さん
19/09/19 21:30:36.28 sC33aYLd.net
URLﾘﾝｸ(xn--u9j4g9dxd292pfbtfskdg9f.com)

62:１３２人目の素数さん
19/09/20 02:30:11.19 ce/riRSP.net
統合しますた。
月刊「数理科学」サイエンス社
URLﾘﾝｸ(www.saiensu.co.jp)
URLﾘﾝｸ(www.saiensu.co.jp)

63:１３２人目の素数さん
19/09/20 03:51:05.51 ce/riRSP.net
「理論物理学のための幾何学とトポロジー」
ｽﾚﾘﾝｸ(math板)

64:１３２人目の素数さん
19/09/20 13:22:25.41 KyAOfC1j.net
2230
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました！
マジで嬉しいです！
来月からも理系に負けず頑張りたいと思います！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)

65:１３２人目の素数さん
19/09/25 10:51:57.42 mkqdnfa0.net
>>5そしてこの教授は、よって統計は数学ではない、とも言っていたw
量子統計が数学の測度論じゃないってうのは分かるけど

66:１３２人目の素数さん
19/09/25 10:56:06.44 mkqdnfa0.net
>>15
箱の中に区別のつかない素粒子が２個ある場合
２個の電子は位置を含めて区別が出来ない
これは不確定性原理によって位置が不確定なため
２個のリンゴは位置で区別ができるので同一の２個のリンゴということはあり得ない
２個の電子は位置で区別ができないので同一の２個の電子ということがあり得る

67:１３２人目の素数さん
19/09/25 10:59:16.83 mkqdnfa0.net
>>48数学が描く宇宙と物理が描く宇宙が一致することかな
宇宙は閉じていて（有限で）中心がなく曲率もない
この様な空間は数学では表現できない

68:ボンカレー最高
19/09/25 13:50:18.03 cD8yC/WR.net
>>7
色んなカレーを試し最後に行き着いたのがボンカレの辛口。脂肪分が少なく後味もスッキリして食べ飽きしない。レンジで袋ごと暖められて利便性も良く価格も激安
似たような理由で酒類もマニアックなものより大手のが優れている

69:１３２人目の素数さん
19/09/26 14:35:24.97 yPl5Q3de.net
>>39
経済学は深層学習を使えばいい。

70:１３２人目の素数さん
19/09/26 14:36:34.40 yPl5Q3de.net
>>40
生物学も深層学習を使え。

71:１３２人目の素数さん
19/09/26 22:33:49.09 uTBOFOOX.net
>>41
ポセイドンは海を行け

72:１３２人目の素数さん
19/09/27 03:48:25.28 /3Jx9pWE.net
個人的には数学と物理は全く別物。

73:１３２人目の素数さん
19/09/27 08:25:55.32 GLMNlJCX.net
それあなたの個人的意見ですよね

74:１３２人目の素数さん
19/09/28 08:05:40.55 Edjp1ZNI.net
私の個人的な意見です。

75:１３２人目の素数さん
19/09/28 17:42:54.58 ECZsuANA.net
>>73
数学空間と物理空間は異なるってうのは今現在なら普通に常識だが

76:１３２人目の素数さん
19/09/28 18:10:03.52 WzRcO3OL.net
>>73
ひろゆきさんオッスオッス！

77:１３２人目の素数さん
19/09/28 19:26:30.90 eq8OZaeK.net
>>75
数学空間？意味不明
物理空間？理解不能

78:１３２人目の素数さん
19/09/28 20:17:10.87 n4PZal3A.net
物理は解析のふるさと

79:１３２人目の素数さん
19/09/29 20:56:15.08 rVYV+GdK.net
5615
かずきち@dy_dt_dt_dx 9月29日
京大オープン経済190/550しか取ってないやつにマウント取られて草
お前より90点高いんだよ黙って勉強しろ
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)

80:１３２人目の素数さん
19/09/30 00:17:39.20 xPPAXCrA.net
>>77
習合の元は点で表現できるってことで　数学っていうのは点の上部構造だけど

物理空間の位置は点で表現できない

81:１３２人目の素数さん
19/09/30 01:32:01.48 HffM45db.net
ヤオロズの神様みたいなのもか？

82:１３２人目の素数さん
19/09/30 02:01:41.13 75JdTEOX.net
元々一つだた。
「日本数学物理学会誌」　東京数学会社(1877～)
　Nippon Sugaku Butsuri Gakkwaishi
　Proceedings of the Physico-Mathematical Society of Japan (1919～)
将来は？
東大　数物連携宇宙研究機構（Kavli IPMU)
URLﾘﾝｸ(www.mext.go.jp)
　東京大学総長室直属の国際高等研究所。

83:１３２人目の素数さん
19/09/30 17:58:07.11 xPPAXCrA.net
>>2統一は無理。数学が物理を飲み込むことはありそう
それは無理
物理の方が大きな概念だし
数学の場合は物の性質がないものとして抽象化が出来るという前提があるけど
物の性質を排除しての抽象化はニュートン力学では可能だけど量子力学では不可能

84:１３２人目の素数さん
19/09/30 21:36:09.71 HKn/jg7m.net
今の物理学科って、物性系学ぶ人が多いんだろうか？？
就職もよさそうだし。
自分はマックスウェル方程式、古典的な電磁気学がけっこう好きなんだけど、

85:１３２人目の素数さん
19/09/30 21:41:55.85 HKn/jg7m.net
空間とか　位相とか　４次元のイメージとか
言葉の意味が違うのも問題かな

86:１３２人目の素数さん
19/09/30 22:06:20.92 4KKC2bmG.net
研究者は遣りたい事だけをやりたいので統合したくありませんｗ

87:１３２人目の素数さん
19/09/30 22:15:11.19 xT1Exbl1.net
>>83
どっちの分野も根本的に理解する素養すら欠けてそう。

88:１３２人目の素数さん
19/09/30 22:17:49.57 1mzE16xk.net
『雲のむこう、約束の場所』の反省が『君の名は』にいかされている

89:１３２人目の素数さん
19/10/01 13:05:45.66 bmaoVUUk.net
>>87
箱の中に電子が２個入ってる場合の確立統計
ケース１　「●●　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／３
ケース２　「　　　　　　　　　　　　●●」　箱の右で２個観測される確率　　　１／３
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　２／３
箱の中にリンゴが２個入ってる場合の確立統計
ケース１　「○○　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／４
ケース２　「　　　　　　　　　　　　○○」　箱の右で２個観測される確率　　　１／４
ケース３　「○　　　　　　　　　　　　○」　箱の左右で１個観測される確率　１／２

リンゴをミカンに代えても確率統計は同じだが
リンゴを電子に代えると確率統計が異なってしまう
ようするに電子やリンゴは性質の無い物として抽象化出来ないのだ

90:１３２人目の素数さん
19/10/01 13:09:44.42 DOW7zNhh.net
誰か、この意味不明を翻訳してください。

91:１３２人目の素数さん
19/10/01 13:17:16.60 bmaoVUUk.net
>>87
数学はニュートン力学と同様の決定論だが
量子力学は確率論
確率論が真の姿で粒子が沢山あつまると近似的に決定論（ニュートン力学）的に見える
物理の立場でいえば　数学の決定論は粒子が沢山集まった時の近似的な概念にすぎないってことになる
ということで電子が２個有る時の確率統計は数学の測度論（確率統計）では表現でこないってことになる

92:１３２人目の素数さん
19/10/01 13:27:49.75 bmaoVUUk.net
>>86
いわゆる数学の楽園ということで
全てにおいて物の性質を無いものとして抽象化がかぬならば
居心地の良い数学の楽園に居続けることができる

93:１３２人目の素数さん
19/10/01 21:27:54.80 a960L5oP.net
はい、次の患者さんどうぞ

94:１３２人目の素数さん
19/10/01 21:43:06.59 bmaoVUUk.net
>>89
間違いが有ったので修正
箱の中に電子が２個入ってる場合の確立統計
ケース１　「●●　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／３
ケース２　「　　　　　　　　　　　　●●」　箱の右で２個観測される確率　　　１／３
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／３
箱の中にリンゴが２個入ってる場合の確立統計
ケース１　「○○　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／４
ケース２　「　　　　　　　　　　　　○○」　箱の右で２個観測される確率　　　１／４
ケース３　「○　　　　　　　　　　　　○」　箱の左右で１個観測される確率　１／２

95:１３２人目の素数さん
19/10/01 21:51:11.01 bmaoVUUk.net
>>93
リンゴを椅子に換えても体系は変わらないけど
リンゴを電子に変えると体型は変わってしまう
ようするにリンゴや電子を意味の無いものとして抽象化は出来ないってことで
リンゴの場合は「同一なら１個」という論理になってるけど
電子の場合じゃ「同一な電子が複数ある」ってことになる
数学ではリンゴを椅子に換えても「同一なら１個」は普遍なので公理となってる
（公理的集合論の外延生の公理から対の公理は（ｘ、ｘ）＝（ｘ）となる）

96:１３２人目の素数さん
19/10/01 21:55:03.87 bmaoVUUk.net
>>93
リンゴでは対の公理（ｘ、ｘ）＝（ｘ）が成立するので
箱の中にリンゴが２個入ってる場合の確立統計
ケース１　「○○　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／４
ケース２　「　　　　　　　　　　　　○○」　箱の右で２個観測される確率　　　１／４
ケース３　「○　　　　　　　　　　　　○」　箱の左右で１個観測される確率　１／２
電子の場合は「同一な電子が２個ある」ってことで対の公理が成立しないので
箱の中に電子が２個入ってる場合の確立統計
ケース１　「●●　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／３
ケース２　「　　　　　　　　　　　　●●」　箱の右で２個観測される確率　　　１／３
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／３

97:１３２人目の素数さん
19/10/02 01:00:50.40 1hnaNSCT.net
じゃあフォン・ノイマンの量子力学の数学的基礎って何なのさ？
URLﾘﾝｸ(ja.m.wikipedia.org)

98:１３２人目の素数さん
19/10/02 09:13:35.52 PPz3AmZ/.net
>>97
電子の場合は「同一な電子が２個ある」ってことで対の公理が成立しないので
箱の中に電子が２個入ってる場合の確立統計
ケース１　「●●　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／３
ケース２　「　　　　　　　　　　　　●●」　箱の右で２個観測される確率　　　１／３
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／３
というの量子力学の波の収縮による確率統計だが
フォン・ノイマンは量子力学の波の収縮は数学では説明できないとしてる

99:１３２人目の素数さん
19/10/02 15:21:16.30 Z0A9cD7B.net
東大、分子生物学の基本原理「セントラルドグマ」の理論的導出に成功
URLﾘﾝｸ(www.nikkei.com)

100:１３２人目の素数さん
19/10/02 16:41:42.23 yg2sfrlJ.net
いつもの用語を借りただけ理論ね、

101:１３２人目の素数さん
19/10/02 20:49:56.96 ohbyYXfz.net
電子が入ってる箱ってのは
どんな条件あったんだっけか？

102:１３２人目の素数さん
19/10/03 16:36:05.32 /dY2KU4H.net
>>14物理の素粒子分野というと、電子の位置（場所）は、
＞不確定性原理により、確率的にか位置が解らず、
＞そういうものなんだそうですね。
素粒子と素粒子の間には相互作用があるが
素粒子単体でも自分自身が自分に対して作用を与えてしまう
ようするに素粒子が自分で自分に影響を与えてしまうということで自己言及の形になってのだが
これが不確定性原理の原因とされている
数学の論理の場合は自己言及はパラドクスの原因として回避されてるが
素粒子の世界では自分が自分に与える相互作用ってことで自己観測が自己言及的に起きていて物理量が不確定って状態に落ちいる

103:１３２人目の素数さん
19/10/03 16:37:34.73 /dY2KU4H.net
>>101
電子が２個入ってる場合の箱の条件って　物理では特になにもないけど

104:１３２人目の素数さん
19/10/03 16:44:27.85 /dY2KU4H.net
>>102
箱の中の電子は自己相互作用（自己観測（自己言及）））によって
箱の範囲で位置が不確定になる
電子の位置は箱の右とか左とかに確定されてないってことで点で表現できるような位置をもたない
位置が確定してるなら物は位置で区別ができるけど電子の場合は位置が不確定なので２個の電子は位置を含めて全く区別つかない
２個の電子は位置を含めてまったく区別がつかないということで「同一な電子が２個ある」という状態になり
箱の中に電子が２個入ってる場合の確立統計
ケース１　「●●　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／３
ケース２　「　　　　　　　　　　　　●●」　箱の右で２個観測される確率　　　１／３
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／３
となる

105:１３２人目の素数さん
19/10/04 09:05:22.78 KjrP193C.net
>>19
＞最先端の研究をしている数学者が、NHKで放送された数学の番組の中で
＞言っていた事なんだけど、
＞数とは何か？という最も根本的な事が、解っていないんだそうです。
＞だから、解らないから研究しているんだそうです。
区別のつかない複数の電子が有った倍には
個々の電子に自然数の１とか２とかを対応させることができない
このことは電子は番号付けできないということで不可番ということになるのだが
ここで電子に対応することができない自然数とななにかってことが起こる
高木貞冶は「数の概念」のなかで
「ペアノが自然数の公理系を作る時に採用した後者の概念は　・・・次のという意味で
次々に繰り返すということだから基礎にしているのは個数ではなく時の感覚だと思われる」
と記している
高木氏の見解では
ペアノの公理の自然数は個数でななく回数の概念ということになり
個数と回数は異なる数の体系ということになる

106:１３２人目の素数さん
19/10/04 10:41:49.49 KjrP193C.net
「同一の電子が複数ある」　という場合の電子の集まりは「真のクラス」なのか？
電子の物理量が不確定という不確定性原理の原因が自己観測（自己言及）なので
「真のクラス」がつくられる原因は自己言及ってことで同じではあるのだが

107:１３２人目の素数さん
19/10/04 11:58:42.39 nrVvjM0e.net
同一の量子が複数ある、という認識は厳密には正しくない
高さ2の1つの波を高さ1の波2つに分けて、どちらがどちらだ？と問うことに意味がないのと同様

108:１３２人目の素数さん
19/10/04 19:57:41.51 KjrP193C.net
>>107
電子は自己同一性を持たないので自分と自分以外の区別がつかない
２個の電子が有る場合　電子は自己同一性を持たないので
ａ１という電子はｐ１という物理量を持ち
ａ２という電子はｐ２という物理量を持つ
という様な記述ができない
ａ１とかａ２とか電子が区別できて
ａ１の電子の持つ物理量とか　ａ２の電子の持つ物理量という記述が可能なのであった
単にａという電子が２個あるという場合は
２個のａというペアの電子が物理量ｐ１、ｐ２を持つという記述になる
ようするに個々の電子がそれぞれ物理量を持っているんではなく
２個の電子がペアで２個の物理量を持ってるということで
これが電子が自己同一性を持たないという意味だ

109:１３２人目の素数さん
19/10/04 20:50:21.18 KjrP193C.net
>>107
電子が２個有る場合
「ｐ１という物理量を持つ電子」　と　「ｐ２という物理量をもつ電子」
という記述は出来ない
「ｐ１という物理量を持つ電子」　と　「ｐ２という物理量をもつ電子」を認めると
２個の電子はｐ１、ｐ２という物理量で区別がつく事になったしまう
では２個の電子が区別できない場合は物理量はどうなるのかだが
２個の電子がｐ１、ｐ２という物理量を持っているという記述になり
ｐ１やｐ２という物理量が２個の電子と一対一対応してるわけではないのだ
２個の電子と２個の物理量ｐ１、ｐ２が一体一対応してれば
２個の電子は物理量ｐ１、ｐ２で区別が出来てしまうのでまずいのだ

110:１３２人目の素数さん
19/10/05 09:47:47.26 jBNkydET.net
>>107
区別できない２個の物を分かりやすく説明するためのたとえ話なのだが
区別できない２個のリンゴがあったとする
区別の出来るリンゴの場合は
たとえば早く動いてるリンゴと遅く動いてるリンゴってことで
速さで２個のリンゴを区別出来たりする
だが区別のできないリンゴの場合は
２個のリンゴは早い速度と遅い速度を持っているということになって
各々のリンゴに早い速度や遅い速度を対応させることはできない
ちなみに
日常生活ではこのような事例は目にしないので
理解がしづらいことは確かののだが

111:１３２人目の素数さん
19/10/05 11:45:11.75 OAAkukp/.net
手にとった本にたとえ話や教授と学生の会話が載っていたらそっと閉じて買い物リストから外す

112:１３２人目の素数さん
19/10/05 11:47:54.74 3Q8G+Q3v.net
↑ なんで？

113:１３２人目の素数さん
19/10/05 13:02:24.93 fDQh4Kkd.net
数学は思想で戦ってるのに宗教を否定するのは無しよ

114:１３２人目の素数さん
19/10/05 13:52:59.41 TGZhAs6N.net
>>113
それは正しいな

115:１３２人目の素数さん
19/10/05 15:43:34.98 jBNkydET.net
>>107
同値律　∃S[S=S]
自己同一性がないってことは上記のＳが複数存在するってことなのだが
数学の場合は「同一なら１個」ということで処理されている
（対の公理で（ｘ、ｘ）＝（ｘ）とされていてｘは１個）

116:１３２人目の素数さん
19/10/05 15:47:37.17 jBNkydET.net
>>113数学は思想で戦ってるのに
リンゴ　や　電子を　意味の無いものとして形式的体系が構築できればいいのだが
現実的にはできない

117:１３２人目の素数さん
19/10/05 16:10:08.03 jBNkydET.net
>>114
集合の存在公理（同一律）は　∃S[S=S] で
自分は自分であるということで　なにかが自分自身であるとう保証なのだが
電子の場合は自己同一性がないので　この保証が成り立ってない
現実の世界では観測によって存在が確認されるのだが
素粒子が自己観測によって存在が確立される
ところが　そこで問題になるのは
素粒子は素粒子からも観測さっれていた自己の観測による自己の変化なのか他から観測されてことによる自己の変化なのかはわからない
ということでこれが自己同一性がないことに原因になってる

118:１３２人目の素数さん
19/10/06 08:27:25.93 2HHMaPO3.net
>>111
数学論理とは現実の現象を記号でたとえたもの　という見方もできる

119:１３２人目の素数さん
19/10/06 08:40:15.39 2HHMaPO3.net
>>113数学は思想で戦ってる
数学論理は自然界の法則に従ってるのではないか
存在公理（同一律）∃ｓ〔ｓ＝ｓ〕とは
「自分は自分である」　ということで
「なにかが　それ自身だ」　という保証だが
電子の場合は自己同一性が無いので
同一律が成立してない
同一律∃ｓ〔ｓ＝ｓ〕　が成立しなければ
無矛盾律　￢（ｓ∧￢ｓ）　も成立しなし
排中律ｓ∨￢ｓ　も成立しない
ということで
リンゴとかコップとかの日常生活で見てる存在の自然法則にしたがったのが今の数学論理であって
普遍性があるわけではないと思われる

120:１３２人目の素数さん
19/10/06 15:44:26.83 ISZ3QJ8S.net
思想とか哲学とかアタマオカシーンジャネーノ

121:１３２人目の素数さん
19/10/06 16:32:49.27 jMl0cr5z.net
君が哲学ゼロなのがわかった。

122:１３２人目の素数さん
19/10/06 17:36:24.73 2HHMaPO3.net
>>111たとえ話
数学は現実の現象を記号で「たとえた物」だが
リンゴとか机とかコップとかの日常的に体験する物は
存在公理（同一律）の記号∃S[S=S] でたとえることが出来るのだが
電子の様な自己同一性の無いものは数学の記号∃S[S=S] でたとえる事ができない

123:１３２人目の素数さん
19/10/07 08:46:08.98 tydr/Q9f.net
>>5この教授は、よって統計は数学ではない、とも言っていた

電子の場合は自己同一性がないので
自分と自分以外の電子の区別が出来ないので
「同一な電子が２個存在する」ということが起こりえる
同一な電子が２個存在する場合
自分はＰ１とう物理量を持つ電子で
自分以外はｐ２という物理量を電子とすると
電子は物理量ｐ１．ｐ２で区別がついてしまうので
電子２個がｐ１・ｐ２という物理量を持つという表記になり
同一の電子２個がペアになった物理量ｐ１・ｐ２を持つことになる
確率統計でも同様で
同一の２個の電子はペアで観測される確率を持っている
リンゴの場合は自己同一性があるので自分と自分以外を区別できるので
それぞれのリンゴが単独で観測される確率を持っている

124:１３２人目の素数さん
19/10/07 09:06:53.95 tydr/Q9f.net
>>123
箱の中に電子が２個入ってる場合の確立統計
ケース１　「●●　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／３
ケース２　「　　　　　　　　　　　　●●」　箱の右で２個観測される確率　　　１／３
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／３
同一の２個の電子は単独ではなくペアになって
ケース１　と　ケース３　と　ケース３　の状態で観測される確率を持っている

125:１３２人目の素数さん
19/10/07 09:13:15.36 gUr9wCgB.net
こいつにちゅうがく受験は無理だな。

126:１３２人目の素数さん
19/10/07 09:26:17.45 tydr/Q9f.net
>>124
箱の右にある観測装置　と　箱の左にある観測装置　は
区別のつく３個の観測装置なんで単独で各々の観測装置で電子は観測される
２個の電子が同時に観測される場合は問題ないのだが
２個の電子が同時でなく観測される場合を考える
最初に右の観測装置で１個の電子が観測された場合
残りの電子が　右の観測装置で観測される確率と　左の観測装置で観測される確率を考える
残りが右で観測された場合はケース２
ケース２　「　　　　　　　　　　　　●●」　箱の右で２個観測される確率　　　１／３
残りが左で観測された場合はケース３
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／３
最初に電子が右で観測される確率と　最初に電子が左で観測される確率は同じで１／２
最初に電子が右で観測される確率は１／２で
次も電子が右で観測される確率はで？で
２個の電子が右で観測されるケース２の確率は１／３となる
１／２　　×　？　＝１／３
？＝２／３

127:１３２人目の素数さん
19/10/07 09:38:07.83 tydr/Q9f.net
>>126
箱の右にある観測装置　と　箱の左にある観測装置　は
区別のつく２個の観測装置なんで単独で各々の観測装置でリンゴは観測される
２個のリンゴが同時に観測される場合は問題ないのだが
２個のリンゴが同時でなく観測される場合を考える
最初に右の観測装置で１個のリンゴが観測された場合
残りのリンゴが　右の観測装置で観測される確率と　左の観測装置で観測される確率を考える
残りが右で観測された場合はケース２
ケース２　「　　　　　　　　　　　　○○」　箱の右で２個観測される確率　　　１／４
残りが左で観測された場合はケース３
ケース３　「○　　　　　　　　　　　　○」　箱の左右で１個観測される確率　１／４
最初にリンゴが右で観測される確率と　最初にリンゴが左で観測される確率は同じで１／２
最初にリンゴが右で観測される確率は１／２で
次もリンゴが右で観測される確率は１／２で
２個のリンゴが右で観測される確率は１／２　×　１／２＝１／４となる
電子の場合は２個の電子がペアで　観測される確率１／３を持っているので１／３から逆算して？の値が決められたが
リンゴの場合は個々のリンゴが観測される確率を持っているので逆算は必要ない
１／２　　×　？　＝１／３
？＝２／３

128:１３２人目の素数さん
19/10/07 09:44:34.79 tydr/Q9f.net
>>127
１２７のレスを訂正する

箱の右にある観測装置　と　箱の左にある観測装置　は
区別のつく２個の観測装置なんで単独で各々の観測装置でリンゴは観測される
２個のリンゴが同時に観測される場合は問題ないのだが
２個のリンゴが同時でなく観測される場合を考える
最初に右の観測装置で１個のリンゴが観測された場合
残りのリンゴが　右の観測装置で観測される確率と　左の観測装置で観測される確率を考える
残りが右で観測された場合はケース２
ケース２　「　　　　　　　　　　　　○○」　箱の右で２個観測される確率　　　１／４
残りが左で観測された場合はケース３
ケース３　「○　　　　　　　　　　　　○」　箱の左右で１個観測される確率　２／４
最初にリンゴが右で観測される確率と　最初にリンゴが左で観測される確率は同じで１／２
最初にリンゴが右で観測される確率は１／２で
次もリンゴが右で観測される確率は１／２で
２個のリンゴが右で観測される確率は１／２　×　１／２＝１／４となる
電子の場合は２個の電子がペアで　観測される確率１／３を持っているので１／３から逆算して？の値が決められたが
リンゴの場合は個々のリンゴが観測される確率を持っているので逆算は必要ない

129:１３２人目の素数さん
19/10/07 10:46:40.46 tydr/Q9f.net
箱の中に電子が２個入ってる場合の確率統計
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／３
箱の中にリンゴが２個入ってる場合の確率統計
ケース３　「○　　　　　　　　　　　　○」　箱の左右で１個観測される確率　２／４

電子の場合は自己同一性が無いので同一の電子が２個存在し
２個の電子はペアで観測される確率１／３を持っている
リンゴの場合は自己同一性があるので異なるリンゴが２個存在し
２個のリンゴはそれぞれ個別に　観測される確率１／２を持っている
最初に右の観測装置で１個観測され　次に左の観測装置で１個観測される場合をリ考えてみる
リンゴは個々に観測確率を持っているので　
最初に右で１個が観測される確率は１／２で　次は独立していて左に１個のリンゴの観測確率も１／２となり
１／２　×　１／２＝　２／４が　左右で１個づつ観測される確率になる
電子はペアで観測確率を持っているので左右で１個づつ観測される確率１／３が決定してしまっていて
逆算して最初に右で観測される確率と次に左で観測される確率が決まるのだが
最初は左右で観測される確率に差が無いので最初に電子が右で観測される確率は１／２になり
次に電子が左で観測される確率？は　１／２　　×　？　＝１／３　の式から逆算して決まる事になり
？＝２／３となる
リンゴの場合は次が左で観測される確率は１／２で　電子の場合は次が左で観測される確率は２／３となるのだが
電子の場合はどうしても奇妙と感じてしまう

130:１３２人目の素数さん
19/10/07 11:02:21.12 tydr/Q9f.net
存在公理（同一律）∃ｓ〔ｓ＝ｓ〕とは
「自分は自分である」　ということで
「なにかが　それ自身だ」　という保証だが
電子の場合は自己同一性が無いので
同一律が成立してない
同一律　∃S[S=S]
自己同一性がないってことは上記のＳが複数存在するってことなのだが
数学の場合は「同一なら１個」ということで処理されている
（外延性の公理にいり対の公理で（ｘ、ｘ）＝（ｘ）とされていてｘは１個）
自己同一性の無い電子の集まりは「真のクラス」なのか？

131:１３２人目の素数さん
19/10/08 15:42:36.39 I7upgkFI.net
ヘーゲルによれば
矛盾は｢あらゆる自己運動の原理｣'lであり｢絶対的活動性｣5なのである
存在公理（同一律）∃ｓ〔ｓ＝ｓ〕とは
「自分は自分である」　ということで「なにかが　それ自身だ」　という保証だが
電子の場合は自己同一性が無いので同一律が成立しないし
同一律が成立しなければ無矛盾律も成立しない
電子は自己観測により自身の物理量が不確定になるのだがこれは自己観測による矛盾に依存していて
電子はｐと￢ｐの状態を同時にとれてこれが物理量の不確定性とよばれる

132:１３２人目の素数さん
19/10/08 15:45:03.55 I7upgkFI.net
>>131
数学の矛盾容認論は
電子が無矛盾律に従わないことまで許容できるのか？

133:１３２人目の素数さん
19/10/08 15:51:10.58 I7upgkFI.net
>>131
箱の右側をｐとして箱左を￢ｐとすると
箱の中の電子はｐと￢ｐという状態を同時に持っていることになる
（不確定性原理による）
この状態は無矛盾律は成立してないが数学の矛盾容認論の範囲内のおさまるのか？

134:１３２人目の素数さん
19/10/08 18:58:15.64 SWyuzaqb.net
無矛盾律を修正することで乗り切る

135:１３２人目の素数さん
19/10/08 19:53:06.12 I7upgkFI.net
>>134
矛盾許容理論で　電子は矛盾律に従わないことがカバーできるかどうか？
矛盾許容論理では以下の原理の３つの１つは採用できない
１　論理和の導入　２　選言三段論法　３　推移関係
同様に矛盾許容論理では以下の３つの原理のうち１つは採用できない
１　背理法　２　構造規則　３　二重否定の排除

136:１３２人目の素数さん
19/10/09 08:46:03.08 DrZgl+gI.net
存在公理（同一律）∃ｓ〔ｓ＝ｓ〕とは
「自分は自分である」　ということで
「なにかが　それ自身だ」　という保証だが
電子の場合は自己同一性が無いので
同一律が成立してない
同一律が成立しなければ
外延性の公理により　対の公理で（ｘ、ｘ）＝（ｘ）とされていてｘは１個となり電子の集まりは集合で表現できないが
電子の集まりは真のクラス（ｐｒｏｐｅｒ　ｃｌａｓｓ）で表現できるのか？
また同一律∃ｓ〔ｓ＝ｓ〕　が成立しなければ
無矛盾律　￢（ｓ∧￢ｓ）　も成立しないが
矛盾許容理論で　電子において矛盾律が成立しないという事が　カバーできるのか？

137:１３２人目の素数さん
19/10/10 20:13:28.18 xGkf2mix.net
哲学者のヘーゲルは
「矛盾はあらゆる自己運動の原理であり絶対的活動性なのである」
と述べている
素粒子の自己観測により素粒子の不確定性が起こるのであるのだが
これは自己が自己を観測した結果自己が変化しその結果自己が変化するということで
自己の状態が不確定になることなのだが
自己観測により素粒子には波動性が生じて事は波動性が運動量やエネルギーの源となり
素粒子の存在性を保証する
自己観測は自己言及であり矛盾を産むのであるが
この矛盾こそが運動とか実在とかの根源になっている

138:１３２人目の素数さん
19/10/10 22:35:17.48 cKTo7jPn.net
ヘーゲルが正しいな
矛盾は許容しないといけない
つまり数学は根本的に修正が必要な状態にある

139:１３２人目の素数さん
19/10/19 18:30:37.56 6G8vJkD3.net
19世紀までは、数学と物理学の間に壁はなかった。
電磁気のマックスウェル方程式4つの内、2つがガウスの法則だ。

140:１３２人目の素数さん
19/10/20 10:18:58.40 ARKD2kVX.net
未定義を土台にする数学と　循環的定義的な物理世界とのギャップがある
存在公理（同一律）∃ｓ〔ｓ＝ｓ〕とは「自分は自分である」　ということで自明の理としてるのが数学だが
「自分は自分である」を循環的定義としてみれば　これは自己観測ということで不確定性原理の元になる
循環定義定義という概念を動的に解釈すれば　これがエネルギーとか運動量とかの実在につながる

141:１３２人目の素数さん
19/10/20 11:04:10 ARKD2kVX.net
>>140

循環定義という概念を動的と解釈すれば負あっくてい性原理になり

自身の物理量が不確定になるのだが　物理量が不確定になることで

自身と他が区別できなくなり　まったく区別のできない同一なものが複数存在するということになる

「自分は自分である」という同一律を動的にみれば

自分と他が区別できなくなり同一律は成立しなくなるってことになるのだが

同一律が成立しなければ矛盾律も成立しなくなる

142:１３２人目の素数さん
19/10/20 14:00:25.40 CHDHu0ne.net
だから矛盾じゃないのに矛盾とみなしてるだけなのだ

143:１３２人目の素数さん
19/11/01 17:41:04.55 Ceaoafi6.net
URLﾘﾝｸ(i.imgur.com)

144:１３２人目の素数さん
19/11/01 18:13:05.09 Kxr3wynK.net
アルバイト大変だね

145:１３２人目の素数さん
19/11/06 08:30:18 8OkB10C2.net
量子力学では状態の重ね合わせというのがあるが
（Ａが真）という状態と（Ａが偽）という状態の重ね合わせも可能ということだ

箱の中の状態が（Ａは真）と（Ａが偽）という状態が重ねあってるという場合は
観測してみて初めて真が偽が確定するということで観測前の状態は真と偽が重なり合ってる

146:１３２人目の素数さん
19/11/06 10:14:46.42 8OkB10C2.net
>>142
単に矛盾じゃないのに矛盾と見なしてるということではなく
真と偽が重なり合うような状態の時には確率統計が異なってくるということで
単なる表現の問題ではなく現実の物理法則の問題なのだ
箱の中に電子が２個入ってる場合の確率統計
ケース３　「●　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／３
では真と偽が重なり合う状態での確率とうけいだし
箱の中にリンゴが２個入ってる場合の確率統計
ケース３　「○　　　　　　　　　　　　○」　箱の左右で１個観測される確率　２／４
では真と偽が重なり合う事に無い確率統計

147:１３２人目の素数さん
19/11/27 04:18:38 IBWgOXjg.net
数学の命題の真偽は数学内では分からないが
命題の真偽は外からの観測によって確定するとされている

ようするに命題の真偽の確定は数学の対象外にしているのだが
物理では命題の観測ということになり物理の範囲内となってしまう

これを数的にいうと
「Ａという命題を観測して真偽を確定する」ということを命題として捉える
ということになる

148:１３２人目の素数さん
19/11/27 04:23:03 IBWgOXjg.net
数学の命題とは真偽が確定する言葉ってことになるけど
命題の真偽を確定するのは数学の外ってことになってる

物理では命題を観測して真偽を確定させるってことで
命題の真偽の確定も物理の観測者問題の内側に入ってくる

ようするに物理は内部で完結していて循環的なのだ

149:１３２人目の素数さん
19/11/27 04:26:15 IBWgOXjg.net
「Ａという命題を観測して真偽を確定する」という命題をＢとして
「Ｂという命題を観測して真偽を確定する」という命題をＡとすれば
２つの命題は互いに互いを観測して影響を受け合う循環的命題となるが
これが物理の観測者問題である

150:１３２人目の素数さん
19/11/27 05:19:29.61 IBWgOXjg.net
宇宙には外は無く内部完結しているが
数学には外が有り命題の真偽の決定は数学の外となる
数学を内部完結させるには
「Ａという命題を観測して真偽を確定する」という命題をＢとして
「Ｂという命題を観測して真偽を確定する」という命題をＡとすれば
２つの命題は互いに互いを観測して影響を受け合う循環的命題とする必要がある

151:１３２人目の素数さん
19/11/27 06:17:50.69 oIE1cA8/.net
なんで統一できないかって、
数学はどの宇宙でも成り立つが
物理はこの宇宙以外でも成り立つかどうか分からないから

152:１３２人目の素数さん
19/11/27 06:24:54.17 IBWgOXjg.net
>>151
言葉は突き詰めれば　無定義語か循環定義語になる
数学の場合は無定義語を土台にしてその上に構築されてるげ
現実の宇宙は循環定義的である

153:１３２人目の素数さん
19/11/27 10:13:27.96 IBWgOXjg.net
>>151物理はこの宇宙以外でも成り立つかどうか分からないから
この宇宙以外って視点には問題がある
どんな問題かというと
この宇宙の外があると仮定して宇宙の外から見た視点となってることだ
宇宙は完結していて外が無いのだから
この宇宙の外からの視点は存在しない

154:１３２人目の素数さん
19/11/27 10:27:08.73 IBWgOXjg.net
>>151
命題とは真偽が判定できる言葉だが　これには問題がある
命題の真偽の判定は数学の外から行うということで
数学には外があり内部完結されてないということになる
命題の意味は不明ということで記号論となるのだけど
外からは命題の意味がわかり真偽の判定ができるというスタンスになっているのだが
これは命題が数学の内側では真偽の判定ができない無定義語であり
意味を持たないとなる
外から見れば命題は意味を持ち真偽の判定ができ
内から見ても命題は無意味な言葉で真偽の判定はできない
というのが数学のスタンス

155:１３２人目の素数さん
19/11/28 07:41:26.73 Kn3AMzcr.net
むしろ、数学は不完全だが、物理は完全だと言えるのではないか？

156:１３２人目の素数さん
19/11/28 22:41:41.57 lvt0VL8R.net
4140
しろ@hu_corocoro 11月27日
苦節6ヶ月、初満点&一等賞です！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)

157:１３２人目の素数さん
19/11/29 08:55:22.09 ZJddOFzZ.net
>>155
命題論理については
その公理から証明されることがすべてトートロジー（同語反復）であり
逆にトートロジーはすべて公理から証明されることであるが
この完全性が成り立つことは証明されている
だが命題の真偽の判定は数学の外から行うということで
数学には外があり内部完結されてないということになる
命題論理は完全ではあるが命題の真偽のは外い委ねるので
内部で完結されているとはいえない

158:１３２人目の素数さん
19/11/30 23:55:30.12 GGzp8H8k.net
>>155
命題論理は
命題の真偽を外に依存することで内部完結してないから
完全性が成り立つという事になる
命題論理を内部完結させるには
「Ａという命題を観測して真偽を確定する」という命題をＢとして
「Ｂという命題を観測して真偽を確定する」という命題をＡとすれば
２つの命題は互いに互いを観測して影響を受け合う循環的命題とする必要があるが
内部完結させることで命題論理は不完全になる

159:１３２人目の素数さん
19/12/01 04:57:47 k02AY1VH.net
物理学の世界で「証明」とされるものは、数学の世界では「予想」に過ぎない

160:１３２人目の素数さん
19/12/01 20:00:25.64 W6WTNRgv.net
>>159
ネットでのやりとりで使う認証プロトコルは「証明」が使われているが
量子通信にまで至ると量子論という物理学に基づいて通信の秘匿性が保証される。
また現代数学における研究指針として「量子化」と言われる一般化への方向性がある。

161:１３２人目の素数さん
19/12/03 13:04:04.31 dwLJkz0C.net
>>157
「外」とは具体的に何がありますか？哲学ですか？実験ですか？

162:１３２人目の素数さん
19/12/03 20:06:28.70 mgr0kJo1.net
>>161
「富士山は日本で一番高い山」という命題の真偽は
実際に富士山の山の高さを計測し　更に日本の他の山の高さも全て計測して
比較する必要があるから実験だろうね

163:１３２人目の素数さん
19/12/04 14:23:51.63 Iwjcl5L6.net
ゲーデルの不完全性定理って数学の外からで論理学の内からだよな
ってことは論理学＞数学なの？誰か教えて

164:１３２人目の素数さん
19/12/04 15:07:06.85 Y7OVTA5N.net
哲学＞論理学＞基礎論＞数学＞算数

165:１３２人目の素数さん
19/12/04 15:29:55.37 Iwjcl5L6.net
>>164
ちなみに物理学はどこに入りますか？

166:１３２人目の素数さん
19/12/04 22:18:11.16 Pe+1iZty.net
>>165
物理＞哲学

167:１３２人目の素数さん
19/12/05 01:06:57.82 dNKVpUAB.net
>>166
俺は実験物理はそれでいいと思ってる
けど理論物理は数学よりも下だと思う。
実験物理＞哲学＞数学＞理論物理

168:１３２人目の素数さん
19/12/05 08:35:03.83 dkS1TwR0.net
>>167
量子力学的現象はＡと￢Ａが両立する状態を容認してるので
数学論理では表現できない

169:１３２人目の素数さん
19/12/06 00:20:44.94 Y3wsq6gZ.net
>>168
それは物理学では表現できるのけ？

170:１３２人目の素数さん
19/12/06 10:27:03.91 aK5Rv4ZB.net
>>169
箱の中にリンゴが２個入ってる場合の確立統計
ケース１　「●○　　　　　　　　　　　　」　箱の左で２個観測される確率　　　１／４
ケース２　「　　　　　　　　　　　　●○」　箱の右で２個観測される確率　　　１／４
ケース３　「●　　　　　　　　　　　　○」　箱の左右で１個観測される確率　１／４
ケース４　「○　　　　　　　　　　　　●」　箱の左右で１個観測される確率　１／４
（２個のリンゴは区別が出来るので●と○で表現した）
２個の電子は区別が出来ないので同一の電子が２個存在することになり○と○で表すと
ケース１　「○○　　　　　　　　　　　　」　
ケース２　「　　　　　　　　　　　　○○」　
ケース３　「○　　　　　　　　　　　　○」　
ケース４　「○　　　　　　　　　　　　○」　
物理の説明ではケース３とケース４は区別がつかないので同一ってことで１つのケースとしてる
電子は区別の出来ない同一の電子が２個有り　ケースは同一だから１つとしてる
都う感じで物理は説明してるけど数学論理で見れば矛盾

171:１３２人目の素数さん
19/12/06 13:22:11.47 mtBJJfj2.net
宇宙際タイヒミュラー理論が完成したら大統一理論になるんでないかい？

172:１３２人目の素数さん
19/12/06 13:46:33.50 FNedmXh1.net
>>170
さんくす

173:１３２人目の素数さん
19/12/07 01:48:44.52 tI9fXlD+.net
>>170
マクロの現象を元にした想定と違うことがミクロで起きてるというだけで
数学論理で見れば矛盾、とかいう要素何も無いやん

174:１３２人目の素数さん
19/12/07 01:51:23.19 R3gYlg0D.net
数学論理というのは排中律のことかな
たしかに直観論理というのも面白そうだけど
背理法が使えないのが難点

175:１３２人目の素数さん
19/12/07 08:38:10.39 uqdPpSuo.net
>>173
２個の電子が同一で区別が出来ないから　
ケース３とケース４は同一で区別できないので１個
は論理矛盾だよ

176:１３２人目の素数さん
19/12/07 09:07:05.89 uqdPpSuo.net
>>174
問題なのは同一律だ
集合の存在公理（同一律）は　∃S[S=S] で
自分は自分であるということで　なにかが自分自身であるとう保証なのだが
電子の場合は自己同一性がないので　この保証が成り立ってない
電子は自分と自分以外っていう区別が出来ないので
自分は自分であるという同一律が成立してないのだ
同一律が成立しないと結果的に矛盾律も成立しない

177:１３２人目の素数さん
19/12/07 10:15:32.58 NUVAaC2O.net
1+1=2 この二つの1は区別できるのか？

178:１３２人目の素数さん
19/12/07 13:09:58.16 aUv5lp/9.net
>>175
何も矛盾してないやん
ケース3とケース4が区別できるやろっていう思い込みが間違ってたってだけで

次ページ