Mathematically beyond-us Twitter account will make you feel stupid on a daily basis

Let T:X->X be continuous on complete metric space X

It's all gone a bit Good Will Hunting over on Twitter where an equation-proving account is the novelty order of the day.

Whoever's behind @TinyProof is making us feel cerebrally-challenged with its 140-character equation solving ways.

The account sets out to prove complicated mathematical equations for your tweeting pleasure, and includes such gems as, "Assume f : A -> P(A) is onto, and let B = { x ∈ A | x ∉ f(x) }. By assumption, there is an x ∈ A such that f(x) = B. Then x ∈ B iff x ∉ B."

Which is exactly what we were about to tweet. Enjoy.


News Editor (UK)

It's a perpetual challenge among the TechRadar staff to send Kate (Twitter, Google+) a link to something interesting on the internet that she hasn't already seen. As TechRadar's News Editor (UK), she's constantly on the hunt for top news and intriguing stories to feed your gadget lust. And having been immersed in the world of tech and tech rumours for more than six years, she can spot a photoshopped iPhone 8 image from 20 paces.