Superintelligence: Paths, Dangers, Strategies

by Nick Bostrom

debunking the notion that machines could “only think numerically” and showing that machines were also able to do deduction and to invent logical proofs.