Comment on In this essay...
bjoern_tantau@swg-empire.de 2 days 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 2 days 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 1 day ago
Propositional logic as a system is both complete and consistent.