yoriyuki is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
yoriyuki @yoriyuki

$A \to B$の真であること$A$から$B$が証明できることを混同しがちだよな。「太陽が西から昇るならば猫は3本足である」は真だが、「太陽が西から昇る」を反証できるような膨大な理論を前提にしなければ、「太陽が西から昇るならば猫は3本足である」が証明できるとは言えないだろう。其のような理論があったとしてもRelevantistは証明できるとは思わないだろうが。

· Web · 0 · 1