ayustate
23.7K posts
ayustate
@ayustate
ThinkPad E14 Gen3 (AMD), AS-KBPD66/LBK, M-XT4DR 使い。アイドルマスター→オーバードクターA→異動博士ポスドク→とある独法の契約職員（ニンキツキ）→JK
Beigetreten Ocak 2011
26 Folgt140 Follower
>「等式が両辺の結果を述べている」というのは「式の読み方の是非を等式が結果を表している下で判断する」
x.com/ayustate/statu…
用語をその定義でなく語感で用い、しかもその感覚も他人と異なるため通例に合わないことを言う人たちがいる。
ayustate@ayustate
@emdowdayon @LimgTW @makaya_t_math 値という単語を聞くと、2×3=6=3×2を6=6=6と言っているようにに聞こえてしまうみたいで、このショートを解消しそうな説明 >「等式が両辺の結果を述べている」というのは「式の読み方の是非を等式が結果を表している下で判断する」 x.com/ayustate/statu… をしてみました。伝わりませんでしたが。
日本語
@Englandriver @Nanashi_Nozomu ごちゃごちゃ言っているのは集合論と型理論との対比なのだが、一階述語論理と高階直観論理との対比という言葉遣いをしている。
「なにか少しぐらいは正しいことも言っているのだろう…」と思ってしまうのか、それにつられる人がいる。
>専門用語でワードサラダしてるせいで
x.com/ayustate/statu…
ayustate@ayustate
これなんですよねぇ。 >専門用語でワードサラダしてるせいで、素人がテキトーにツッコむと「ツッコむべきところはそこではない」と専門家が言わざるを得ない(これはヤツを擁護してるわけではない)というめんどくさい事態になる場合がある x.com/7danmoroboshi/…
日本語
@Englandriver @Nanashi_Nozomu >一階述語論理 vs 高階直観論理、といった対比の怪しい言葉遣いをする人がいて、それにつられて誤用をしてしまっている人をたまに見かける
x.com/ayustate/statu…
{集合論,型理論}ベースの{古典,直観主義}{一階,高階}{命題,述語}論理、というように全部で16通り（実際はそれ以上）のものがある。
ayustate@ayustate
一階述語論理 vs 高階直観論理、といった対比の怪しい言葉遣いをする人がいて、それにつられて誤用をしてしまっている人をたまに見かけるのでフルの表記を書き残しておくと、前者は古典一階述語論理であり、後者は直観主義高階述語論理である。
日本語
＞高階直観倫理
高階直観「論理」を読み間違えた上で、
「高階直観」を独自解釈したり
「高階直観倫理」という「架空の倫理」の説明を行うのは
止めた方が良いと思いますよ……？
ポロンクセマ@Englandriver
@shinji_kono これ高階直観倫理すら誤解してる可能性があるな 低階直観に固執してる 具体的には、「掛け算＝累加だけ」と主張してる これは実数・物理・連続量で破綻する 高階直観とは、 掛け算は構造を保つ写像、さらに双線形構造として見ることだ 高階直観「倫理」になると、どの直観が適切かを判断する基準だ
日本語
@0315_osami @nozomu_110 4x+4y=4(x+y)でも4x+4y=4x+4yでも正解にする人は、4(x+y)と4x+4yのどちらも4x+4yをできるだけ因数分解したものである、と言っている。
1/2+0.3を0.8でも4/5でも正解にするのと同様に。
日本語
@0315_osami @nozomu_110 2+3+4=5+4を不正解にする人は、5+4が2+3+4をできるだけ計算したものでない、と言っているのと同様に。
「4(x+y)が4x+4yを因数分解したものでないのか」と言う人は「5+4が2+3+4を計算したものでないとでも言うのか」と言いながら「よって、9だけでなく5+4でも正解にせよ」と言っているようなもの。
日本語
