Review: Proof and Other Dilemmas: Mathematics and Philosophy Mathematical Association of America, Washington, DC, 2008, xxxii + 346 pp., ISBN 978-0-88385-567-6, $53.95. by Bonnie Gold; Roger A. Simons.
Ethan AkinPublished in: Am. Math. Mon. (2010)
Keyphrases
- mathematical knowledge
- theorem prover
- computer algebra
- computer algebra systems
- automated theorem provers
- computer software
- mathematical proofs
- theorem proving
- artificial intelligence
- proof planning
- game theory
- literature review
- current status
- internet access
- natural deduction
- middle school mathematics
- first order logic
- computer science