Comment on In this essay...

<- View Parent
emergencyfood@sh.itjust.works ⁨3⁩ ⁨days⁩ 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.

source
Sort:hotnewtop