Slashdot Items Tagged "godelstheorem"
Date / Time | Story |
---|---|
Wednesday December 03, 2008 @02:22PM | Quantum Test Found For Mathematical Undecidability |
Friday November 07, 2008 @01:31AM | Achieving Mathematical Proofs Via Computers |
Date / Time | Story |
---|---|
Wednesday December 03, 2008 @02:22PM | Quantum Test Found For Mathematical Undecidability |
Friday November 07, 2008 @01:31AM | Achieving Mathematical Proofs Via Computers |
Thus spake the master programmer: "After three days without programming, life becomes meaningless." -- Geoffrey James, "The Tao of Programming"