1. Über Formal Unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme, I;Monatshefte Math. Phys.,1931
2. Hofstadter, D.R. (1999). Gödel, Escher, Bach: An Ethernal Golden Braid, Basic Books.
3. Whitehad, A.N., and Russell, B. (1927). Principia Mathematica, Cambridge University Press.
4. Wolpert, D.H., and MacReady, W.G. (1995). No Free Lunch Theorems for Search, Technical Report SFI-TR-95-02-010; Santa Fe Institute.
5. No Free Lunch Theorems for Optimization;IEEE Trans. Evol. Comput.,1997