Re:The Future of Computing: Logic or Biology (2003) [pdf]
by panic on Wednesday July 04, 2018 @05:13PM
(#17459470)
> A theorem is a program we run on our wetware, and if a given wetware runtime doesn’t support the memory or time requirements for a theorem, it won’t run correctly.
You can use a theorem without "running" it, though. The classification of finite simple groups took thousands of pages to prove; it would be pretty inconvenient if you had to read all those pages to use the theorem!
You can use a theorem without "running" it, though. The classification of finite simple groups took thousands of pages to prove; it would be pretty inconvenient if you had to read all those pages to use the theorem!