Αν θυμάστε από τα παιδικά σας χρόνια στο σχολείο που χρειαζόταν να αποδείξετε θεωρήματα, θα θυμάστε πως ήταν μεγάλα, πολύπλοκα και … μαθηματικά.
Ο λογαριασμός @TinyProof τουιτάρει θεωρήματα, αυστηρά περιορισμένα στους 140 χαρακτήρες. Έτσι, ένα tweet, φαίνεται κάπως έτσι:
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.
— Tiny Proof (@tinyproof) April 1, 2013
Ξεσκονίστε τα μαθηματικά σας και παίξτε μαζί τους, όσοι έχετε σκουριάσει. Τα μαθηματικά είναι διασκεδαστικά και σίγουρα, απείρως καλύτερα από κάποια καμένα παιχνιδάκια με τα οποία ασχολούμαστε ενίοτε. Όσο για τους twitterάδες; Θέλουμε περισσότερα τέτοια!!
Α, αν είστε από αυτούς που θέλουν επίσης να κάνουν πιο «μαθηματικό» το facebook newsfeed τους, εδώ, θα βρείτε και την fan page του Tiny Proof.
