The future of post-human mathematical logic

zbMATH Open1347.00057MaRDI QIDQ2826604FDOQ2826604

Authors: Peter Baofu 

Publication date: 17 October 2016

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

Mathematics Subject Classification ID

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

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)