6 ms·
Classical logic is the presumed default for mathematics, if someone is working in a different system they will say so explicitly.
by nyssos 1y ago
Classical logic is the presumed default for mathematics, if someone is working in a different system they will say so explicitly.
- gylterud 1y agoPondering mathematical objects such as BB(n) is exactly the kind of stuff which rooks one’s faith in classical logic.