Looking from the inside and from the outside

DOI10.1023/A:1005244027724zbMath0969.03008arXivmath/9607203OpenAlexW2070780962MaRDI QIDQ1840996

Stephen Semmes, Alessandra Carbone

Publication date: 18 July 2001

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9607203

zbMATH Keywords

information content of mathematical objectslengths of proofs

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Complexity of proofs (03F20)

Related Items

Asymptotic cyclic expansion and bridge groups of formal proofs, Cycling in proofs and feasibility, Some mathematical, epistemological, and historical reflections on the relationship between geometry and reality, space-time theory and the geometrization of theoretical physics, from Riemann to Weyl and beyond, Turning cycles into spirals, Streams and strings in formal proofs.