Reading
SIAI Auxiliary Reading
-
Harrison, J.
1995.
Metatheory and Reflection in Theorem Proving: A Survey and Critique.
Technical Report CRC-053, SRI International Cambridge Computer Science Research Centre.
-
Hastie, R. and Dawes, R. M.
2001.
Rational Choice in an Uncertain World: The Psychology of Judgment and Decision Making.
Sage Publications.
-
Hofstadter, D. R.
1979.
Gödel, Escher, Bach: An Eternal Golden Braid.
Basic Books, 1999.
-
Hutter, M.
2004.
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability.
Springer.
-
Rice, S. H.
2004.
Evolutionary Theory: Mathematical and Conceptual Foundations.
Sinauer Associates.
-
Williams, G. C.
1966.
Adaptation and Natural Selection.
Princeton University Press, 1996.
