Comment Re:Cross-posting/cross-reading (Score 1) 519
You could try SGPlus. It integrates Facebook and Twitter into Google+.
His argument was more like: "Human are capable of recognizing when an algorithm will halt (or not); computers are not; therefore thought cannot be reduced to computation".
Collatz conjecture. Beat that!
Line Printer paper is strongest at the perforations.