Works in ChatGPT, Claude, or Any AI
Add semantic quote search to your AI assistant via MCP. One command setup.
" "[For an unproved Lemma] I had what looked like a promising idea for this, but it was fallacious. In the middle of a three week holiday - mathematics completely below the horizon - the idea came again out of the blue when I was in bed. I forgot it had been rejected as fallacious, and this forgetting did the trick; because this time I noticed that it did prove something, and, by what was nearly, or quite, automatic writing, a proof got written down which deduced the Lemma from the something. ... I did experience automatic writing again. ... my pencil wrote down the formula [omitted] for no reason at all, and almost unattended by consciousness. On the face of it the formula has no apparent connexion with the problem, but it turns out to be an essential key to the proof. ... as if my subconsciousness knew the thing all the time, and finally got impatient.
John Edensor Littlewood (9 June 1885 – 6 September 1977) was a British mathematician, known for his work on mathematical analysis. He had a long collaboration with G. H. Hardy.
Works in ChatGPT, Claude, or Any AI
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.
Enhance Your Quote Experience
Enjoy ad-free browsing, unlimited collections, and advanced search features with Premium.
I had been struggling for two months to prove a result I was pretty sure was true. When I was walking up a Swiss mountain, fully occupied by the effort, a very odd device emerged - so odd that, though it worked, I could not grasp the resulting proof as a whole. But not only so; I had a sense that my subconscious was saying, 'Are you never going to do it, confound you; try this.'