Works in ChatGPT, Claude, or Any AI
Add semantic quote search to your AI assistant via MCP. One command setup.
" "People can be fooled into thinking of mathematics as logical, formal, symbolic reasoning. But this is far from reality...computers are far better at formal computation and formal reasoning, but humans are far better mathematicians.
William Paul Thurston (October 30, 1946 - August 21, 2012) was an American mathematician. He was a pioneer in the field of low-dimensional topology. In 1982, he was awarded the Fields Medal for his contributions to the study of 3-manifolds. From 2003 until his death he was a professor of mathematics and computer science at Cornell University.
Add semantic quote search to your AI assistant via MCP. One command setup.
Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.
I was really amazed by my first encounters with serious mathematics textbooks...I could appreciate that the mathematics was an impressive intellectual edifice, and I could follow the steps of proofs. I assumed that such an elaborate buildup must be leading to a fantastic denouement, which I eagerly awaited -- and waited, and waited. It was only much later, after much of the mathematics I had studied had come alive for me that I came to appreciate how ineffective and denatured the standard ((definition theorem proof)<sup>n</sup> remark)<sup>m</sup> style is for communicating mathematics. When I reread some of these early texts, I was stunned by how well their formalism and indirection hid the motivation, the intuition and the multiple ways to think about their subjects: they were unwelcoming to the full human mind.
Chat naturally about what you need. Each answer links back to real quotes with citations.