scientific article; zbMATH DE number 1995139
From MaRDI portal
Publication:4431358
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) First-order arithmetic and fragments (03F30) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30)
Cited in
(5)- Computing the uncomputable; or, the discrete charm of second-order simulacra
- Experimental mathematics, computers and the a priori
- Biological function and the genetic code are interdependent
- Responses to ``Theoretical Mathematics: Toward\\ a cultural synthesis of mathematics and\\ theoretical physics, by A. Jaffe and F. Quinn
- Randomness as an invariant for number representations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4431358)