Comment on In this essay...
bjoern_tantau@swg-empire.de 3 weeks agoI think it’s true for any system. And I’d say mathematics or just logic are simple enough. Every system stems from unprovable core assumptions.
Comment on In this essay...
bjoern_tantau@swg-empire.de 3 weeks agoI think it’s true for any system. And I’d say mathematics or just logic are simple enough. Every system stems from unprovable core assumptions.
CompassRed@discuss.tchncs.de 3 weeks ago
Propositional logic as a system is both complete and consistent.