対角線論法っておかしくね？ (136ﾚｽ)
対角線論法っておかしくね？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2024/12/19(木) 00:38:15.44 ID:iR+lqifX 有限個の論理式で記述できない命題があることになるじゃん http://rio2016.5ch.net/test/read.cgi/math/1734536295/1
56: １３２人目の素数さん [] 2025/01/11(土) 08:54:47.90 ID:WOeyxgDw やはり、クラスは型と考えるのがすっきりする。 クラスの集まりはクラスの集合である。 クラスを集まりとした場合、同じクラスに属する元の集合である。 異なるクラスの元は集合にならない。 ただし、クラスの継承や複合も考える。 共変・反変・不変（非変）・双変や変性も考えたい。 集合ではなく型システム付きの集合で実数を考えなおす。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/56
57: １３２人目の素数さん [] 2025/01/12(日) 09:03:22.99 ID:gthwsx4a 緻密であっても、それは連続ではない。 とりあえず、limによる連続関数が存在したとしても、 実数すべてで検証できるわけではない。 一様連続関数でも同じだ。 実際の論文ではどうなっているのだろう。疑問だ。 一様連続性でも、緻密であるとしかいえない。 そもそもδの連続性が証明に入っていないのではないだろうか？ 背理法でなければ連続性は証明できないのではないか？ どうなんだろう？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/57
58: １３２人目の素数さん [] 2025/01/12(日) 09:09:25.53 ID:gthwsx4a すなわち、数学的な（一様）連続性の証明は、 クラスが異なるものを混在させており、その部分について不十分のように感じられる。 パラドックスをかかえている可能性がある。（数学屋ではないのであしからず） http://rio2016.5ch.net/test/read.cgi/math/1734536295/58
59: １３２人目の素数さん [] 2025/01/12(日) 10:57:18.90 ID:BGKU0JbP >パラドックスをかかえている可能性がある。（数学屋ではないのであしからず） 数学と相いれない厳しい論理に慣れた立場では？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/59
60: １３２人目の素数さん [] 2025/01/12(日) 14:11:20.98 ID:gthwsx4a 連続だけでは加算無限になるのではないかと思う。 一様連続ならいけそうだが、単純に極限やイプシロン-デルタの二重適用であり、 それで実数の連続性を扱うとパラドックスが生じるのではないかと考える。 まあ、パラドックスを発見しないと話にはならないが。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/60
61: １３２人目の素数さん [] 2025/01/12(日) 14:46:41.69 ID:By1jwgYu 固有クラスは集合の集まりの中で「大きすぎるもの」 ここでいう「大きすぎるもの」とは、集合全体の集まりと同じ濃度のもの、という意味 ちなみに固有クラスの集まりは、もはや固有クラスですらない これ、常識な http://rio2016.5ch.net/test/read.cgi/math/1734536295/61
62: １３２人目の素数さん [] 2025/01/13(月) 12:08:43.75 ID:ntu2hVd/ 完備かどうかの問題だった。 limもイプシロンデルタも最初から完備である全逓なので、 わたしの誤謬になる。 連続とか一様連続は実数の定義にはつかえない。最初から実数であることが前提だ。 クラスが異なった。 離散のクラスから連続のクラスへいたるには、完備であることが必要になる。 まず、完備でない集合上での極限やイプシロンデルタを考え、完備な集合上との対応にはなにが必要になるか、 完備でない集合だけで完備な集合を構成できるか、などを考えてみる。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/62
63: １３２人目の素数さん [] 2025/01/13(月) 12:11:34.16 ID:ntu2hVd/ 全逓->前提。 4K x 2 にしたので、文字をもっと大きくしなくちゃだわ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/63
64: １３２人目の素数さん [sage] 2025/01/13(月) 15:37:22.77 ID:S0etnbV6 直方体の対角線論法ってある？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/64
65: １３２人目の素数さん [sage] 2025/01/13(月) 17:31:07.66 ID:S0etnbV6 【全逓】 《「全逓信労働組合」の略称》昭和21年（1946）に逓信省職員の労働組合として結成された全逓信従業員組合の後身。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/65
66: １３２人目の素数さん [] 2025/01/15(水) 01:34:12.11 ID:4yojs8D5 数学的対象を「数」とする立場と、自然数のみを「数」とする立場がある。（それ以外はとりあえず考えない） 無限を考えると、二重ループ以上では、扱いが難しい。 非標準なやりかたで一度、体系の外側から攻める必要がある。（不完全性定理？） そもそも公理というものが非標準なのかもしれない。 型システムとしてのクラスを使用した公理システムが整備されるべきだと考える。（型付き圏論？ 型付き数学言語？） http://rio2016.5ch.net/test/read.cgi/math/1734536295/66
67: １３２人目の素数さん [] 2025/01/16(木) 00:02:00.21 ID:jeEG3yhi 自然数のクラスと実数のクラス間で対応をとるためには、自然数のクラスが２つあれば十分なのか、２つあっても情報が足りないのか。 おそらく情報が足りていない。 この情報を構造と考えるなら、実数は離散数＋構造で構成できる。 構造も離散数とするならば３つの離散数で構成できる。ただし...決定不能性が...もう少し考えよう。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/67
68: １３２人目の素数さん [] 2025/01/18(土) 09:48:21.28 ID:Ey8R3aB1 ある種の型システムを使えば、ラッセルやらカントールやらのパラドックスは構成可能なままに無矛盾に回避される。 集合の集合も集合として構成できるので、大きいとか小さいとかも圏論から除去できる。 異なるクラスを双変にするタイヒミュラー空間のようなものを作れればなんとかなるだろう。 そこにはタイヒミュラーあるいは望月あるいはプリゴジンの魔物が棲んでいる。ワグネルの反乱になってしまうかもしれないが。 数学の証明にエントロピーが入ることになるだろう（予想）。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/68
69: １３２人目の素数さん [] 2025/01/18(土) 16:37:42.74 ID:Ey8R3aB1 単なる型ではないタイプのクラスは強力だ。数学を破壊しかねない。 問題は、量子宇宙にも同様のメカニズムがあるかどうかだ。 これを発見しなければならない。 おそらく、クオークもクラスだ。 なにものかが３つあれば、すべてを構築できるのではないか。なんらかの３つ組。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/69
70: １３２人目の素数さん [] 2025/01/20(月) 22:12:04.03 ID:N4HREpqq 空のクラスは存在するのか。 ある種の型システムによって、真のクラスは存在しない、とする。 クラスは、集まりによって定義されるのだとすれば、 空集合のクラスは色のないクラスだ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/70
71: １３２人目の素数さん [] 2025/01/20(月) 22:53:28.20 ID:N4HREpqq 無限は存在しない、とする。 記述は有限だ。 数を比較するのではなく、数の公理システムを比較する。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/71
72: １３２人目の素数さん [] 2025/01/23(木) 00:15:15.32 ID:RQMzRIlW 数学が、異なるものを同じとみなす技術である限り、 自然数と実数を同じとみなすことも可能だろうと思う。 型システムによって同型と準同型をシームレスに扱う方法があるのではないかと。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/72
73: １３２人目の素数さん [] 2025/01/23(木) 08:22:47.80 ID:gsIjQBrb >>72 ならcondensed math.がおすすめかもしれない http://rio2016.5ch.net/test/read.cgi/math/1734536295/73
74: １３２人目の素数さん [] 2025/01/24(金) 07:09:14.00 ID:xN3QpiYZ ありがとうございます。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/74
75: １３２人目の素数さん [] 2025/01/24(金) 07:11:22.91 ID:xN3QpiYZ ふう、やっと書き込めた。 液体ベクトル空間は、クラスのネットワークと考えています。 波が伝播しないといけませんしね。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/75
76: １３２人目の素数さん [] 2025/01/24(金) 22:58:31.49 ID:xN3QpiYZ やっとなにがおかしいのかわかってきた。 自然数は有限な数が無限にある。 これを無限な数が無限にあると実装してしまった。 最初から実数と同じ濃度だったわけだ。 非加算無限な自然数や整数。ペアノの公理をちょっといじればでてくるだろう。 実数と同じかどうかはさておいて、濃度は実数と同じだ。 おそらく、すでに名前がついていて、数学的対象として存在しているはずだ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/76
77: １３２人目の素数さん [] 2025/01/25(土) 23:10:59.91 ID:4E4w0gBm ある種の型システムのクラスを組み込んだ集合論は、 内部集合論と整合性がとれるのかどうか。 内部集合は非標準な元を含む。 この場合、たとえば自然数という無限集合にはすべての元を含む有限部分集合が存在するらしい。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/77
78: １３２人目の素数さん [] 2025/01/25(土) 23:39:09.13 ID:4E4w0gBm と、ここで混乱してきた。 有限という用語が立場によっては無限を含む。 数学の用語はわかりにくい。 だいたい、自然数に非標準の最大（量）であるωを含めた集合は有限集合なのか無限集合なのか。 標準の自然数の集合は無限集合だけど、 非標準の自然数の集合は、要素が無限にあってもωがあるから有限集合のようだ。 ならば非標準な値を含むω進数あるいはアレフ進数がつくれる。 そうなってくるとアレフは絶対的ではなく相対的な階層となるだろう。半端なアレフだって構成可能になる。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/78
79: １３２人目の素数さん [] 2025/01/26(日) 14:24:48.85 ID:a5V7ZknE ωを非標準な数とすると、ω進数というのはおかしい。 非標準な場合、ωはその桁の最大（最小はω/1）であり、∞進数あるいはℵ進数がよいのかもしれないが、 誤解されなければω進数と呼ぶのが手ごろだ。 また、１進数を考えるなら、0（空位）と無（無記）も区別しなければならないだろう。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/79
80: １３２人目の素数さん [] 2025/01/26(日) 17:57:57.93 ID:Cr0bdJy3 ま、ねぇー いかなる自然数Nについて 2^N = M となるMはモチロン存在するワケで そりゃ、実数と整数は同じでかさなのだ。 1.41421356・・・を1000000・・・倍すりゃ 141421356・・・0 という整数になるぜ ここで無限桁目はモチロン0 だって二乗すると 20000000000000・・・・0だしさ、 無限桁目はモチロン0でとにかく、 無限桁-1桁目もモチ0でとにかく、 無限桁-99999999桁目もモチ0でとにかく 全部ゼロ あ、そっか、√2は0に等しいぢゃーーーん ま、前々から薄々気づいてたが 全ての実数はゼロに等ようぢゃ。 ぢゃーバイバイ👋 また今度お会いしません。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/80
81: １３２人目の素数さん [] 2025/01/26(日) 22:27:08.91 ID:a5V7ZknE ω進数で考えると、実数といえども桁の階層を２つ使っているだけでは（真の）連続ではない。 真の実数が存在するとすれば、アレフワンなんていう濃度では足りないだろう。 ルート２やπなど、現在考えられているアレフワンの実数上には無いのかもしれない。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/81
82: １３２人目の素数さん [] 2025/01/27(月) 22:54:50.75 ID:4jQv/6wg やっと可算鎖条件から非可分空間でも直積位相を加えたものにたどりついた。 これなら、離散と連続を自然にマッピングできる。 実数を構成しているのは波だ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/82
83: １３２人目の素数さん [] 2025/01/29(水) 00:02:35.95 ID:hv/ronlR 集合の色としてクラスを与えると、選択公理は集合の集合における元としての集合の元の寄せ集めを扱う。 少なくとも、基本となる同じ色を持っているという公理だ。 ある種の型を持つクラスシステムは、選択公理必須かもしれない。 整列可能でなければクラスシステムはつくれないし、 整列から整列への変換が計算だし、 もしかして、クラスシステムと選択公理は等価（等価は数学用語ではない）か？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/83
84: １３２人目の素数さん [] 2025/01/30(木) 08:53:04.70 ID:QuLZIzWr ω進数を考えていたが、 先行する考えとしてp進数というものが存在していた。 p進数の議論の中にはωに言及しているものもあるようなので、 論文を探して調べてみたいものだ。 （pは基本的に素数だが、ωは非標準な最大量や無限遠方という違いがある） http://rio2016.5ch.net/test/read.cgi/math/1734536295/84
85: １３２人目の素数さん [] 2025/01/30(木) 23:39:54.22 ID:QuLZIzWr ZFC(Cは必須)で、置換公理をクラスの公理とみなすなら、 数はクラスとω変数と四則演算から構成することができる。 そんな気がしてきた。 とりあえず実装してみて問題点を探ってみようと思う。 圏論を数学的対象とすれば、それも構成可能かもしれない。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/85
86: １３２人目の素数さん [] 2025/02/01(土) 10:43:42.05 ID:rMrnSNJC 対角線論法の集合版をみてみると、それはラッセルのパラドックスである。 X∉X これを自己射を持たないと考えるなら、自己同一性を持たず、対象にはならないということになる。 X∈Xであることは、対象/存在として必須である。 ZFに必要なのは自己同一性の公理だろう。 そうすることで選択公理も自然に含まれることになると思う。 パラドックスや矛盾は、自己同一性の問題なのではないだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/86
87: １３２人目の素数さん [] 2025/02/01(土) 10:49:59.54 ID:rMrnSNJC 自己同一性を観測すると波や粒子になり、 観測されないと量子（状態）になる。 哲学や数学は、自己同一性(/存在/認識)を巡る壮大な物語だ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/87
88: １３２人目の素数さん [] 2025/02/02(日) 12:52:29.28 ID:UGG2gNE5 空集合の公理から作り直す必要があるだろう。 UNIXのディレクトリ構造のように、それ自身を示す「.」や親を示す「..」は、必ず存在する。 （rootの場合、..は、存在しないか、.と同じか、あるいは...） http://rio2016.5ch.net/test/read.cgi/math/1734536295/88
89: １３２人目の素数さん [] 2025/02/02(日) 18:04:13.61 ID:UGG2gNE5 自然数（整数・有理数）が有限な数の無限な集まり、だとすれば、 実数は何の集まりなのか？ 無限な数の無限な集まり、とすれば、その集まりは加算無限になる。 有限な数の無限な集まりのさらに無限な集まりではアレフワンになる。 半端なアレフも不可能ではないと思う。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/89
90: １３２人目の素数さん [] 2025/02/02(日) 20:11:59.87 ID:UGG2gNE5 加算じゃねーや可算だ。変換ミスってる。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/90
91: １３２人目の素数さん [] 2025/02/02(日) 21:56:35.38 ID:UGG2gNE5 標準的な数学の枠組みから外れれば、可算濃度と連続体濃度の間ともいえる濃度が定義できてしまう。 クラスとクラス間の広義(/濫用)のタイヒミュラー空間があればよい。 量子論とクラスで数学の未解決問題はすべて解けそう/溶けそうな期待。 とりあえず、わたしの対角線論法の問題は完了。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/91
92: １３２人目の素数さん [] 2025/02/03(月) 00:18:54.40 ID:MZJGI3Th アホな妄想してないで キチンと作れよ http://rio2016.5ch.net/test/read.cgi/math/1734536295/92
93: １３２人目の素数さん [] 2025/02/16(日) 12:37:21.81 ID:h7kaTwsX にしても、実数を集合とした場合、シリコン上に記述するのはむつかしい。 素朴クラス論を考える。 集合とは同じクラスに属するものの集まりである。としてしまう。 数学という宇宙が、無矛盾で滑らかであるとすれば、 整数と実数も滑らかにつなげることができるだろう。 数学とはそのような技術だ。 以前考えていた０の除算と草原の違いを調べていたら、滑らかなクラスのイメージがでてきたので考察中。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/93
94: １３２人目の素数さん [sage] 2025/02/16(日) 15:28:02.46 ID:h11RscxA テグマークのレベル4のマルチバース、数学的に無矛盾な宇宙は全て存在しているって考えは自然なものだと思うけど、最後の最後、なんでいつから宇宙は実在したの? って疑問は残るよね 完全な無があったとしたら、そこに数学的な原理を実現するための媒体すらないわけで http://rio2016.5ch.net/test/read.cgi/math/1734536295/94
95: １３２人目の素数さん [] 2025/02/16(日) 23:22:16.20 ID:h7kaTwsX 前草原の定義をみていたら、 0⋅(x+y)=0⋅x⋅y だった。 当たり前のようだが、前草原では0x≠0である。 IUTいらないんじゃない？ 宇宙際じゃなくてクラス際でABC予想は、いけそうな気もする。 ただ、草原で、環の束を組み換えられるかどうかは知らん。 クラス際タイヒミュラー空間で遺伝子組み換え？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/95
96: １３２人目の素数さん [] 2025/02/17(月) 14:08:01.22 ID:L8l/08H4 ちょっと勘違いした。 これは、classのbaseとなる定義のひとつで、defaultの定義だった。 ただたんにdefaultでは演算が潰れるということ。 草原は、環における（広義の/濫用の)（クラス際）タイヒミュラー空間のようだ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/96
97: １３２人目の素数さん [] 2025/02/19(水) 00:28:50.70 ID:P0hqbzck 草原って、多世界解釈のような体か？ 0除算が入ると、どうも量子論っぽくなって来る。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/97
98: １３２人目の素数さん [] 2025/02/21(金) 11:45:25.33 ID:S4NLoPPI うむ http://rio2016.5ch.net/test/read.cgi/math/1734536295/98
99: １３２人目の素数さん [] 2025/02/24(月) 01:08:32.68 ID:QEQKaDfg 数学も、無矛盾であるかぎりは（なにを保存するのかはさておいて）保存則を満たしている必要がある。 同じ濃度の対象間には（広義の/濫用の）タイヒミュラー空間がある/なければならない。 おそらく、異なる濃度であってもタイヒミュラー空間を置くことは可能だ。 量子論的なパズルになるだろう。数学は一度破壊して、量子論的に組み立てなおす必要がありそうだ。 0は0ではなく、x-xだ。大きさ、あるいは量子状態を持っている。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/99
100: １３２人目の素数さん [] 2025/02/24(月) 23:54:49.84 ID:QEQKaDfg x-xはx+(-x)であり、0は粒子と反粒子からなるのだ、と考えるのがおもしろい。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/100
101: １３２人目の素数さん [] 2025/02/25(火) 00:13:05.03 ID:AEMEsyC6 無限集合が存在する、という公理を取り下げたらそのとたんに、可算無限も非可算無限も消えてなくなりそう。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/101
102: １３２人目の素数さん [] 2025/02/25(火) 00:51:03.26 ID:fk0iOph9 無限集合も保存則を満たすしているべきであり、 なんらかの保存則を満たす枠組みのなかでしか集合になれない、と考える。 無限公理は空集合を扱うので保存則を満たしている。 自然数の集合も、保存則を満たしている。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/102
103: １３２人目の素数さん [] 2025/02/25(火) 01:04:30.20 ID:fk0iOph9 「す」がひとつ余計に入ってしまった。これは...「鬆」だ。 超弦理論の泡なのか。マルチバースか。 草原はfoamなのかもしれない。輪はひとつの泡だ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/103
104: １３２人目の素数さん [] 2025/02/25(火) 11:15:50.47 ID:yDSE9PTE 命題全体は不可算個 対角線論法が使えるのは可算個 http://rio2016.5ch.net/test/read.cgi/math/1734536295/104
105: １３２人目の素数さん [sage] 2025/02/27(木) 09:26:13.49 ID:RO1DCX8K 0除算を解決しないと、可算無限と非加算無限をなめらかにつなげられないと考えて、 輪や草原に手を伸ばしたが、いまひとつだ。 数学も保存則に従う。そう考えて、0をブラックホールとみなしてブラックホール情報パラドックス、 すなわち量子論を使用するのがベターであろうということでやってみている。 0除算をなめらかに解決するための、情報の保存方法はできあがったのだが、 計算から保存へのなめらかさが足りない。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/105
106: １３２人目の素数さん [sage] 2025/02/27(木) 09:44:49.34 ID:RO1DCX8K 0の乗算側はなめらかだが、0^-1の乗算（0除算）側がなめらかではない。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/106
107: １３２人目の素数さん [sage] 2025/02/27(木) 12:06:58.53 ID:H/Ako3NW 堆肥村連呼の無内容さに大草原 http://rio2016.5ch.net/test/read.cgi/math/1734536295/107
108: １３２人目の素数さん [] 2025/02/28(金) 09:19:11.09 ID:vAwIR1dt 0をブラックホールとみなすならば、∞側はホワイトホールだ。 0を宇宙検閲官仮説によるものとすれば、∞側も検閲とは異なる方法で隔離されている。 censorの反対だからuncensoredではなくpublisherかpromotorになるだろう。 宇宙出版社仮説。 とりあえず、負の値など考えずに検閲官と出版社をつないでみる。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/108
109: １３２人目の素数さん [sage] 2025/03/01(土) 00:52:27.40 ID:1BH20S5f つないだら、おかしなことが起こった。 数全体の位相がシフトした感じ。 それはそうとして、N*0*0やN*0^-1*0^-1をどう解釈するか。 なめらかに対応させたい。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/109
110: １３２人目の素数さん [sage] 2025/03/01(土) 21:55:42.36 ID:1BH20S5f 0^nを考えたら、以前考えたω進数と同じものになった。 とりあえず、0*0=0、0^-1*0^-1=0^-1として、それ以上増えないようにすると、 三元数のようなものができた。 0除算可能な体になっているかどうかは未検証だ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/110
111: １３２人目の素数さん [] 2025/03/02(日) 09:45:11.79 ID:G8T3Ppzl 三次元球面を回転させるには四元必要なのと同様に、 0除算のために二次元球面を扱うので三元必要となるのだと思います。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/111
112: １３２人目の素数さん [] 2025/03/03(月) 23:39:56.52 ID:4jtIG8nd 0*0の情報も保存すると考えるなら、三次元球面となり、四元必要となるだろう。 分解型四元数かもしれない。 そうなってくると時間に相当するものもあらわれてくるかもしれない。 いや、数こそが時間に相当するものだろう。 これを並進対称性と考えるなら、それをうみだす超対称性構造があるのかもしれない。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/112
113: １３２人目の素数さん [sage] 2025/03/05(水) 00:44:14.07 ID:BAF0rKb1 うーん、０除算を含めて実数を拡張するとアレフ無限になって、これが真の連続体濃度のような気がしてきた。 ω連続体とでもするならば、その濃度はアレフωだ。 ω進数を考えて、その上で0除算を定義してみた（数学的ではなく計算機科学的に）のだが、 さらにω進進数やω進進進数など無限に考えられて、さらにそれを取り込んだ進数も考えられて、留まるところがない。 超越連続体？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/113
114: １３２人目の素数さん [] 2025/03/08(土) 01:10:00.36 ID:4BxFsH0d 点をいくら集めても、そのままでは緻密ではあるが連続体ではない。 実数（概念）そのものが、（広義の）タイヒミュラー空間を含んでいる。 実数（概念）は、無限の微分構造を定義しうるなんらかの四次元構造なのであろう。 実数はエキゾチックだ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/114
115: １３２人目の素数さん [sage] 2025/03/19(水) 00:13:51.28 ID:SvON/mC0 コーシー列の収束先がワイン・ボトル型ポテンシャルを持っていたら。 と、考えた。 デデキントの切断もポテンシャルで考えてみると、 実数というものは近似値であり、リアルではなくイマジナリーだ。 実数クラスは、大きさをもった紐として実装するのがよいのかもしれない。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/115
116: １３２人目の素数さん [] 2025/03/27(木) 13:38:22.31 ID:giJ2yR1h 単位正方形の対角線の長さは近似値？イマジナリー？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/116
117: １３２人目の素数さん [] 2025/03/27(木) 16:11:23.35 ID:LwB+2UTD それはイマジナリであって、リアルではない。 リアルをあらわすのに実数を使用するということは近似にすぎないのではないか、 と考える数学者が何人かいる。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/117
118: １３２人目の素数さん [] 2025/03/27(木) 17:00:16.59 ID:giJ2yR1h つまり単位正方形はイマジナリであって、リアルではないってこと？ じゃあ何がリアルなの？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/118
119: １３２人目の素数さん [sage] 2025/03/28(金) 00:31:40.96 ID:nF4Br82e 数学はリアルではなく想像上のもの。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/119
120: １３２人目の素数さん [] 2025/03/28(金) 04:44:43.59 ID:hcnJjnZJ 宇宙もそう http://rio2016.5ch.net/test/read.cgi/math/1734536295/120
121: １３２人目の素数さん [] 2025/03/28(金) 05:55:56.70 ID:uhwxXcOv だから何がリアルなの？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/121
122: １３２人目の素数さん [sage] 2025/03/29(土) 01:39:01.93 ID:gWSNP8tc 実数直線は実在しない。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/122
123: １３２人目の素数さん [] 2025/03/29(土) 03:55:36.34 ID:ZhBpJWJz 何が実在するの？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/123
124: １３２人目の素数さん [] 2025/03/29(土) 09:05:58.66 ID:1oVIyLGF 122にはその問いの意味が 理解できないだろう http://rio2016.5ch.net/test/read.cgi/math/1734536295/124
125: １３２人目の素数さん [] 2025/03/29(土) 14:57:45.11 ID:ZhBpJWJz 「ZF公理系で存在可能な集合は実在する」ならば実数は実在する。直線上の点であって原点からの距離が実数であるようなもの全体の集合を実数直線とするなら実数直線も実在する。 実在の定義が不明なままで何がしかの実在性を論じても無意味なだけ。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/125
126: １３２人目の素数さん [sage] 2025/03/29(土) 20:10:54.83 ID:gWSNP8tc それは数学的実在のほうですね。 実際の実在というものを考えると数学的実在は近似にすぎないのではないか、 というのが（わたしではなく）、リーマンなどの数学者たちが抱える疑念。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/126
127: １３２人目の素数さん [] 2025/03/29(土) 21:32:22.53 ID:ZhBpJWJz 実際の実在って何？ 何は実際に実在するの？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/127
128: １３２人目の素数さん [] 2025/03/29(土) 23:19:54.00 ID:1oVIyLGF 実際の実在ではなく 実在する実際 http://rio2016.5ch.net/test/read.cgi/math/1734536295/128
129: １３２人目の素数さん [] 2025/03/29(土) 23:19:59.03 ID:1oVIyLGF 実際の実在ではなく 実在する実際 http://rio2016.5ch.net/test/read.cgi/math/1734536295/129
130: １３２人目の素数さん [sage] 2025/03/30(日) 07:11:12.55 ID:e8bpbGjG その数学者の、数学的実在ではない主観的な客観的実在というのが正確かな。 一般的には物理学的（客観的）実在。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/130
131: １３２人目の素数さん [] 2025/03/30(日) 10:25:02.15 ID:FUJ0A+Kn 客観的な主観的実在が現実であろう http://rio2016.5ch.net/test/read.cgi/math/1734536295/131
132: １３２人目の素数さん [] 2025/03/30(日) 11:09:33.13 ID:mIbpJ09b https://ja.wikipedia.org/wiki/%E3%83%99%E3%83%AB%E3%81%AE%E4%B8%8D%E7%AD%89%E5%BC%8F コペンハーゲン解釈では、ベルの不等式の破れをある種の実在性の否定ととらえ、測定前の物理量は実在しないと解釈する。ただし測定前の物理量が存在しないにもかかわらず、EPR相関のように、どこかで測定を行うと、そこから遠く離れた場所の物理量も確定するという非局所性が存在する http://rio2016.5ch.net/test/read.cgi/math/1734536295/132
133: １３２人目の素数さん [] 2025/04/24(木) 16:10:43.33 ID:6HG7LcYh 自分が存在しなくてもこの世は有るのか、それとも自分が存在しなくなればこの世も 無いのか、などと考えたことはないだろうか？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/133
134: １３２人目の素数さん [sage] 2025/04/24(木) 17:44:33.67 ID:Fck+Zdga 哲学板へどうぞ http://rio2016.5ch.net/test/read.cgi/math/1734536295/134
135: １３２人目の素数さん [] 2025/05/25(日) 15:17:09.20 ID:VDrW4/yA １桁ごとに2^n増えていくにも関わらず対角線論法するおかしさを欧米数学者は気づかなかったのか。欧米人は九九どころか引き算もできないのに高等数学も、へったくれもない。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/135
136: １３２人目の素数さん [] 2025/05/27(火) 18:37:37.11 ID:QldHiLh8 通常の計算機やチューリングマシンのモデルでは、可算無限の記憶を持つが、 もしもこれを、非可算無限の記憶を持てるように拡張したら、どれだけ能力が 上がるだろうか？ たとえば普通なら、aを配列として、配列の添字としては自然数nをとり a[n]の形で配列の要素を参照するわけだが、 それをcを配列として、配列の添え字として実数xを許して c[x]の形での配列要素の参照を可能とする。ここで実数ｘとは 浮動小数点数のことではなくて、数学としての実数とする。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/136
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.539s*