Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture (1994) [pdf]