Logical models of mathematical texts: the case of conventions for division by zero.

DOI10.1007/s10849-024-09420-wMaRDI QIDQ6661237

J. V. Tucker, J. A. Bergstra

Publication date: 13 January 2025

Published in: (Search for Journal in Brave)

zbMATH Keywords

undecidabilityarithmeticdivision by zerolegal textscommon meadowsillegal textstraditional conventions for writing mathematics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Logical models of mathematical texts: the case of conventions for division by zero.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6661237)