Mathematics and language

DOI10.1007/978-3-319-21473-3_12MaRDI QIDQ6599254zbMATH OpenFDO

Authors Jeremy Avigad

Publication date 6 September 2024

Full work available at URL https://doi.org/10.1007/978-3-319-21473-3_12

zbMATH Keywords

mathematical languagemathematical objectmathematical practiceproof assistanttheorem prover

Mathematics Subject Classification ID

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

Recommendations

• The reality of mathematics
• Understanding, formal verification, and the philosophy of mathematics
• Praxis matemática: reflexiones sobre la cognición que la hace posible
• scientific article; zbMATH DE number 3924709
• Mathematical proofs

Cited in

(2)

• How to Frame a Mathematician
• Machine learning and information theory concepts towards an AI mathematician

This page was built for publication: Mathematics and language

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