mathematics 5
- The weak link in autoformalizing mathematics is being sure the formal version captures what the mathematician meant to express.
- At the core of pure mathematics is the human imagination that guides which questions to ask.
Founder and CEO of Wolfram Research, creator of Mathematica and Wolfram|Alpha, and author of A New Kind of Science.
We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.