- 1 名前：１３２人目の素数さん mailto:sage [2018/07/28(土) 04:58:13.63 ID:cuNdeNig.net]
- 数学基礎論は、数学の基礎づけを目的として誕生したが
現在では、数理論理学として、証明論、再帰的関数論、
構成的数学、モデル理論、公理的集合論など、 多くの分野
に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも
若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、
代数幾何学、英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化などを参照）
前スレ
数学基礎論・数理論理学 その12
https://rio2016.5ch.net/test/read.cgi/math/1509638068/
- 446 名前：１３２人目の素数さん mailto:sage [2018/10/31(水) 21:02:36.31 ID:APEXx/Lm.net]
- >>427
どうも
一応入手していつか読もうと思います
- 447 名前：１３２人目の素数さん mailto:sage [2018/11/02(金) 03:29:13.35 ID:91PxBCJX.net]
- 形式的体系についての議論を進める時でも、一部、形式的体系の言語Lを明確に明示的に定める事無く、
ぼんやりとした感じで言語Lを前提としたかのような感じになって、議論を進める人って居ますよね
こういうのは好きじゃない
くどくても言語Lの所からきちんとやって欲しいね
- 448 名前：１３２人目の素数さん mailto:sage [2018/11/02(金) 03:31:49.91 ID:91PxBCJX.net]
- 形式的体系の言語Lの変数記号のリストは
a_0,a_1,a_2,...,a_n,...
である。
として一旦は定めてから、
以後、見やすさの都合上変数記号としてx、y、ｚ、u、、、等も使って良いとする
と断っていくスタイルの方がすんげぇ頭の中にスルッと入ってくる
- 449 名前：１３２人目の素数さん mailto:sage [2018/11/02(金) 08:24:27.41 ID:xb7GbTqB.net]
- >>430
すまん、
0,1,…,n,…とはなんだ？
- 450 名前：１３２人目の素数さん [2018/11/02(金) 08:27:55.54 ID:oA9f+JQU.net]
- >>431
番号
- 451 名前：１３２人目の素数さん mailto:sage [2018/11/02(金) 09:35:27.25 ID:QXzJaN/A.net]
- 番号づけって自然数の集合Nからある集合Aへの写像aで、a(0)をa_0などと呼ぶってことだよな
形式体系を定義する段階で集合とか写像って扱えるのか？
- 452 名前：１３２人目の素数さん [2018/11/02(金) 09:42:17.81 ID:oA9f+JQU.net]
- >>433
別に問題じゃない
- 453 名前：１３２人目の素数さん mailto:sage [2018/11/02(金) 10:49:07.35 ID:JvjPlO0/.net]
- メタと対象ですね
- 454 名前：１３２人目の素数さん mailto:sage [2018/11/02(金) 11:34:37.26 ID:ha8RQU4X.net]
- >>434
kwsk
- 455 名前：１３２人目の素数さん mailto:sage [2018/11/02(金) 12:05:52.90 ID:JvjPlO0/.net]
- それらはメタだからです
- 456 名前：１３２人目の素数さん [2018/11/05(月) 16:55:04.63 ID:YXMj6qLJ.net]
- 実にメタメタだな
- 457 名前：１３２人目の素数さん mailto:sage [2018/11/05(月) 18:38:18.28 ID:6Tv9bMav.net]
- >>437
くっさ
- 458 名前：学術 [2018/11/05(月) 19:48:13.88 ID:L/ZbDetp.net]
- 宇宙んジル
- 459 名前：１３２人目の素数さん mailto:sage [2018/11/06(火) 16:26:43.55 ID:BCtXnUvk.net]
- 漠然として思ってるんだけど、
ゲンツェン流の形式的体系でシーケントを使うのあるじゃないですか
で、カット除去定理の証明に見られるように証明図をグラフ理論でいうところの｢木｣に見立てることってあるじゃないですか
じゃあ、いっそのこと、証明図をグラフ理論の知識を使って解析してほしいなって思うんですよ
- 460 名前：１３２人目の素数さん [2018/11/06(火) 18:23:12.41 ID:+diz5PBl.net]
- >>441
グラフ理論とか大したことしてないンすけど？
- 461 名前：１３２人目の素数さん mailto:sage [2018/11/06(火) 18:40:41.85 ID:vah1Z03K.net]
- 集合論のメタ理論にグラフ理論を使ってるのは見たことあるけど、
まああんまり役に立たないんだろうな
- 462 名前：１３２人目の素数さん mailto:sage [2018/11/06(火) 18:46:24.25 ID:jOazYBXJ.net]
- ５５５
- 463 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 01:35:44.13 ID:hNmG+7MR.net]
- >>443
って事は実はグラフ理論と集合論･証明論の関係の研究は未開拓分野って事かな []- [ここ壊れてます]
- 465 名前：１３２人目の素数さん [2018/11/07(水) 02:28:41.57 ID:oRO0cRNI.net]
- >>445
未開拓というよりか
開拓しても仕方ないって感じ
- 466 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 02:39:44.90 ID:DXrrwGJH.net]
- …
- 467 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 02:40:58.09 ID:hNmG+7MR.net]
- >>446
なんで？
- 468 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 06:41:56.55 ID:hNmG+7MR.net]
- 順序数の話だってグラフ理論と関係あるかなって思った事もあります
順序数って位取り記数法みたいな書き方で一意に展開できるじゃないですか
で、このように展開された順序数と有限な木が一対一に対応してるらしいじゃないですか
じゃあ例えば、自然数の無矛盾性証明では証明図と順序数を対応させて、証明図の書き換えが順序数の変化？に対応してるから超限帰納法を使えるって話だったと思いますが、
有限な木との対応があるなら、グラフ理論の観点からの証明もあっても良いのかなってな気にはなります
- 469 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 06:43:32.90 ID:hNmG+7MR.net]
- 補足
[数学基礎論講義 不完全性定理とその発展]
の125ページ当たりに順序数と木との対応について一言二言触れていました
- 470 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 06:45:52.16 ID:hNmG+7MR.net]
- やっぱ、証明図と有限な木ってめちゃくちゃ対応してる気がするんだけどなぁ～
ゲンツェン流の形式的体系での証明図を見てるといつも思う
- 471 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 06:49:44.52 ID:hNmG+7MR.net]
- カット除去定理の証明では最下式を変えないまま、それより上にある証明図を書き換えて、二重帰納法の仮定を使えるようにする
っていう論法でやってますけど、これが何と言うか…グラフ理論では木の何らかの意味での同型な変換に対応してるんじゃないのかなぁ～っていう感じです。
- 472 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 06:50:46.15 ID:hNmG+7MR.net]
- 俺は全然詳しくないから証明図or順序数 と 有限な木 との関係の話知ってる人居たら教えて欲しいです
- 473 名前：１３２人目の素数さん [2018/11/07(水) 09:09:08.67 ID:oRO0cRNI.net]
- >>448
だからグラフ理論で解明しなくちゃならないほど大したことしてないからだよって
- 474 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 09:47:16.68 ID:WM+Yo4cw.net]
- 証明図はある意味ではグラフですけど、それぞれのノードは意味を持ってるから、グラフ理論みたいなノードを統一的に扱うようなの使っても難しいんじゃないですかね
場合分けが多くなって結局やってること変わらなくなりそうです
まあよくは知らないですけど
- 475 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 09:51:47.43 ID:L0+9zJeL.net]
- 仮にグラフのメタデータと言えるノードの重み付けの行列みたいに整理するとすると、
メタデータのボリュームが異常に大きくなって、逆に複雑になる。
- 476 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 11:31:19.45 ID:hNmG+7MR.net]
- 1つの証明図が与えられた時に、各シーケントを1つのノードにすればいいんじゃないんですか？
定理(最下式)が｢根｣で、始式が｢葉｣というわけですね。つまり、普通にイメージされる木を逆さまにした木を考えます。
例えば、推論規則”カット”に対しては、カットの下式が親ノードで上式の左側のシーケントと右側のシーケントがそれぞれ子ノードに対応する、と。
カット除去定理の証明における二重帰納法は、部分木を帰納法によって｢再整理｣してるようなもんです
- 477 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 11:38:12.36 ID:L0+9zJeL.net]
- >>457
それで、最低限いくつのノードを定義すれば応用できるの？
- 478 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 11:40:40.73 ID:L0+9zJeL.net]
- 結論を導き出す論理的な文章を木構造にまとめることができるってだけの主張にしかなってない。
- 479 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 11:56:10.06 ID:hNmG+7MR.net]
- >>458
>>457では1つの証明図に現れるシーケントの個数=ノードの個数になるね
>>459
だから証明図を木構造で捉える事が出来るんなら、グラフ理論の各種定理や議論を援用して証明図の構造や性質について分析ができるんじゃないの？
だからそんな議論があるなら教えて欲しいって>>453で聞いてる
- 480 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 12:03:32.17 ID:L0+9zJeL.net]
- >>460
証明図の
- 481 名前：シーケントに頼ると応用が効かないだろ、事前に定義しておかないといけない。
整理するだけが目的なら形式化された証明図をテキストマイニングしてグラフ構造に出せばいい。
でもそんな事すると膨大になるのは容易に分かるから議論にならない。
なぜ議論にならないかといえば、膨大なノードを前にして効果的な木構造を分析するアルゴリズムがない。
量子コンピューターの出現を待って。 [] - [ここ壊れてます]
- 482 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 12:16:33.23 ID:hNmG+7MR.net]
- >>461
俺はただ純粋数学的な議論として証明図とグラフの関係を知りたいだけであって効率やアルゴリズムといった側面には関心を持っていないし、
そういう意図でこの話をレスしたわけじゃない
数理論理学の議論では証明図の書き換えによる議論が見られる事があるから、グラフ理論側からの理解が出来るなら知りたいだけ
- 483 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 12:27:59.76 ID:L0+9zJeL.net]
- PC使えば純粋数学じゃないっていうのか？証明図は手順（アルゴリズム）に従わないのか？
バカじゃないのか？一般のグラフじゃなくて木構造使う大きな意味は経路が単純化されるからだ。
グラフ理論持ち出してくるなら最低限のものを仕入れてから書き込め。無知すぎる。
- 484 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 12:46:43.51 ID:hNmG+7MR.net]
- >>463
何一人で熱くなってんのか知らんが、根本的に話が噛み合ってない
>>461で膨大なノードやら効率的やらアルゴリズムやら言ってるけど、そもそもそんな話してない
PC使うから純粋数学かそうでないかとかそんな話もしてない
証明図を使うからアルゴリズムがなんやらかんやらってのもそんな話してない
経路が単純化されるってのがどういうことか知らんが、俺は理論に興味あるだけで量子コンピューターとかのワードが出てくる時点で完全な筋違いだし、俺が言ってる事理解してない
例えて言うなら、ゲーデルの不完全性定理の証明のために形式的体系の各種概念をゲーデル数化して自然数論における議論に持ち込んでるけど、
お前が言ってるのは｢そんなゲーデル数化してもあまりにも膨大な数過ぎる～｣っていうようなもん
俺はそんな事聞いてない
もういい、答えなくて言い。お前に聞いても期待した答えは返ってこない事が分かった
- 485 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 12:54:10.44 ID:L0+9zJeL.net]
- >>464
いや、だからグラフ理論で分析できることはせいぜいがこれぐらいだと言ってるんだが。
- 486 名前：１３２人目の素数さん mailto:sage [2018/11/07(水) 18:33:45.86 ID:Mu9DzDzn.net]
- >>415
＞>>413
＞直観主義でも
＞Q→(P→Q)
＞は恒真なんだけど？
「恒真式」即「論理法則」と考えるのは間違い。
- 487 名前：１３２人目の素数さん [2018/11/07(水) 21:19:46.36 ID:oRO0cRNI.net]
- >>459
だよねー
- 488 名前：１３２人目の素数さん [2018/11/07(水) 21:20:16.09 ID:oRO0cRNI.net]
- >>460
>だから証明図を木構造で捉える事が出来るんなら、グラフ理論の各種定理や議論を援用して証明図の構造や性質について分析ができるんじゃないの？
そんな大したことしてないって
- 489 名前：１３２人目の素数さん [2018/11/07(水) 21:22:19.77 ID:oRO0cRNI.net]
- >>466
は？
Q→(P→Q)
が真であると認めるのかってことを聞いてるだけだよ
そんなことすら言えないの？
- 490 名前：１３２人目の素数さん [2018/11/07(水) 21:24:23.90 ID:oRO0cRNI.net]
- >>466
もうちょっとかみ砕くと
Qが真であると証明されたとしましょうと
そのとき
P→Qも証明されると考えるのかを聞いてます
- 491 名前：１３２人目の素数さん mailto:sage [2018/11/08(木) 11:38:14.97 ID:pf4U07Z+.net]
- ロープの結び方って色々あって、各結び方によって強度があります。
勿論そこで言う強度は力のかかる方向や摩擦という物理的側面からの強度っていう意味ですが、
2つの線がお互いに結び、絡まり合う事によるその複雑さに着目した、元の2つの線に分離しにくさを表す位相的な強度っていう概念はありますか？
- 492 名前：１３２人目の素数さん mailto:sage [2018/11/08(木) 11:38:31.82 ID:pf4U07Z+.net]
- 聞く場所間違えました
- 493 名前：１３２人目の素数さん [2018/11/10(土) 09:45:07.20 ID:pTcwVLLJ.net]
- >>441
線型論理の proof net とかはそういう方向を目指してたね
- 494 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 10:13:35.24 ID:VH0xGtn3.net]
- >>473
perso.ens-lyon.fr/olivier.laurent/pn.pdf
が初心者にも読みやすそうなのでいづれ読んでみます
- 495 名前：１３２人目の素数さん mailto:sage [2018/11/16(金) 21:11:38.94 ID:RWvN5Vn8.net]
- ラッセル－ヒルベルト流にしろ、ゲンツェン流にしろ、[PはＱを内含する]と
［Ｐでないか又はＱである］とが同義であると考えたのが、そもそもの誤り。
Ｐ：［リンカーン大統領は暗殺された］，
Ｑ：［リンカーン大統領 とケネディー大統領はともに暗殺された］
とおいてみよう。ＰはＱを内含しないことは、直観的に見て、明らかである。
即ち、この場合、［ＰはＱを内含する］は偽である。
他方、［Ｐでないか又はＱである］は真である。
一方が偽で他方が真である様な二つの命題が同義である筈はない。
- 496 名前：１３２人目の素数さん mailto:sage [2018/11/16(金) 21:32:36.18 ID:WpNoJk+p.net]
- ■メタトロンコンピュータ
メタトロンを集積回路に使用した量子コンピュータの一種
それまでのデジタル式フォン・ノイマン型コンピュータとは
一線を画す桁違いの演算速度と小型化を両立
演算装置と記憶装置の区別がなくサーキットそのものが
絶えず変化することで演算と記憶を
（量子論的に言えば別の宇宙で）行う
- 497 名前：１３２人目の素数さん [2018/11/16(金) 23:43:36.67 ID:DPo5uqGo.net]
- >>475
Qが証明されたときP→Qも証明されたと考えて良い？
- 498 名前：１３２人目の素数さん [2018/11/18(日) 03:15:21.98 ID:xAvC5L9O.net]
- ＞どうも、M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
＞
＞例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののことと
＞信じられていたのだっただが、これは、どうやら、誤りだったようだ。
＞
＞そして、M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
＞こそが【対偶律】を正しく捉えてたものと考えられる。
＞
＞M_SHIRAISHI氏（たち？）の主張する Logical Reformationは、おそらく、世界を
＞席巻することとなろう。
www.age.ne.jp/x/eurms/
www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
- 499 名前：１３２人目の素数さん [2018/11/18(日) 14:45:00.59 ID:kwIaF479.net]
- >>478
下らんすぎ
- 500 名前：１３２人目の素数さん mailto:sage [2018/11/18(日) 15:04:15.72 ID:Zbpx6t3o.net]
- 10年以上住み着いている有名なトなので
- 501 名前：１３２人目の素数さん [2018/11/18(日) 15:32:01.77 ID:kwIaF479.net]
- >>480
>10年以上住み着いている
すげｗ
- 502 名前：１３２人目の素数さん mailto:sage [2018/11/18(日) 15:52:55.18 ID:gUFKgd+D.net]
- 20年以上続けてるし
> (c) EURMS 1997-2018
- 503 名前：１３２人目の素数さん mailto:sage [2018/11/18(日) 16:00:30.07 ID:Zbpx6t3o.net]
- 20年前だと２ちゃんどころかあめぞうすらないので別の場所でもやっていたということかw
- 504 名前：１３２人目の素数さん mailto:sage [2018/11/18(日) 16:05:42.03 ID:Zbpx6t3o.net]
- どうでもいいが訂正。
20年前だとあめぞうはできて間もない頃か。
まあ1997年にはまだなかった。
- 505 名前：１３２人目の素数さん mailto:sage [2018/11/18(日) 22:10:56.10 ID:NLHMIt6m.net]
- 2000年頃ネットニュースで見かけたがM_SHIRAISHIは論狸家と呼ばれていた(理ではなく狸)
ネットニュース
https://ja.wikipedia.org/wiki/%E3%83%8D%E3%83%83%E3%83%88%E3%83%8B%E3%83%A5%E3%83%BC%E3%82%B9
- 506 名前：１３２人目の素数さん [2018/11/18(日) 22:16:33.44 ID:kwIaF479.net]
- そんな呼称で喜ばせることもないんでは？
ただただ下らんと言ってれば良いだけ
- 507 名前：１３２人目の素数さん [2018/11/21(水) 22:29:57.12 ID:zGTSkZnG.net]
- コチ向かば
ソチがぼけちょる
秋のひだまり
- 508 名前：１３２人目の素数さん [2018/11/21(水) 22:39:29.46 ID:zGTSkZnG.net]
- >>482
＞20年以上続けてるし
≪新千年紀においての論理改革≫
漏れ等 は対象外ってことか？
- 509 名前：１３２人目の素数さん [2018/11/21(水) 22:55:41.73 ID:zGTSkZnG.net]
- ＞㌧デモと見える学説に対しては、、一般論として、我々は慎重でなければならないと思う。
＞
＞学問の歴史を振り返ってみれば、最初は、大多数の人間には、㌧デモと思われていた学説が、
＞のちのち、定説となったものが「実に多い」からだ。
＞
＞有名なところでは、地*球*説にしてしかり、地動説にしてしかり、大陸移動説にしてしかり。
＞
＞ド・プロイの電子波説にしても、提唱された当初は、物理学者一般には「物笑いの種」だった
＞し、また、アインシュタインの特殊相対性理論の場合も、最初は、トップクラス物理学者の中
＞」のごく一部の人に認められただけだったという歴史的事実を直視すべきだろう。
＞
＞ここで、ネット数学四天王と呼ばれている面々について考えてみると、まず、マツシン先生に
＞ついては、見るべき理論は無いので、論外として、イマイ爺の場合は、一応、独自の"理論"は
＞」立てているが、なにせ、「程度が低くて」問題にならない。 むしろ、それを読んだ中・高生
＞に"害"を及ぼす怖れのほうが大きいと思われる。 一方、ヤマジンにの例の"証明"のほうは、
＞㌧デモのままで終わると見て間違いないだろう。
＞
＞注目すべきは、エムシラ理論だろう。 四色定理の証明や不可完全性定理についての論考さえも
＞隅っこ扱いされているような、壮大な理論で、ちょっと判断に迷うが、ひょっとすればひょっと
＞するという気持ちを抱かせる「何か」がある。
＞ 今後、何年後以降からは、世界の論理学の教科書はすべてエムシラ理論に準拠したものになる
＞*かも*知れない。
- 510 名前：１３２人目の素数さん mailto:sage [2018/11/21(水) 23:09:36.96 ID:xrnAfPVn.net]
- アインシュタインは量子力学に懐疑的であった。
- 511 名前：１３２人目の素数さん [2018/11/22(木) 00:31:03.74 ID:lGUA0aZG.net]
- >>490
＞アインシュタインは量子力学に懐疑的であった。
彼は、自身の≪特殊相対性勿論】は落ち論のこと、≪一般性相対性理≫にも
＊懐疑的＊だった。
「統一的場の理論」を追求して、最期はボケて死んだ。
- 512 名前：１３２人目の素数さん [2018/11/22(木) 00:40:11.92 ID:lGUA0aZG.net]
- 論理改革、ベルトランのパラドックスの解決、20 世紀の確率論の基礎を覆す凄い発見、等々、数学に革命をもたらす成果を続々とインターネット上に発表し、２００７年にはかの有名な ｹﾝﾌﾞﾘｯｼﾞで講演を行なった
ネット数学界の誠意大将軍；エムシラ御大（こと、M_SHIRAISHI氏）を、
２ｃｈで盛大に称えようではありませんか！
- 513 名前：１３２人目の素数さん mailto:sage [2018/11/22(木) 00:44:47.23 ID:lGUA0aZG.net]
- エムシラっで女性ではないかって説があるが、どうか？
- 514 名前：１３２人目の素数さん mailto:sage [2018/11/22(木) 00:48:54.41 ID:lGUA0aZG.net]
- ７ヶ国語に訳されている、知る人ぞ知る、確率論の「名著」：－
КУРС ТЕОРИИ ВЕРОЯТНОСТЕЙ
（Борис. В. Гнеденко）
英訳： THEORY OF PROBABILITY
邦訳： 確率論教程 Ⅰ，Ⅱ （森北出版）
# この本は。確率論にとって、ルベーグ積分などは「無用の長
- 515 名前：物」で
あることを示している。 [] - [ここ壊れてます]
- 516 名前：１３２人目の素数さん mailto:sage [2018/11/22(木) 00:50:22.57 ID:X3G4w3ge.net]
- 構ってちゃんなのは確か
- 517 名前：１３２人目の素数さん mailto:sage [2018/11/22(木) 01:00:43.83 ID:lGUA0aZG.net]
- 今井，山口の両人と M_SHIRAISHI氏との間には“越すに越されぬ溝”がある。
真性のトンデモである、今井や山口には、当然ながら、シンパやファンは
皆無に等しい。しかし、M_SHIRAISH氏にはシンパやファンが大勢（もちろん、
漏もそのうちの一人だが）おり、そして、そうであるからこそ、氏は fj の
常連であることができ、M_SHIRAISH氏が fj に投稿した記事にはフォローが
わんさと付くことがたびたびである。
M_SHIRAISH氏をトンデモ呼ばわりした者には、そう呼んだ当人がトンデモ
であることになるという“皮肉な運命”が待っている。
松本真吾が、M_SHIRAISHI氏の、次の、明快な文章によって、トンデモで
あることを暴露されてしまったのは有名な話である。
>Shingo Matsumoto stupidly wrote in the message:
><8fq1iu$2mi$1@ipc02.rtri.or.jp>
>
>> 命題は基本的には文です。
>
> ばかもん！
>
> # 「‘赤’という漢字で表わされる≪色≫は、基本的には、
> ≪‘赤’という漢字自体≫ のことです」 と言って、小学生
> たち からさえも 笑われたいのか？
> 「‘赤’という漢字で表わされる≪色≫は、≪‘赤’という漢字自体≫
> のことではない」のと同様、
>［赤は光の三原色の一つである］ という文によって表わされる≪命題≫は、
> ≪［赤は光の三原色の一つである］ という、文自体≫ のことではないワ。
>
> このことは、件（くだん）の命題が、文（sentence）としては 全く別のもの
> である、 “Red is a primary colour of light” なる英文でも表わすことが
> できることからしても、明らかなことだ。
- 518 名前：１３２人目の素数さん mailto:sage [2018/11/22(木) 01:58:13.31 ID:1jS1U6D0.net]
- アイ、飲酒したいん
- 519 名前：１３２人目の素数さん mailto:sage [2018/11/23(金) 02:35:22.82 ID:tHlBRNdy.net]
- 【新しい価値論 ( The Theory of Value )】
商品の価値は、その商品を生産する為に消費される energy ( 単位は erg )
即ち、熱量 ( 単位は cal.) によって決定される。
人：Ａ が、自分が所有する商品ａよりも、人：Ｂ が所有する商品ｂの方が
価値が高いと感じ、一方、人：Ｂ は自分が所有する商品ｂよりも、人：Ａ が
所有する商品ａのほうが価値が高いと感じる時、交換が起きる。
ａとｂとが等価値であると Ａ，Ｂ の双方が感じたならば、交換など起きない。
故に、Karl H. Marx ( 1818 – 1883, 65 ↟ ) が完成したと言われている、
労働価値説は完全なる誤謬なり。■
- 520 名前：１３２人目の素数さん mailto:sage [2018/12/01(土) 05:27:52.84 ID:vhNaBkb9.net]
- [Ｐ⊃Ｑ] ⊃ [～Ｑ⊃～Ｐ] は恒真式（tautology）であるが故に
対偶律： 《 [ＰならばＱ] ならば [ＱでないならばＰではない] 》
、 を表わしていると信じられて来た。 しかし、これは誤りであった。
例えば、[Ｐ⊃(Ｑ∨Ｒ)] ⊃[(Ｐ⊃Ｑ)∨(Ｐ⊃R)] はtautologyである
にも拘わらず、《 [Ｐならば(ＱかＲ)] ならば、[ (ＰならばＱである)か、又は(ＰならばRである) ] 》 は
成立しない ■
- 521 名前：１３２人目の素数さん mailto:sage [2018/12/01(土) 08:04:07.87 ID:wA8sRiTg.net]
- ７００
- 522 名前：１３２人目の素数さん [2018/12/01(土) 09:41:00.45 ID:9f0T7I85.net]
- なんか行っちゃってる人多いスレだな
- 523 名前：１３２人目の素数さん mailto:sage [2018/12/01(土) 10:02:14.41 ID:wFNm81h3.net]
- ＞エムシラっで女性ではないかって説があるが
ああ、乃木坂の白石麻衣？
https://www.youtube.com/watch?v=OnE9sJyJK5E
じゃ、漏れはさしずめまなったん（秋元真夏）ってことでｗ
- 524 名前：１３２人目の素数さん mailto:sage [2018/12/01(土) 19:12:42.39 ID:0GNo+JoG.net]
- もう数理論理学(数学基礎論)知ってる人このスレにいないからな
哲学板の集合論スレもここと同じ感じだけど同一人物なんかな
- 525 名前：１３２人目の素数さん mailto:sage [2018/12/02(日) 12:33:38.25 ID:qv3w1hgO.net]
- 藤林丈司
- 526 名前：１３２人目の素数さん [2018/12/03(月) 22:36:33.38 ID:DX6+p7sC.net]
- NHK教育を見て56492倍賢くスピノザ
nhk2.5ch.net/test/read.cgi/liveetv/1543841584/
- 527 名前：１３２人目の素数さん [2018/12/07(金) 14:13:06.47 ID:QVsLGMcB.net]
- >>503
ホント、そうだね。
数理論理学の話をしたいね。
今、Jech の set theory を読んでいるんだけど、
generic の separative quotient が generic になることの証明が省かれていて、
わからなくて困っています。誰か教えてください。
- 528 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 14:21:44.25 ID:8iv6yMzi.net]
- 基礎論の研究者に聞きたいのですが、
ある定理がACを使って証明出来るのは知られているとした時、
新たにそれがACを使わずに証明出来ると言うことが証明されたら、その証明はどれぐらいの価値がありますか？
…
さっき距離空間の完備化の証明でACを使わないバージョンについてちょっと触れた物なので気になりました。
- 529 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 16:13:26.43 ID:o09VzXw8.net]
- バナッハ・タルスキのパラドックスが、選択公理より真に弱いハーン・バナッハの定理から導かれることが示されたことはある。
特に重要な成果とは見なされていない。
- 530 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 16:36:03.08 ID:8iv6yMzi.net]
- >>508
ありがとうございます。
- 531 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 16:41:19.06 ID:8iv6yMzi.net]
- もう一つ質問なんですが、基礎論を深くはやっていないからこそ抱いてる疑問です。
選択公理は全然自明じゃないから選択公理がないZFでどの程度の証明が出来るかに関心を持つのはごく普通だと思います
でも基礎論の議論(テキスト)でZFC^-という記述でZFCから巾集合公理を除いた物を意味させることがありますが、
巾集合公理はどっからどう見ても自明な公理なのに何でこんな公理を抜いた体型を考えるんですか？
どうせ公理を抜いた体系を考えるなら、正則性公理や置換公理を抜いた体系の方がまだいいような気がド素人には思えてしまいます。
- 532 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 22:27:57.67 ID:RQT2c6Tf.net]
- 「任意の鎖（全順序部分集合）が上界をもつような順序集合は極大元をもつ．」
↓
正しくは、
「全ての全順序部分集合が上界を持つ半順序集合の全ての元は極大元に含まれる。」
- 533 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 01:12:11.75 ID:yh9aYAvL.net]
- ＞選択公理より真に弱い
は、デマ。
- 534 名前：１３２人目の素数さん [2018/12/08(土) 01:14:29.79 ID:yh9aYAvL.net]
- >>508
＞選択公理より真に弱い
は、デマ。
- 535 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 02:46:37.70 ID:HBhr63wm.net]
- >>512-513
選択公理→ハーン・バナッハだが、逆は言えない
- 536 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 04:59:19.86 ID:yh9aYAvL.net]
- ↑キモオタ乙。アホだろ
- 537 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 17:28:34.00 ID:Dg7n5FaO.net]
- ID:yh9aYAvLはいったい何をしたかったんだ？
- 538 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 17:35:01.92 ID:i2ykux+B.net]
- >>506
キューネンだとブール代数値モデルが(理由は書いてあるけど)あまり触れられないから、
separativeは分からないな……
- 539 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 23:44:58.50 ID:yh9aYAvL.net]
- >>516
バッカす
- 540 名前：１３２人目の素数さん [2018/12/09(日) 07:50:26.50 ID:6KAj8UsN.net]
- >>510
考えるのは自由
何ができるか示して
- 541 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 10:33:14.77 ID:8KLyJEnd.net]
- >>510
モデルが豊富だしV=L関連で役に立つからじゃね？
- 542 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 19:53:07.58 ID:Tdx4U760.net]
- >>510
自明かどうかは個人の感想
問題なのは他の公理との関係
ACは正しいと考えられてたが他の公理から示せそうにないので公理化しただけのはなし
だからpowerも他の公理から示せない以上それを仮定するかしないか考えるのは別にいい、それが公理主義
- 543 名前：１３２人目の素数さん mailto:sage [2018/12/12(水) 03:57:44.45 ID:mWsvqRdS.net]
- 「公理主義」という言葉は日本の哲学者が
でっち上げた言葉で、海外の学者は使わないから
注意した方が良いよ。
冪集合の公理を出来るだけ仮定せずに議論を展開するのは
近年の集合論の教科書に多いけど、それは技術的な理由で
そうした方が応用範囲が広がるからだと思う。
納得できないなら最初はあまり気にしなくて良い。
あと和集合や非順序対はモデルを拡大したり
部分構造を取ったりしても不変だけど、
冪集合はそうではなくてかなり自由度をもって変わる、
というのが強制法とかで大事な事なので、後々の展開を
知ってたらZF-Pで話を進めるのが自然に見えてくるとは思う。
- 544 名前：１３２人目の素数さん mailto:sage [2018/12/12(水) 07:37:53.57 ID:DejLkXtZ.net]
- 「都合のよい名前」か
あれ定義を見てもよく分からないんだよな……
- 545 名前：１３２人目の素数さん [2018/12/13(木) 21:49:28.17 ID:EmEHan4m.net]
- >>517
このあいだのところは何とか証明できました。
でもその先でまたつまづいています。
- 546 名前：１３２人目の素数さん mailto:sage [2018/12/19(水) 17:56:35.96 ID:KNX1LjEU.net]
- 二人の男が定刻までに
どちらがより多くお金を集めてこれるか
というゲームをしました
一方の男は札束ばかりを集めました
もう一方の男は小銭ばかり大量に集めました
さて、定刻になりそれぞれ集めてきたお金を数えると
札束のほうはすぐに金額がわかりました
札束のほうが金額が多いことは誰が見ても明らかでした
しかし、小銭のほうはあまりにも大量にあったため
その日のうちに数え終わることができず
正確な金額がわかりませんでした
これによりこの勝負は引き分けとなりました
|
 |
