Towards a symbolic computational philosophy (and methodology!) for mathematics

DOI10.1007/978-3-319-00966-7_4zbMATH Open1319.03020OpenAlexW112827684MaRDI QIDQ5261839FDOQ5261839

Authors: Doron Zeilberger 

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_4

Recommendations

• scientific article; zbMATH DE number 62481
• scientific article; zbMATH DE number 524093
• scientific article; zbMATH DE number 1822247
• An incompleteness theorem for the natural world
• Artificial Intelligence and Symbolic Computation

zbMATH Keywords

symbolic computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Philosophical and critical aspects of logic and foundations (03A05)

Cited In (2)

• Steps toward a computational metaphysics
• Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects†

Uses Software

• Theorema
• EKHAD
• SumTools

This page was built for publication: Towards a symbolic computational philosophy (and methodology!) for mathematics

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