1,106 followers
@JDHamkins But they did once, and fruitfully. Did Berkeley perhaps do a disservice with his essay? Or did the use of infinitesimals really lure some mathematicians into serious fallacies? [Also see this: https://t.co/oAR4LVsBuU]
Automated Deduction — CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings
Overview of attention for book