메뉴 건너뛰기




Volumn 51, Issue 4, 2002, Pages 325-338

Another example of higher order randomness

Author keywords

Infinite computations; Program size complexity; Randomness

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAM LISTINGS; COMPUTER SIMULATION; PROBABILITY; PROBLEM SOLVING;

EID: 0036703961     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (9)

References (15)
  • 3
    • 0001485514 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 12
    • 0013524094 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


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