it’s pretty hard to engage

a fun idea is, if godel proves that systems are inconsistent, couldn’t
we use that to make a consistent one by counterproving the proof? kind
9f like find8ng a fixed point in the larger system

Reply via email to