The future of post-human mathematical logic

MaRDI QIDQ2826604zbMATH OpenFDO

Authors Peter Baofu

Publication date 17 October 2016

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Future perspectives in mathematics (01A67)

Recommendations

• Rethinking logic. Logic in relation to mathematics, evolution, and method
• On the role of mathematical logic in mathematical education
• Mathematical logic in knowledge processing. Historical-philosophical reasons for a contextual logic
• On logic and mathematics: some observations on the foundations of mathematics.
• Truth \& knowledge in logic \& mathematics

Cited in

(1)

• AfterMath: The Work of Proof in the Age of Human–Machine Collaboration

This page was built for publication: The future of post-human mathematical logic

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