Inter-universal geometry と ABC予想 (応援スレ) 55

Inter-universal geometry と ABC予想 (応援スレ) 55at MATH

Inter-universal geometry と ABC予想 (応援スレ) 55 - 暇つぶし2ch161:１３２人目の素数さん
21/06/17 08:58:00.22 40Ayiq4a.net
>>118
>圏論は、高階論理と繋がっているんだ
「なんかわかんねーけど、二階は一階より上だ」
と思うのが愚か
こんな奴に限って
なぜ、一階論理の充足可能性問題が決定不能か
すら全く理解できない
地に足がついてない上っ面の知識なんて無駄だし無意味

次ページ