Computability of physical and mathematical theories | Hacker News Reader