Book Review: A Mathematical Prelude to the Philosophy of Mathematics.
John StillwellPublished in: Stud Logica (2016)
Keyphrases
- mathematical knowledge
- computer algebra
- computer algebra systems
- artificial intelligence
- computer science
- middle school mathematics
- computer software
- cognitive science
- information processing
- mathematical concepts
- mathematical models
- image processing
- real time
- relational databases
- information technology
- theorem proving
- multimedia
- computer assisted learning
- mathematical expressions
- metadata
- learning algorithm
- machine learning
- real world