Tudo se foi um pouco Boa Vontade Caça no Twitter, onde uma conta de prova de equação é a ordem de novidade do dia.

Quem está por trás do @TinyProof está nos fazendo sentir desafiados mentalmente com sua equação de 140 caracteres resolvendo maneiras.

A conta se propõe a provar equações matemáticas complicadas para o seu prazer de twittar, e inclui tais gemas como, "Suponha que f: A -> P (A) esteja em e deixe B = x ∈ A | x ∉ f (x). Por suposição, há um x ∈ A tal que f (x) = B. Então x ∈ B iff x ∉ B. "

Qual é exatamente o que estávamos prestes a twittar. Apreciar.