[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
676(1): 2022/04/28(木)07:36 ID:uVT9WkdK(1/5) AAS
>>675
あれ、ロジシャンには通じへんで
数学者は論理もわからんのかいな
物理学者が数学わからへんのと全く同じやな
682: 2022/04/28(木)18:38 ID:uVT9WkdK(2/5) AAS
>>679
>このスレは、初学者も来るかもしれないので、突っ込んでおく
このスレは、無学者が立てたと専らの噂やで
>「普通の命題論理では論理和と論理積は無限に続くことが許されない」
>は、”普通”定義次第とは思うが、
無学者は∃も∀も知らんらしいから教えとくけど
”無限論理和”と”無限論理積”は
∃ｘＰ（ｘ）と∀ｘＰ（ｘ）で表すんやで
>無限集合を扱う普通の代数学などでは、違うんじゃね？
命題論理なら和積標準形を積和標準形に直すのは力技でできるけど
省3
683: 2022/04/28(木)18:40 ID:uVT9WkdK(3/5) AAS
682は一か所間違えたんで、出し直し
>>679
>このスレは、初学者も来るかもしれないので、突っ込んでおく
このスレは、無学者が立てたと専らの噂やで
>「普通の命題論理では論理和と論理積は無限に続くことが許されない」
>は、”普通”定義次第とは思うが、
無学者は∃も∀も知らんらしいから教えとくけど
”無限論理和”と”無限論理積”は
∃ｘＰ（ｘ）と∀ｘＰ（ｘ）で表すんやで
>無限集合を扱う普通の代数学などでは、違うんじゃね？
省4
684: 2022/04/28(木)18:43 ID:uVT9WkdK(4/5) AAS
>>679
＞公理で定められた各集合の演算は、もともとその回数は無制です
「無制」なんて日本語はじめて聞いたわ
「無姓」なら知っとるけど
685(1): 2022/04/28(木)18:49 ID:uVT9WkdK(5/5) AAS
>>678
＞証明が可読でない
それ証明ちゃうやんｗ
「証明せよ」って問題で、学生が俺様証明とか書くけど
全然証明にもなんにもなってないってようあるこっちゃ
望月新一の証明も、ショルツとかファルティングスから見たら
そんな感じちゃうんけ？ 擬証明ちうんかな？証明モドキ
なんか日本人の中には望月新一がＡＢＣ予想証明したって
自慢したいヤツがいるみたいやけどひっくり返されたどないすんねん
道に落ちてるワケワカラン喰い物拾うて食うたらハラ壊すで
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.175s*