fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 2 days agoIn this essay...mander.xyzexternal-linkmessage-square48fedilinkarrow-up1431arrow-down17
arrow-up1424arrow-down1external-linkIn this essay...mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 2 days agomessage-square48fedilink
minus-squareBjörn@swg-empire.delinkfedilinkEnglisharrow-up6arrow-down2·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.
minus-squareCompassRed@discuss.tchncs.delinkfedilinkEnglisharrow-up1·1 day agoPropositional logic as a system is both complete and consistent.
I 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.
Propositional logic as a system is both complete and consistent.