Hacker News new | ask | show | jobs
by vatsachak 20 days ago
They have a basis in the formal scale. The cool thing about formal logic is that it's all about physical changes.

Now, the meaning of the statements is definitely human, but the proofs go beyond