The term is also used to describe some people's ability to grok simple arguments without needing to fall back on formal methods. A trivial example might be the

The term is also used to describe some people's ability to grok simple arguments without needing to fall back on formal methods. A trivial example might be the pigeon hole principle where most people can just "see" that it is true, even though it does require proof. Funnily enough, I was just thinking about this very topic a week ago and scribbled down some notes with slightly less trivial examples: http://www.maths.tcd.ie/~onash/counting_whats_important_files/counting_whats_important.html http://www.maths.tcd.ie/~onash/counting_whats_important_file...