-
2
-
-
0012323096
-
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
-
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
-
5
-
-
0036869495
-
Incompleteness, complexity, randomness and beyond
-
Calude, C. S. (2002b). Incompleteness, complexity, randomness and beyond. Minds and Machines: Journal for Artificial Intelligence, Philosophy and Cognitive Science 12(4) 503-517.
-
(2002)
Minds and Machines: Journal for Artificial Intelligence, Philosophy and Cognitive Science
, vol.12
, Issue.4
, pp. 503-517
-
-
Calude, C.S.1
-
6
-
-
29144529775
-
The Poincaré-Hardy inequality on the complement of a Cantor set
-
D. Lpay, I. Gohberg, and V. Vinnikov, eds., Birkhäuser Verlag, Basel
-
Calude, C. S. and Pavlov, B. (2002). The Poincaré-Hardy inequality on the complement of a Cantor set. In Interpolation Theory, Systems Theory and Related Topics. Operator Theory: Advances and Applications, D. Lpay, I. Gohberg, and V. Vinnikov, eds., Vol. 134, Birkhäuser Verlag, Basel, pp. 187-208.
-
(2002)
Interpolation Theory, Systems Theory and Related Topics. Operator Theory: Advances and Applications
, vol.134
, pp. 187-208
-
-
Calude, C.S.1
Pavlov, B.2
-
7
-
-
29144478744
-
-
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
-
8
-
-
0002138694
-
-
Addison-Wesley, Reading, MA
-
Casti, J. L. and Karlquist, A. (1996) (eds.), Boundaries and Barriers. On the Limits to Scientific Knowledge, Addison-Wesley, Reading, MA.
-
(1996)
Boundaries and Barriers. on the Limits to Scientific Knowledge
-
-
Casti, J.L.1
Karlquist, A.2
-
9
-
-
0016532771
-
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
-
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
-
12
-
-
0003781307
-
-
World Scientific, Singapore
-
Chaitin, G. J. ( 1990). Information, Randomness and Incompleteness, Papers on Algorithmic Information Theory, 2nd edn., World Scientific, Singapore.
-
(1990)
Information, Randomness and Incompleteness, Papers on Algorithmic Information Theory, 2nd Edn.
-
-
Chaitin, G.J.1
-
14
-
-
0003602295
-
-
Springer Verlag, Singapore
-
Chaitin, G. J. (1999). The Unknowable, Springer Verlag, Singapore.
-
(1999)
The Unknowable
-
-
Chaitin, G.J.1
-
15
-
-
0036501660
-
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
-
-
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
-
18
-
-
4243235762
-
-
Oxford University Press, New York
-
Feferman, S., Dawson, J., Jr., Kleene, S. C., Moore, G. H., Solovay, R. M., and van Heijenoort, J. (1986) (eds.), Kurt Gödel Collected Works, Vol. I, Oxford University Press, New York.
-
(1986)
Kurt Gödel Collected Works
, vol.1
-
-
Feferman, S.1
Dawson Jr., J.2
Kleene, S.C.3
Moore, G.H.4
Solovay, R.M.5
Van Heijenoort, J.6
-
19
-
-
4243235762
-
-
Oxford University Press, New York
-
Feferman, S., Dawson, J., Jr., Kleene, S. C., Moore, G. H., Solovay, R. M., and van Heijenoort, J. (1990) (eds.), Kurt Gödel Collected Works, Vol. II, Oxford University Press, New York.
-
(1990)
Kurt Gödel Collected Works
, vol.2
-
-
Feferman, S.1
Dawson Jr., J.2
Kleene, S.C.3
Moore, G.H.4
Solovay, R.M.5
Van Heijenoort, J.6
-
20
-
-
34347193348
-
Ü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
-
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
-
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
-
Ü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
-
-
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
-
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
-
-
0040068049
-
-
A. Hermann, K. von Meyenn, and Weiskopf, V. F., eds., Springer-Verlag, Berlin
-
Pauli, W. (1979). In A. Hermann, K. von Meyenn, and Weiskopf, V. F., eds., Wissentschaftlicher Briefwechsel mit Bohr, Einstein, Heisenberg u.a., Vol. 1, Springer-Verlag, Berlin, pp. 1919-1929.
-
(1979)
Wissentschaftlicher Briefwechsel Mit Bohr, Einstein, Heisenberg U.a.
, vol.1
, pp. 1919-1929
-
-
Pauli, W.1
-
28
-
-
29144502253
-
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
-
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
-
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
-
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
-
-
Private communication to Calude, 8 February
-
Svozil, K. (2004). Private communication to Calude, 8 February.
-
(2004)
-
-
Svozil, K.1
|