Hacker News new | ask | show | jobs
by hughesjj 556 days ago
But how else would I power this machine that outputs theorems?
2 comments
dogboat 556 days ago
Erdős found stronger drugs
link
NooneAtAll3 556 days ago
become comathematician and turn cotheorems into ffee
link