eir Decision Problems.” Transactions of the American Mathematical Society 74, no. 2 (1953): 358-66. Ruohonen, Keijo. “Hilbertin Kymmenes Probleema.’ Arkhimedes, no. 1 (1972): 2. Spolsky, J. “The Law of Leaky Abstractions? November 11, 2002. http://www. joelonsoftware.com. Tegmark, Max. “The Mathematical Un