메뉴 건너뛰기




Volumn 44, Issue 7, 2005, Pages 1053-1065

From Heisenberg to Gödel via Chaitin

Author keywords

[No Author keywords available]

Indexed keywords


EID: 29144487387     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10773-005-7081-8     Document Type: Conference Paper
Times cited : (21)

References (35)
  • 2
    • 0012323096 scopus 로고    scopus 로고
    • Mathematical jujitsu: Some informal thoughts about Gödel and physics.'
    • Barrow, J. D. (2000). Mathematical jujitsu: Some informal thoughts about Gödel and physics.' Complexity 5(5) 28-34.
    • (2000) Complexity , vol.5 , Issue.5 , pp. 28-34
    • Barrow, J.D.1
  • 4
    • 0037189793 scopus 로고    scopus 로고
    • Chaitin Ω numbers, Solovay machines and incompleteness
    • Calude, C. S. (2002a). Chaitin Ω numbers, Solovay machines and incompleteness. Theoretical Computer Science 284, 269-277.
    • (2002) Theoretical Computer Science , vol.284 , pp. 269-277
    • Calude, C.S.1
  • 7
    • 29144478744 scopus 로고
    • Santa Fe Institute Report 94-10-056, Santa Fe, NM
    • Casti, J. L. and Traub, J. F. (1994) (eds.), On Limits, Santa Fe Institute Report 94-10-056, Santa Fe, NM.
    • (1994) On Limits
    • Casti, J.L.1    Traub, J.F.2
  • 9
    • 0016532771 scopus 로고
    • A theory of program size formally identical to information theory
    • Received April 1974; reprinted in: Chaitin, 1990, 113-128
    • Chaitin, G. J. (1975a). A theory of program size formally identical to information theory. Journal of the Association of Computing Machinery 22, 329-340. (Received April 1974; reprinted in: Chaitin, 1990, 113-128.)
    • (1975) Journal of the Association of Computing Machinery , vol.22 , pp. 329-340
    • Chaitin, G.J.1
  • 10
    • 0002034420 scopus 로고
    • Randomness and mathematical proof
    • Chaitin, G. J. (1975b). Randomness and mathematical proof. Scientific American 232(5), 47-52.
    • (1975) Scientific American , vol.232 , Issue.5 , pp. 47-52
    • Chaitin, G.J.1
  • 14
  • 15
    • 0036501660 scopus 로고    scopus 로고
    • Computers, paradoxes and the foundations of mathematics
    • Chaitin, G. J. (2002). Computers, paradoxes and the foundations of mathematics. American Scientist 90(March-April), 164-171.
    • (2002) American Scientist , vol.90 , Issue.MARCH-APRIL , pp. 164-171
    • Chaitin, G.J.1
  • 17
    • 0004008146 scopus 로고    scopus 로고
    • Allen Lane, Penguin Press, New York
    • Deutsch, D. (1997). The Fabric of Reality, Allen Lane, Penguin Press, New York.
    • (1997) The Fabric of Reality
    • Deutsch, D.1
  • 20
    • 34347193348 scopus 로고
    • Über formal unentscheidbare sätze der principia mathematica und verwandter
    • Received 17 November 1930
    • Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter. Systeme Monatshefte für Mathematik und Physik 38, 173-198. (Received 17 November 1930)
    • (1931) Systeme Monatshefte für Mathematik und Physik , vol.38 , pp. 173-198
    • Gödel, K.1
  • 21
    • 0001307290 scopus 로고
    • Computability and physical theories
    • Geroch, R. and Hartle, J. B. (1986). Computability and physical theories. Foundations of Physics 16(6), 533-550.
    • (1986) Foundations of Physics , vol.16 , Issue.6 , pp. 533-550
    • Geroch, R.1    Hartle, J.B.2
  • 22
    • 79959589793 scopus 로고    scopus 로고
    • Gödel and the end of physics
    • Cambridge, UK, July
    • Hawking, S. W. (2002). Gödel and the End of Physics, Dirac Centennial Celebration, Cambridge, UK, July, http://www.damtp.cam.ac.uk/strtst/ dirac/hawking/.
    • (2002) Dirac Centennial Celebration
    • Hawking, S.W.1
  • 24
    • 0009448302 scopus 로고
    • Über den anschaulichen inhalt der quantentheoretischen kinematik und mechanik
    • Received 23 March 1927
    • Heisenberg, W. (1927). Über den Anschaulichen Inhalt der Quantentheoretischen Kinematik und Mechanik. Zeitschrift Für Physik 43, 172-198. (Received 23 March 1927)
    • (1927) Zeitschrift für Physik , vol.43 , pp. 172-198
    • Heisenberg, W.1
  • 25
    • 0004205622 scopus 로고
    • English translation in Princeton University Press, Princeton
    • English translation in J.A. Wheeler and H. Zurek (1983) (eds.), Quantum Theory and Measurement, Princeton University Press, Princeton, pp. 62-84.
    • (1983) Quantum Theory and Measurement , pp. 62-84
    • Wheeler, J.A.1    Zurek, H.2
  • 26
    • 0001044725 scopus 로고
    • Zur quantenmechanik einfacher bewegungstypen
    • Kennard, E. H. (1927). Zur Quantenmechanik einfacher Bewegungstypen. Zeitschrift für Physik 44, 326-352.
    • (1927) Zeitschrift für Physik , vol.44 , pp. 326-352
    • Kennard, E.H.1
  • 27
  • 28
    • 29144502253 scopus 로고
    • Einstein, gödel, bohr
    • Peres, A. (1985). Einstein, Gödel, Bohr. Foundations of Physics 15(2), 201-205.
    • (1985) Foundations of Physics , vol.15 , Issue.2 , pp. 201-205
    • Peres, A.1
  • 29
    • 0010644208 scopus 로고
    • Is quantum theory universally valid?
    • Peres, A. and Zurek, W. H. (1982). Is quantum theory universally valid? American Journal of Physics 50(9), 807-810.
    • (1982) American Journal of Physics , vol.50 , Issue.9 , pp. 807-810
    • Peres, A.1    Zurek, W.H.2
  • 30
    • 0002281062 scopus 로고    scopus 로고
    • A version of Ω for which Z F C can not predict a single bit
    • C. S. Calude and G. Pǎun, eds., Springer-Verlag, London
    • Solovay, R. M. (2000). A version of Ω for which Z F C can not predict a single bit. In C. S. Calude and G. Pǎun, eds., Finite Versus Infinite. Contributions to an Eternal Dilemma, Springer-Verlag, London, pp. 323-334.
    • (2000) Finite Versus Infinite. Contributions to An Eternal Dilemma , pp. 323-334
    • Solovay, R.M.1
  • 31
    • 29144441152 scopus 로고    scopus 로고
    • Computational universes
    • in press. May
    • Svozil, K. (in press). Computational universes, CDMTCS Research Report 216, May 2003;
    • (2003) CDMTCS Research Report , vol.216
    • Svozil, K.1
  • 33
    • 29144480917 scopus 로고    scopus 로고
    • Private communication to Calude, 8 February
    • Svozil, K. (2004). Private communication to Calude, 8 February.
    • (2004)
    • Svozil, K.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.