Foundations for the Working Mathematician, and for Their Computer

DOI10.1007/978-3-030-15655-8_18zbMath1528.03017OpenAlexW2987668437MaRDI QIDQ6075436

Nathan Bowler

Publication date: 20 September 2023

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-15655-8_18

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35)

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
• A fully automatic theorem prover with human-style output
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• Categorical quantum mechanics
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• Exploring Categorical Structuralism
• Set-theoretic foundations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Foundations for the Working Mathematician, and for Their Computer