| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| Computers need proofs by humans | ||||||
| attached to The End of Mathematical Proofs by Humans? | ||||||
| single point of failure | ||||||
| attached to Zinc Whiskers Cripple Colorado's Computers | ||||||
| not surprised if Chaitin did it | ||||||
| Re:Chaitin | ||||||
| attached to Metamath! The Quest for Omega | ||||||
| The Licensed Technologies | ||||||
| attached to Judge Examines Microsoft Settlement Progress | ||||||
"Atomic batteries to power, turbines to speed." -- Robin, The Boy Wonder
