New directions in the foundations of mathematics (2002)

DOI10.1007/978-3-319-00966-7_3zbMATH Open1315.68122OpenAlexW25544600MaRDI QIDQ5261838FDOQ5261838

Stephen Wolfram

Publication date: 8 July 2015

Published in: Mathematics, Computer Science and Logic - A Never Ending Story (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-00966-7_3

Recommendations

• Computable data, mathematics, and digital libraries in Mathematica and Wolfram\(|\)Alpha
• The challenge of computer mathematics
• scientific article
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• From mathesis universalis to provability, computability, and constructivity

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Cellular automata (computational aspects) (68Q80) Mechanization of proofs and logical operations (03B35) General topics in the theory of computing (68Q01) Future perspectives in mathematics (01A67)

Uses Software

• Mathematica
• WolframAlpha

This page was built for publication: New directions in the foundations of mathematics (2002)

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