前スレ58より

0980 132人目の素数さん
2025/11/15(土) 11:25:47.43

・0657 132人目の素数さん
2025/10/22(水) 00:08:26.07

>>47の境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったから記念書き込み

https://ideone.com/WMpA9b

これ通るってことは、やっぱりIUTは合ってると思う

https://live.lean-lang.org/
で試してどうぞ

⚫︎
以下 このスレでの感想
(>>658)->666

・658
>657へ
多分だけど 無意味だと思った

・659

>そもそもiutは通常の言語法則や推論規則で書かれていない
それは本人談なのだから間違いない.
なので既存の言語法則や推論則に則っているかのチェックなど意味ない
じゃあどんなツールで検証したらいいかというと検証不能
なぜならそもそもどんなルールでかかれているのかどこにも載ってないし誰も書いていない 検証不能の文章 


・660
>という指摘をしたら
「学部・院生レベルの初等理論についての深刻な無知さを宣言している」
って罵倒されそうw 


・661
>そういう割には本人基礎論サッパリ感あるけどな

・662
> オカルトマニアさん.こんばんわ
数学でなくIUTのオカルト性(トンデモ)の特徴を表しているとは思います。
ただしIUT提唱者によるとIUTの不定性は理論の緩みで例が量子力学の不確定性原理だそうで量間=量子力学は間違っている.にあと一歩。
一方、オカルトマニアさんの観測と意識は公理として両立するとの議論もありこの点は微妙です