Recent Posts
- Principles of biological computation: from circadian clock to evolution
- The science and engineering of biological computation: from process to software to DNA-based neural networks
- Elements of biological computation & stochastic thermodynamics of life
- Rationality, the Bayesian mind and their limits
- Web of C-lief: conjectures vs. model assumptions vs. scientific beliefs
- Idealization vs abstraction for mathematical models of evolution
- Allegory of the replication crisis in algorithmic trading
- 668,524 views
Join 2,752 other subscribers
Contributing authors
- Abel Molina
- Alexandru Strimbu
- Alexander Yartsev
- Eric Bolo
- David Robert Grimes
- Forrest Barnum
- Jill Gallaher
- Julian Xue
- Artem Kaznatcheev
- Keven Poulin
- Marcel Montrey
- Matthew Wicker
- Dan Nichol
- Philip Gerlee
- Piotr MigdaĆ
- Robert Vander Velde
- Rob Noble
- Sergio Graziosi
- Max Hartshorn
- Thomas Shultz
- Vincent Cannataro
- Yunjun Yang
Mathematical Turing test: Readable proofs from your computer
April 15, 2013 by Artem Kaznatcheev 10 Comments
We have previously discussed the finicky task of defining intelligence, but surely being able to do math qualifies? Even if the importance of mathematics in science is questioned by people as notable as E.O. Wilson, surely nobody questions it as an intelligent activity? Mathematical reasoning is not necessary for intelligence, but surely it is sufficient?
Note that by mathematics, I don’t mean number crunching or carrying out a rote computation. I mean the bread and butter of what mathematicians do: proving theorems and solving general problems. As an example, consider the following theorem about metric spaces:
Can you prove this theorem? Would you call someone that can — intelligent? Take a moment to come up with a proof.
Read more of this post
Filed under Commentary Tagged with Alan Turing, artificial intelligence, Bertrand Russell, cognitive science, cstheory, current events, empirical, intelligence, philosophy of math, realistic model