Agüero Trejo, J. M., Calude, C. S., Dinneen, M., Fedorov, A., Kulikov, A., Navarathna, R., & Svozil, K. (2024). How real is incomputability in physics? Theoretical Computer Science, 1003, Article 114632. https://doi.org/10.1016/j.tcs.2024.114632
A physical system is determined by a finite set of initial conditions and “laws” represented by equations. The system is computable if we can solve the equations in all instances using a “finite body of mathematical knowledge”. In this case, if the laws of the system can be coded into a computer program, then given the initial conditions of the system, one can compute the system's evolution. Are there incomputable physical systems? This question has been theoretically studied in the last 30–40 years. In this paper, we experimentally show for the first time the strong incomputability of a quantum experiment, namely the outputs of a quantum random number generator. Moreover, the experimental results are robust and statistically significant.
en
Project title:
Die vielen Facetten der Orthomodularität: I 4579-N (FWF - Österr. Wissenschaftsfonds)
-
Research Areas:
Quantum Modeling and Simulation: 50% Design and Engineering of Quantum Systems: 50%
CC BY-NC 4.0
