Matemáticamente más allá de nosotros, la cuenta de Twitter te hará sentir estúpido todos los días.

Todo se ha ido un poco Buena Voluntad De Caza en Twitter, donde una cuenta de prueba de ecuaciones es el orden de novedad del día.

Quienquiera que esté detrás de @TinyProof nos hace sentir desafiados a nivel cerebral con su ecuación de 140 caracteres para resolver problemas.

La cuenta se propone demostrar ecuaciones matemáticas complicadas para tu placer de twittear e incluye gemas como "Supongamos que f: A -> P (A) está en, y deja que B = x ∈ Un | X ∉ f (x). Por supuesto, hay una x ∈ A tal que f (x) = B. Entonces x ∈ B iff x ∉ SEGUNDO."

Que es exactamente lo que estábamos a punto de tuitear. Disfrutar.