Hacker News new | ask | show | jobs
by modzu 2150 days ago
yes, i regret using "only"; i meant "only" that theorems are still subject to experimental verification and also a single theorem can support multiple interpretations.