Y
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