Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Drunkard's Walk
Leonard Mlodinow
Profit + Purpose
Westaway, Kyle
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Common sense
Paine, Thomas, 1737-1809