A minimal computational theory of a minimal computational universe

DOI10.1007/978-3-319-72056-2_3zbMath1503.03011OpenAlexW2770964829MaRDI QIDQ1709687

Liron Cohen, Arnon Avron

Publication date: 6 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_3

zbMATH Keywords

formalized mathematicscomputational theoriescomputational universesrudimentary set theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30)

Related Items

Unnamed Item