Concepedia

Proof Of Universality

Proof of Universality is a theoretical demonstration that a particular computational model or system can simulate any Turing machine, thereby establishing its computational equivalence to a universal Turing machine within the framework of the Church-Turing Thesis.

15

Publications

1.3K

Citations

25

Authors

19

Institutions

Publications per year

2017–2026

2

Parents

Publications

15

Universality in Elementary Cellular Automata

Matthew Cook · Complex Systems · 2004 · 689 citations · Full text

, , +12

Computationally universal P systems without priorities: two catalysts are sufficient

Rudolf Freund, Lila Kari, Marion Oswald · Theoretical Computer Science · 2004 · 122 citations

, , +3

Universal quantum computation with metaplectic anyons

Journal of Mathematical Physics · 2015 · 101 citations · Full text

, , +12

Universality of Tag Systems with <i>P</i> = 2

John Cocke, Marvin Minsky · Journal of the ACM · 1964 · 95 citations

, , +10

Quadratic dynamical decoupling: Universality proof and error analysis

Wan-Jung Kuo, Daniel A. Lidar · Physical Review A · 2011 · 43 citations · Full text

, , +16

1–5 of 15

Authors

25

  1. ÁR
    Álvaro Romero–Jiménez

    Universidad de Sevilla, Spain

    1 publications · 12 citations

    1

    h-index

  2. JC
    John Cocke

    IBM Research - Thomas J. Watson Research Center, United States

    1 publications · 95 citations

    1

    h-index

  3. LR
    Lev Rozansky

    University of North Carolina at Chapel Hill, United States

    1 publications · 12 citations

    1

    h-index

  4. MJ
    Mario J. Pérez-Jímenez

    Universidad de Sevilla, Spain

    1 publications · 12 citations

    1

    h-index

  5. MC
    Matthew Cook

    Australian National University, Australia

    1 publications · 689 citations

    1

    h-index

1–5 of 25

Institutions

19

  1. Microsoft (United States)

    Redmond, United States

    1 h-index

    1 publications

    101 citations

  2. University of Warsaw

    Warsaw, Poland

    1 h-index

    1 publications

    22 citations

  3. Indian Institute of Technology Bombay

    Mumbai, India

    1 h-index

    1 publications

    26 citations

  4. IBM (United States)

    Armonk, United States

    1 h-index

    1 publications

    95 citations

  5. University of California, Berkeley

    Berkeley, United States

    1 h-index

    2 publications

    68 citations

  6. Western University

    London, Canada

    1 h-index

    1 publications

    122 citations

  7. Georgia Institute of Technology

    Atlanta, United States

    1 h-index

    1 publications

    14 citations

  8. Australian National University

    Canberra, Australia

    1 h-index

    1 publications

    14 citations

1–8 of 19

Venues

  1. Theoretical Computer Science

    2 publications · 148 citations

    2

    h-index

  2. arXiv (Cornell University)

    Repository · 2 publications · 26 citations

    2

    h-index

  3. 1

    h-index

  4. Journal of Mathematical Physics

    1 publications · 101 citations

    1

    h-index

  5. Complex Systems

    1 publications · 689 citations

    1

    h-index

1–5