Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

Provably correct hardware not possible

Posted Nov 21, 2011 23:54 UTC (Mon) by cmccabe (guest, #60281)
In reply to: Provably correct hardware not possible by jhhaller
Parent article: Interview with Andrew Tanenbaum (LinuxFr.org)

"As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality."
- Albert Einstein

(Log in to post comments)