22/04/28 19:35:48.17 v4vJlTHY.net
>>980
ハァ？
1023:１３２人目の素数さん
22/04/28 20:06:30.98 /DbX+kFA.net
>>980
そもそも直観主義論理に、そうやって命題に対して一つの真理値を割り当てるような意味論って存在するの？
1024:１３２人目の素数さん
22/04/28 20:21:07.51 J2tXLzft.net
作れなくはないでしょ？
ただそれだと完全性定理が成立するかどうかが微妙になるって事じゃないの？
1025:１３２人目の素数さん
22/04/28 20:24:04.00 J2tXLzft.net
イヤイヤ当たり前だな
普通のブール代数の意味論なら排中律が恒真だけど排中律は定理式でないからブール代数に意味論を制限する限り完全性は成り立たなくなる
1026:１３２人目の素数さん
22/04/28 20:27:48.24 37/SqDmQ.net
直観主義論理なのでブール代数ではないよ？
1027:１３２人目の素数さん
22/04/28 20:28:13.62 37/SqDmQ.net
>>982
はぁ
1028:１３２人目の素数さん
22/04/28 20:29:48.24 37/SqDmQ.net
>>983
簡単なものとしては3値論理だね
1029:１３２人目の素数さん
22/04/28 20:31:44.17 37/SqDmQ.net
>>985
直観主義論理も完全ですよ？
完全かつ健全
1030:１３２人目の素数さん
22/04/28 20:36:10.75 oq75KvzG.net
強制法勉強しようかと思ったんですけど、ここに書いてる対称性って反対称性のことですよね？
URLﾘﾝｸ(mathlog.info)
(∀x∈P)(∀y∈P)[x≤y∧y≤x → x=y]
1031:１３２人目の素数さん
22/04/28 20:37:17.90 v4vJlTHY.net
排中律と矛盾律の区別すらつかんのかおまえら
1032:１３２人目の素数さん
22/04/28 21:01:03.50 hKts6vmM.net
>>989
そもそもまず直観主義に基づく言語体系(コレは主義関係ない)と直観主義に基づく公理系(あるいは推論則)がある
この段階では単に「どんなものが命題と呼べますか？証明できる命題はなんですか？」のみの話でかんぜんせいも健全性もクソもない
そして各命題が意味するところの具体的な対象なり関数なり真偽値なりい対応させていく意味論を合わせていく
その際対応させる代数は“古典主義だからブール代数”、“直観主義だから当然ハイディング代数”とくるわけではない、もちろん“古典主義の理論体系にハイディング代数のモデルを対応させたらどうなるか”など考える分には構わない
もちろん直観主義理論に対してブール代数モデルをアプライしても構わない
しかし直観主義理論で意味論をブール代数に限ってしまうと「恒真なのに証明できない」命題ができてしまう、すなわち直観主義論理で完全性を保証するためには従来の古典主義の意味論、個体記号に集合、関数記号に関数を対応させる意味論では不十分だとわかる
そこで“ブール代数”の制限を緩めてより多い代数のクラスで意味論を考える必要がある
という話しがまず前提
その上で「直観主義でブール代数に値を持つ意味論はあるか？」
もちろんyes、しかし完全性を保証するには足りない
1033:１３２人目の素数さん
22/04/28 21:01:48.63 BWdqezfr.net
>>958
>>964
ありがとうございます。
>>964
その説明は色々な本に書いてありますが、なぜそのことから一意性が成り立つことが言えるのかが分かりません。
N を冪零行列とする。
定理の証明中の手続きにしたがって、 P^{-1} * N * P = ジョルダンブロックの直和
と N を変形した場合には、途中に基底をどのように選択しても、右辺が本質的に一意的なのは分かります。
ですが、定理の証明中の手続きによらずに、 P^{-1} * N * P = ジョルダンブロックの直和
と変形できた場合にも、右辺が本質的に一意的になぜなるのかが分かりません。
1034:１３２人目の素数さん
22/04/28 21:06:51.54 hKts6vmM.net
>>993
具体的な例で自分でやって見ればなぜかわかるやろ
例えば同じ6次正方行列
X=C(3,0)⊕C(2,0)⊕C(1,0)
Y=C(4,0)⊕C(1,0)⊕C(1,0)
でrank(X^k), rank((Y^k)がそれぞれどうなるかk=1,2,3入れてやって見ればいい
1035:１３２人目の素数さん
22/04/28 21:14:06.07 oq75KvzG.net
次スレ立てました
ｽﾚﾘﾝｸ(math板)
1036:１３２人目の素数さん
22/04/28 21:15:18.23 BWdqezfr.net
>>994
具体例でやってみるとすると、定理の証明中の手続きにしたがって、ジョルダン標準形に変形することになります。
その場合には、ジョルダン標準形が本質的に一意的になることは理解しています。
例えば、AさんがBさんに冪零行列 N とそのジョルダン標準形と P^{-1} * N * P = ジョルダン標準形となるような P の組を知らせたとします。
Aさんがどのようにして N のジョルダン標準形を得たかは不明とします。
Bさんは、定理の証明中の手続きにしたがって、自分で N をジョルダン標準形に変形したとします。
Aさんのジョルダン標準形とBさんのジョルダン標準形が本質的に等しいことはどうやって証明するのでしょうか？
1037:１３２人目の素数さん
22/04/28 21:30:34.05 37/SqDmQ.net
>>992
完全性の定義は
すべてのモデルで恒真であるものが証明可能
ですよ？
そして直観主義論理も古典論理同様健全かつ完全です
1038:１３２人目の素数さん
22/04/28 21:38:54.46 37/SqDmQ.net
>>992
>もちろん直観主義理論に対してブール代数モデルをアプライしても構わない
ええっと
ブール代数はハイティング代数ですよ？
1039:１３２人目の素数さん
22/04/28 21:40:27.83 +gaZyQqp.net
>>996
だからAさんが計算したらJordanの標準形がXになりました
Bさんが計算したらYになりました
そんな事が起こるのかでしょ？
もちろん答えは起こらない、なぜか、で紹介されてる話が
XとYが同じ行列Aと相似ならXとYも相似にならざるをえず、その場合任意の整数kに対してrank(X^k)とrank(Y^k)は一致しないといけないでしょ？
1040:１３２人目の素数さん
22/04/28 21:40:52.09 +gaZyQqp.net
>>998
そう、だから広げてるんですよ
1041:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 158日 13時間 40分 8秒
1042:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています