対角線論法っておかしくね？ (144ﾚｽ)
上下前次1-新
10: 2024/12/19(木)14:47 ID:IAeGkyRU(1) AAS
>>7-9
ランダム実数の存在公理
11: 2024/12/19(木)17:05 ID:JtkBAiCh(1) AAS
>>7
きもくね？
12: 2024/12/19(木)17:08 ID:D3oSFLTJ(6/6) AAS
>>7
なわけない
>(0,1]として、0.a1a2a3...と全部並べて自然数と対応させればいいんだよね。
13: 2024/12/19(木)23:10 ID:RMnQ+apd(4/4) AAS
これ（実数）は、波だ。
非標準な方法で自然数に対応付けできるだろう。
おそらく、すでに誰かがやっている。
数学は自由だが、量子宇宙から逃れることなどできない。
14: 2024/12/20(金)23:28 ID:FJjQH26q(1) AAS
実数の構成法をかえてみたのだが、また可算無限になってしまった。
ただし、(0,1]の範囲だけの話で、実数全体ではなく、この構成法では実数全体は非可算無限になる。
前回考えたのは可算無限の実数のようなものであり、カニかまのようなほぼ実数である。
数学において実数は存在するが、リアルにおいて実数は存在しないのだろう。
15: 2024/12/21(土)00:14 ID:cY4EdGAH(1) AAS
>>7
よく分からないんだけど、例えば0.11111…に対応する自然数は何になるの？
16(1): 2024/12/21(土)11:52 ID:jPPFprDd(1) AAS
う、可算無限になったほうは、0.111...に対応する自然数を明かしてしまうと、
なにやっているか（トリック）がバレてしまう。
Eudoxus real numberの論文を調査中。これに従った構成法でできそうな雰囲気。
実数が可算無限であるといいはれるだけの証明をなんとか４月１日までに完成させたい。
17: 2024/12/27(金)09:43 ID:zd1m1Phg(1/3) AAS
ここまででわかったことは、
実数を得るのに有理数は必要ない、ということと、
数学にも観測者によって値が変わるものがある、ということ。
アレフ・ゼロの下にアレフ・マイナスワンも想定できると思う。既にある？
18: 2024/12/27(金)10:09 ID:zd1m1Phg(2/3) AAS
数学にも（数学的）観測者（主観）が必要であり、
数学的と考えるなら、客観的主観の誕生といえるだろう。
19(1): 2024/12/27(金)10:38 ID:o+tRL63p(1/2) AAS
>>7
>自然数と実数の１対１対応ってできるよね。
[0,1)の元である無限小数をすべて自然数で附番したとする（仮定）。
ある[0,1)の元xが存在して、
xの小数第1位≠1番目の元の小数第1位
xの小数第2位≠2番目の元の小数第2位
xの小数第3位≠3番目の元の小数第3位
省4
20: 2024/12/27(金)11:10 ID:Lh3Zwbej(1) AAS
>>19
数学的標準の否定から出発している議論の否定としては
不適当ではないか？
21(1): 2024/12/27(金)11:31 ID:o+tRL63p(2/2) AAS
↑
こいつ何言ってんの？
22: 2024/12/27(金)12:58 ID:Q6EI7Cji(1/2) AAS
>>21
19が数学的に正しいことを否定しているのではない。
23: 2024/12/27(金)12:59 ID:x+KXsZsV(1/4) AAS
上品なアタオカ
24: 2024/12/27(金)14:13 ID:Q6EI7Cji(2/2) AAS
坂口安吾は夏目漱石の否定から
出発して「堕落論」を残した。
7が何を残そうとしているかに注意したい。
25: 2024/12/27(金)15:12 ID:zd1m1Phg(3/3) AAS
カントールの対角線論法なども、理解しているつもりだったが、
実際に、プログラムとして実装してみるといろいろな（実装上の）問題がでてくる。
カントールの論文では実数として二進の無限小数を使用しているが、
たとえば√2という実数を無限小数であらわせているといえるのだろうか？
指定された実数に対応する自然数を得る関数を作成しようとしたら、
実数が入力できねーじゃんw
とか考えていたら、有理数を使用しない実数の構成法があった。
26: 2024/12/27(金)15:55 ID:x+KXsZsV(2/4) AAS
非対角線論法はあるのだろうか？
27: 2024/12/27(金)20:02 ID:x+KXsZsV(3/4) AAS
辺論法
28: 2024/12/27(金)20:02 ID:x+KXsZsV(4/4) AAS
小籠包
29: 2024/12/28(土)08:31 ID:4b8Ut97b(1/2) AAS
カントールの対角線論法は問題ないとしても、
実数と無限小数には問題が潜んでいる。
不完全性となる決定不能性と、（数学的）観測者を導入すると不確定性もあらわれる。
（間違っていようとなんだろうと）実数は波である。
波でもあるが、実数はアイデンティティを持った粒子でもある。
30: 2024/12/28(土)09:20 ID:e6+/zOrl(1/2) AAS
ポエムだね、メルヘンだね
31: 2024/12/28(土)09:32 ID:oa5Yr+V9(1) AAS
メロディーのないポエム
32: 2024/12/28(土)09:52 ID:e6+/zOrl(2/2) AAS
上品な連想
33: 2024/12/28(土)11:42 ID:27qHSX8Z(1) AAS
上品な連想から往々にして
新発見が生まれる
記憶のメロディー化とでもいえるだろうか
34(1): 2024/12/28(土)23:57 ID:4b8Ut97b(2/2) AAS
（大/超大）統一理論やラングランズ・プログラムや超弦理論や、その他の統一理論や万物理論をみると、
そこには対称性がある。
これらの理論において最も基本的な要請が対称性である。
ポアンカレに従えば、数学とは異なるものを同じとみなす技術であり、
同じであって、かつ、異なるものは対称性である。
ネーターに従えば、対称性は保存量に関連づけられる。
35(2): 2024/12/29(日)08:52 ID:KD+soCAP(1/5) AAS
関孝和の行列式
幼少時のガウスの計算
これらも対称性の発見の素朴な実例であろう
36: 2024/12/29(日)10:16 ID:KD+soCAP(2/5) AAS
突き詰めると
平方剰余の相互法則になったりする
37(2): 2024/12/29(日)19:19 ID:BkgaaE9E(1) AAS
>>34
複式簿記が保存量のはじまり。
>>35
行列式も行列も複式簿記のほうが先行してる。
38: 2024/12/29(日)19:59 ID:KD+soCAP(3/5) AAS
>>37
パチョーリの著作で行列式が言及されている？
39: 2024/12/29(日)22:13 ID:3Novfna8(1/2) AAS
>>35
>関孝和の行列式
間違ってたって聞いたけど
40(1): 2024/12/29(日)22:18 ID:KD+soCAP(4/5) AAS
間違っていたのは４次の行列式を表す式で
３次は正しい。
それを導いたのは消去法の考え方であり
それは何次でも通用し
本質的にはクラメールの公式と同等である。
41: 2024/12/29(日)22:28 ID:3Novfna8(2/2) AAS
>>40
2次3次間違ってたらそりゃ終わってるわ
0次1次は書いてないんだろうし
42: 2024/12/29(日)22:44 ID:KD+soCAP(5/5) AAS
>2次3次間違ってたらそりゃ終わってるわ
難しい言い方をするね。
3次の行列式を関が発見した時の計算を推測してみると
4次以上でも同様であると考えて
関が多少気を抜いたのではないかと思える。
43: 2024/12/30(月)22:36 ID:UCW3fghK(1) AAS
>>37
kwsk
44: 2024/12/31(火)21:45 ID:7a6M3386(1) AAS
関孝和は終結式も発見した
45: 01/01(水)09:25 ID:SnhQCod3(1/2) AAS
ガウスは割り算の余りとして負の数も許す考えで
平方剰余の相互法則を証明した
46: 01/01(水)09:25 ID:SnhQCod3(2/2) AAS
ガウスは割り算の余りとして負の数も許す考えで
平方剰余の相互法則を証明した
47: 01/01(水)15:38 ID:lq63ve15(1) AAS
地球一周してくるとプラスマイナス一日ズレる
48: 01/03(金)17:05 ID:yVG0G2/e(1) AAS
NHKスペシャルなどみていた（量子もつれ）が、
数というものも波（振動、波動）だとすれば、
自然数・整数・実数は観測者の立ち位置の違いだけなのかもしれない。
このような数を考えると量子もつれや不確定性もある。
訂正
数をこのように考えると、数にも量子もつれや不確定性がある。
49: 01/04(土)09:08 ID:WCjh9xks(1/4) AAS
自然数の構成方法は波(数学)の構成方法でもある。
構成方法は複数ある。
この複数の構成方法から考えれば、
波(物理)も横波縦波だけでなくもっとたくさんあると考えられる。
時空間として認識されているなにものかも、
自然数の構成方法の中にあらわれている。
そのへんを考えると、自然数の構成方法は認識論(数学)でもある。
省1
50: 01/04(土)09:23 ID:NtuKmPC1(1) AAS
ポエムだね、メルヘンだねー
51: 01/04(土)12:04 ID:WCjh9xks(2/4) AAS
{},{{}},{{},{{}}},...
{},{{}},{{{}}},...
もうひとつ、なんか見たような気がするがおぼえていない。
52: 01/04(土)12:11 ID:WCjh9xks(3/4) AAS
超弦理論からは５つのタイプ、
サーストンの幾何化予想からは８つ、
そのくらいはあってもいいし、組み合わせによってはもっとたくさんの
数学的波があると考えられる。
53: 01/04(土)12:14 ID:WCjh9xks(4/4) AAS
７つの基本カタストロフも、離散と連続には不可欠と考えたい。
54: 01/05(日)16:04 ID:m1NE36fi(1) AAS
波としての（自然）数を考える。
スタートとなるものは空（空集合）だ。
なんでもよさそうなのだが、いちばん差し障りがないのが空集合かもしれない。
空集合と点（無定義用語）を考えてみる。
この場合の点は位置など持たない。点のみ。
どちらもアイデンティティのみを持つ。
少なくとも、空集合の公理と外延性の公理を満たしていると考えられる。
省4
55: 01/09(木)09:01 ID:WTXAznd9(1) AAS
空クラスを考える。
クラスを集まりと考えるなら空のクラスもある。
クラスを型と捉えるなら色のないクラスが空であり、無色クラスあたりが適当か。
空集合は集合だからなんらかのクラスがある。（持つとか属するとかではなく、漠然と「ある」）
クラスは集まりではない、そう考えるのがベターだと思う。
集まり（集合）があれば、それは必ずクラスを持つ。
クラスの集まり（集合）はクラスのクラスを持つ。
省1
56: 01/11(土)08:54 ID:WOeyxgDw(1) AAS
やはり、クラスは型と考えるのがすっきりする。
クラスの集まりはクラスの集合である。
クラスを集まりとした場合、同じクラスに属する元の集合である。
異なるクラスの元は集合にならない。
ただし、クラスの継承や複合も考える。
共変・反変・不変（非変）・双変や変性も考えたい。
集合ではなく型システム付きの集合で実数を考えなおす。
57: 01/12(日)09:03 ID:gthwsx4a(1/3) AAS
緻密であっても、それは連続ではない。
とりあえず、limによる連続関数が存在したとしても、
実数すべてで検証できるわけではない。
一様連続関数でも同じだ。
実際の論文ではどうなっているのだろう。疑問だ。
一様連続性でも、緻密であるとしかいえない。
そもそもδの連続性が証明に入っていないのではないだろうか？
省2
58: 01/12(日)09:09 ID:gthwsx4a(2/3) AAS
すなわち、数学的な（一様）連続性の証明は、
クラスが異なるものを混在させており、その部分について不十分のように感じられる。
パラドックスをかかえている可能性がある。（数学屋ではないのであしからず）
59: 01/12(日)10:57 ID:BGKU0JbP(1) AAS
>パラドックスをかかえている可能性がある。（数学屋ではないのであしからず）
数学と相いれない厳しい論理に慣れた立場では？
60: 01/12(日)14:11 ID:gthwsx4a(3/3) AAS
連続だけでは加算無限になるのではないかと思う。
一様連続ならいけそうだが、単純に極限やイプシロン-デルタの二重適用であり、
それで実数の連続性を扱うとパラドックスが生じるのではないかと考える。
まあ、パラドックスを発見しないと話にはならないが。
61: 01/12(日)14:46 ID:By1jwgYu(1) AAS
固有クラスは集合の集まりの中で「大きすぎるもの」
ここでいう「大きすぎるもの」とは、集合全体の集まりと同じ濃度のもの、という意味
ちなみに固有クラスの集まりは、もはや固有クラスですらない
これ、常識な
62: 01/13(月)12:08 ID:ntu2hVd/(1/2) AAS
完備かどうかの問題だった。
limもイプシロンデルタも最初から完備である全逓なので、
わたしの誤謬になる。
連続とか一様連続は実数の定義にはつかえない。最初から実数であることが前提だ。
クラスが異なった。
離散のクラスから連続のクラスへいたるには、完備であることが必要になる。
まず、完備でない集合上での極限やイプシロンデルタを考え、完備な集合上との対応にはなにが必要になるか、
省1
63: 01/13(月)12:11 ID:ntu2hVd/(2/2) AAS
全逓->前提。
4K x 2 にしたので、文字をもっと大きくしなくちゃだわ。
64: 01/13(月)15:37 ID:S0etnbV6(1/2) AAS
直方体の対角線論法ってある？
65: 01/13(月)17:31 ID:S0etnbV6(2/2) AAS
【全逓】
《「全逓信労働組合」の略称》昭和21年（1946）に逓信省職員の労働組合として結成された全逓信従業員組合の後身。
66: 01/15(水)01:34 ID:4yojs8D5(1) AAS
数学的対象を「数」とする立場と、自然数のみを「数」とする立場がある。（それ以外はとりあえず考えない）
無限を考えると、二重ループ以上では、扱いが難しい。
非標準なやりかたで一度、体系の外側から攻める必要がある。（不完全性定理？）
そもそも公理というものが非標準なのかもしれない。
型システムとしてのクラスを使用した公理システムが整備されるべきだと考える。（型付き圏論？ 型付き数学言語？）
67: 01/16(木)00:02 ID:jeEG3yhi(1) AAS
自然数のクラスと実数のクラス間で対応をとるためには、自然数のクラスが２つあれば十分なのか、２つあっても情報が足りないのか。
おそらく情報が足りていない。
この情報を構造と考えるなら、実数は離散数＋構造で構成できる。
構造も離散数とするならば３つの離散数で構成できる。ただし...決定不能性が...もう少し考えよう。
68: 01/18(土)09:48 ID:Ey8R3aB1(1/2) AAS
ある種の型システムを使えば、ラッセルやらカントールやらのパラドックスは構成可能なままに無矛盾に回避される。
集合の集合も集合として構成できるので、大きいとか小さいとかも圏論から除去できる。
異なるクラスを双変にするタイヒミュラー空間のようなものを作れればなんとかなるだろう。
そこにはタイヒミュラーあるいは望月あるいはプリゴジンの魔物が棲んでいる。ワグネルの反乱になってしまうかもしれないが。
数学の証明にエントロピーが入ることになるだろう（予想）。
69: 01/18(土)16:37 ID:Ey8R3aB1(2/2) AAS
単なる型ではないタイプのクラスは強力だ。数学を破壊しかねない。
問題は、量子宇宙にも同様のメカニズムがあるかどうかだ。
これを発見しなければならない。
おそらく、クオークもクラスだ。
なにものかが３つあれば、すべてを構築できるのではないか。なんらかの３つ組。
70: 01/20(月)22:12 ID:N4HREpqq(1/2) AAS
空のクラスは存在するのか。
ある種の型システムによって、真のクラスは存在しない、とする。
クラスは、集まりによって定義されるのだとすれば、
空集合のクラスは色のないクラスだ。
71: 01/20(月)22:53 ID:N4HREpqq(2/2) AAS
無限は存在しない、とする。
記述は有限だ。
数を比較するのではなく、数の公理システムを比較する。
72(1): 01/23(木)00:15 ID:RQMzRIlW(1) AAS
数学が、異なるものを同じとみなす技術である限り、
自然数と実数を同じとみなすことも可能だろうと思う。
型システムによって同型と準同型をシームレスに扱う方法があるのではないかと。
73: 01/23(木)08:22 ID:gsIjQBrb(1) AAS
>>72
ならcondensed math.がおすすめかもしれない
74: 01/24(金)07:09 ID:xN3QpiYZ(1/3) AAS
ありがとうございます。
75: 01/24(金)07:11 ID:xN3QpiYZ(2/3) AAS
ふう、やっと書き込めた。
液体ベクトル空間は、クラスのネットワークと考えています。
波が伝播しないといけませんしね。
76: 01/24(金)22:58 ID:xN3QpiYZ(3/3) AAS
やっとなにがおかしいのかわかってきた。
自然数は有限な数が無限にある。
これを無限な数が無限にあると実装してしまった。
最初から実数と同じ濃度だったわけだ。
非加算無限な自然数や整数。ペアノの公理をちょっといじればでてくるだろう。
実数と同じかどうかはさておいて、濃度は実数と同じだ。
おそらく、すでに名前がついていて、数学的対象として存在しているはずだ。
77: 01/25(土)23:10 ID:4E4w0gBm(1/2) AAS
ある種の型システムのクラスを組み込んだ集合論は、
内部集合論と整合性がとれるのかどうか。
内部集合は非標準な元を含む。
この場合、たとえば自然数という無限集合にはすべての元を含む有限部分集合が存在するらしい。
78: 01/25(土)23:39 ID:4E4w0gBm(2/2) AAS
と、ここで混乱してきた。
有限という用語が立場によっては無限を含む。
数学の用語はわかりにくい。
だいたい、自然数に非標準の最大（量）であるωを含めた集合は有限集合なのか無限集合なのか。
標準の自然数の集合は無限集合だけど、
非標準の自然数の集合は、要素が無限にあってもωがあるから有限集合のようだ。
ならば非標準な値を含むω進数あるいはアレフ進数がつくれる。
省1
79: 01/26(日)14:24 ID:a5V7ZknE(1/2) AAS
ωを非標準な数とすると、ω進数というのはおかしい。
非標準な場合、ωはその桁の最大（最小はω/1）であり、∞進数あるいはℵ進数がよいのかもしれないが、
誤解されなければω進数と呼ぶのが手ごろだ。
また、１進数を考えるなら、0（空位）と無（無記）も区別しなければならないだろう。
80: 01/26(日)17:57 ID:Cr0bdJy3(1) AAS
ま、ねぇー いかなる自然数Nについて
2^N = M となるMはモチロン存在するワケで
そりゃ、実数と整数は同じでかさなのだ。
1.41421356・・・を1000000・・・倍すりゃ
141421356・・・0 という整数になるぜ
ここで無限桁目はモチロン0
だって二乗すると
省9
81: 01/26(日)22:27 ID:a5V7ZknE(2/2) AAS
ω進数で考えると、実数といえども桁の階層を２つ使っているだけでは（真の）連続ではない。
真の実数が存在するとすれば、アレフワンなんていう濃度では足りないだろう。
ルート２やπなど、現在考えられているアレフワンの実数上には無いのかもしれない。
82: 01/27(月)22:54 ID:4jQv/6wg(1) AAS
やっと可算鎖条件から非可分空間でも直積位相を加えたものにたどりついた。
これなら、離散と連続を自然にマッピングできる。
実数を構成しているのは波だ。
83: 01/29(水)00:02 ID:hv/ronlR(1) AAS
集合の色としてクラスを与えると、選択公理は集合の集合における元としての集合の元の寄せ集めを扱う。
少なくとも、基本となる同じ色を持っているという公理だ。
ある種の型を持つクラスシステムは、選択公理必須かもしれない。
整列可能でなければクラスシステムはつくれないし、
整列から整列への変換が計算だし、
もしかして、クラスシステムと選択公理は等価（等価は数学用語ではない）か？
84: 01/30(木)08:53 ID:QuLZIzWr(1/2) AAS
ω進数を考えていたが、
先行する考えとしてp進数というものが存在していた。
p進数の議論の中にはωに言及しているものもあるようなので、
論文を探して調べてみたいものだ。
（pは基本的に素数だが、ωは非標準な最大量や無限遠方という違いがある）
85: 01/30(木)23:39 ID:QuLZIzWr(2/2) AAS
ZFC(Cは必須)で、置換公理をクラスの公理とみなすなら、
数はクラスとω変数と四則演算から構成することができる。
そんな気がしてきた。
とりあえず実装してみて問題点を探ってみようと思う。
圏論を数学的対象とすれば、それも構成可能かもしれない。
86: 02/01(土)10:43 ID:rMrnSNJC(1/2) AAS
対角線論法の集合版をみてみると、それはラッセルのパラドックスである。
X∉X
これを自己射を持たないと考えるなら、自己同一性を持たず、対象にはならないということになる。
X∈Xであることは、対象/存在として必須である。
ZFに必要なのは自己同一性の公理だろう。
そうすることで選択公理も自然に含まれることになると思う。
パラドックスや矛盾は、自己同一性の問題なのではないだろうか？
87: 02/01(土)10:49 ID:rMrnSNJC(2/2) AAS
自己同一性を観測すると波や粒子になり、
観測されないと量子（状態）になる。
哲学や数学は、自己同一性(/存在/認識)を巡る壮大な物語だ。
88: 02/02(日)12:52 ID:UGG2gNE5(1/4) AAS
空集合の公理から作り直す必要があるだろう。
UNIXのディレクトリ構造のように、それ自身を示す「.」や親を示す「..」は、必ず存在する。
（rootの場合、..は、存在しないか、.と同じか、あるいは...）
89: 02/02(日)18:04 ID:UGG2gNE5(2/4) AAS
自然数（整数・有理数）が有限な数の無限な集まり、だとすれば、
実数は何の集まりなのか？
無限な数の無限な集まり、とすれば、その集まりは加算無限になる。
有限な数の無限な集まりのさらに無限な集まりではアレフワンになる。
半端なアレフも不可能ではないと思う。
90: 02/02(日)20:11 ID:UGG2gNE5(3/4) AAS
加算じゃねーや可算だ。変換ミスってる。
上下前次1-新書関写板覧索設栞歴
あと 54 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s