-
1
-
-
0002880954
-
A highly random number
-
C.S. Calude, M.J. Dineen, and S. Sburlan, editors, Springer-Verlag London
-
V. Becher, S. Daicz, and G. Chaitin. A highly random number. In C.S. Calude, M.J. Dineen, and S. Sburlan, editors, Combinatorics, Computability and Logic: Proceedings of the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS'01), Springer-Verlag London, pp. 55-68, 2001.
-
(2001)
Combinatorics, Computability and Logic: Proceedings of the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS'01)
, pp. 55-68
-
-
Becher, V.1
Daicz, S.2
Chaitin, G.3
-
3
-
-
0001485514
-
Chaitin Ω numbers and strong reducibilities
-
C.S. Calude, A. Nies. Chaitin Ω numbers and strong reducibilities, J. UCS 3, pp. 1161-1166, 1997.
-
(1997)
J. UCS
, vol.3
, pp. 1161-1166
-
-
Calude, C.S.1
Nies, A.2
-
4
-
-
0037185197
-
A characterization of c.e. random reals
-
C. Calude. A characterization of c.e. random reals. Theoretical Computer Science 271(1-2), pp. 3-14, 2002.
-
(2002)
Theoretical Computer Science
, vol.271
, Issue.1-2
, pp. 3-14
-
-
Calude, C.1
-
5
-
-
0016532771
-
A theory of program size formally identical to information theory
-
G.J. Chaitin. A theory of program size formally identical to information theory. J. ACM, 22, pp. 329-340, 1975.
-
(1975)
J. ACM
, vol.22
, pp. 329-340
-
-
Chaitin, G.J.1
-
9
-
-
25044472715
-
Is randomness "native" to computer science?. Logic in computer science column
-
M. Ferbus-Zanda and S. Grigorieff. Is randomness "native" to Computer Science?. Logic in Computer Science Column. Bulletin of EATCS, vol 74., pp. 78-118, 2001.
-
(2001)
Bulletin of EATCS
, vol.74
, pp. 78-118
-
-
Ferbus-Zanda, M.1
Grigorieff, S.2
-
10
-
-
0003892123
-
-
Master'S thesis, Dept. of Electrical Engineering, M.I.T., Cambridge, Massachusets
-
L.G. Kraft. A device for quantizing, grouping and coding amplitude modulated pulses. Master'S thesis, Dept. of Electrical Engineering, M.I.T., Cambridge, Massachusets, 1949.
-
(1949)
A device for quantizing, grouping and coding amplitude modulated pulses
-
-
Kraft, L.G.1
-
12
-
-
0013524094
-
Recursion theory
-
reprinted, A.K. Peters, Ltd.
-
J.R.M. Shoenfield. Recursion theory, Lecture Notes in Logic, vol. 1, 1993, reprinted 2001, A.K. Peters, Ltd.
-
(1993)
Lecture Notes in Logic
, vol.1
-
-
Shoenfield, J.R.M.1
-
13
-
-
0000645113
-
Recursion theory and Dedekind cuts
-
R. Soare. Recursion theory and Dedekind cuts. Trans. Amer. Math. Soc., vol. 140, 271-294, 1969.
-
(1969)
Trans. Amer. Math. Soc.
, vol.140
, pp. 271-294
-
-
Soare, R.1
-
14
-
-
77956964279
-
On random r.e. sets
-
A.I. Arruda, N.C.A. da Costa, and R. Chuaqui, editors. North-Holland Publishing Company
-
R.M. Solovay. On random r.e. sets. In A.I. Arruda, N.C.A. da Costa, and R. Chuaqui, editors, Non-Classical Logics, Model Theory and Computability, pp. 283-307. North-Holland Publishing Company, 1977.
-
(1977)
Non-Classical Logics, Model Theory and Computability
, pp. 283-307
-
-
Solovay, R.M.1
-
15
-
-
84960561455
-
On computable numbers, with an application to the Entscheidungsproblem
-
A. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 2nd series, 42, pp. 230-265, 1936.
-
(1936)
Proceedings of the London Mathematical Society, 2nd series
, vol.42
, pp. 230-265
-
-
Turing, A.1
|