Аватар - �� Kit Arrowsmith
�� Kit Arrowsmith
флипнуто в PHILOSOPHY
The physical impossibility of machine computations on sufficiently large integers inspires an open problem that concerns abstract computable sets X⊆N and cannot be formalized in the set theory ZFC as it refers to our current knowledge on X  - PhilSci-Archive

The physical impossibility of machine computations on sufficiently large integers inspires an open problem that concerns abstract computable sets X⊆N and cannot be formalized in the set theory ZFC as it refers to our current knowledge on X - PhilSci-Archive

pitt.edu

Kurpaska, Sławomir and Tyszka, Apoloniusz (2020) The physical impossibility of machine computations on sufficiently large integers inspires an open …

Открыть на pitt.edu