Hacker News new | ask | show | jobs
by natalyarostova 2785 days ago
Mathematics is no different. Our brains are simply computers that verify that the system evaluates based on it's rule system. In fact, you can bootstrap an empirical verification of any mathematical proof holding if sufficient human brain-computes evaluate it, and determine it holds.