nữa, dựa trên duy chỉ đơn thuần lôgic của tính nhất trí, tương đối vật lý không
đòi hỏi chứng minh bằng thực nghiệm.
Chú thích
1*. William J. Borucki, David G Koch, et al. Characteristics of planetary candidates observed by
Kepler, ii: Analysis of the first four months of data. 2011.
2
. Stuart Kauffman. At Home in the ưniverse. Oxford University Press, New York, 1995. P47.
3
. ‘anthropic principle’. Merriam-Webster Online Dictionary.
4
. Roger Penrose. The Emperor's New Mind. Penguin, 1991.
5
. Lavvrence J. Henderson. The íìtness of the environment, an inquiry
into the biological signiíĩcance of the prop- erties of matter. The American Naturalist, 47(554): pp.105
—115, 1913. URL
http://www.jstor.org/stable/2455869.
6
. R. H. Dicke. Dirac’s cosmology and Mach’s principle. Nature, 192(4801): 440-441, Nov 1961
7
. Paul c. Davies. How bio-friendly is the universe? International journal of astrobiology, 2(2):
115-120, Apr 2003.
8
. Stephen Hawking. A Brief History of Time. Bantam Books, 1988. P125.
9
. Paul Davies. The Accidental Universe. Cambridge University Press, 1993
10
. John D. Barrow and Frank J. Tipler. The Anthropic Cosmological Principle. Oxford University
Press, Oxíồrd, 1988.
11
, M.J. Duff. M-theory (the theory íồrmerly known as strings). International Journal of Modern
Physics A, 11: 5623—5642,1996.
I2
. Philip Candelas, Gary Horowitz, Andrew Strominger, and Edward Witten. Vacuum conFigurations
for super- strings. Nuclear Physics B, 258:46-74, 1985.
’
13
. Brian Greene. The Fabric of the Cosmos: Space, Time, and the Texture of Reality. Knopf, New
York, 2004. P372.
14
. Stephen Hawking and Leonard Mlodinow. The Grand Design. Bantani Books, 2012.
15
. Michio Kaku. Parallel Worlds. Doubleday, New York, 2005. P93.
16.
Stephen Hawking and Leonard Mlodinovv. The Grand Design. Bantam Books, 2012. P136.
17.
D. Hilbert and p. Bernays. Grundlagen der Mathematik. Springer, Berlin, 1934.
18.
Một hệ thống hình thức (formal System) hay vi tích phân lôgic (logictal calculus) là bất kỳ hệ thống tư
tưởng trừu tượng được minh xác nào đặt cơ sở trên mô hình toán học. Một hệ thống hình thức không cần
