New directions in the foundations of mathematics (2002)

DOI10.1007/978-3-319-00966-7_3MaRDI QIDQ5261838zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cited in

(1)

• A mathematical picture language project

Describes a project that uses

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)