fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 month agoIn this essay...mander.xyzimagemessage-square46linkfedilinkarrow-up1414arrow-down17
arrow-up1407arrow-down1imageIn this essay...mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 month agomessage-square46linkfedilink
minus-squareemergencyfood@sh.itjust.workslinkfedilinkEnglisharrow-up8·1 month ago you cannot prove a system using the system. Doesn’t that only apply for sufficiently complicated systems? Very simple systems could be provably self-consistent.
minus-squareBjörn@swg-empire.delinkfedilinkEnglisharrow-up5arrow-down2·1 month 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 month agoPropositional logic as a system is both complete and consistent.
Doesn’t that only apply for sufficiently complicated systems? Very simple systems could be provably self-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.