QED

De release notes uit de nieuwste versie van wiskunde (versie 2.1.2) tonen een aantal lang verwachte features. Wat is er zoal nieuw in de update?

• Pi now equals exactly 3.
• Fixed problem where division by zero led to undefined results.
• The term “negative number” has been deemed offensive. The term “non-positive non-zero number” is now in use.
• Fixed problem where 1 = .999…
• Now compatible with Microsoft products (65536 <> 65535 <> 100000).
• Fixed the Banach-Tarski cloning glitch.
• Removed the Proof By Contradiction exploit.
• Basic arithmetic is now complete and consistent.
• Fractals have been smoothed out to improve rendering.
• Cantor’s dust has been swept from the servers.
• New valid method of proof: Proof by Example.
• Fixed known bug where Fermat’s Last Theorem failed to hold for n=1 or n=2.
• After a successful beta test in category theory, proof by diagram chasing is now applicable across all of mathematics.
• Mobius Strip fixed to have two sides.
• New Axiom: Axiom of Clarity. If after explaining a proof to someone for 5 minutes, if they still do not understand, they may use the Axiom of Clarity to assert the existence of a proof that your proof is invalid.
• In response to demand, elegant proofs of certain theorems have been shortened that they may fit into the margins of books as commentary.
• “Proof by Wikipedia” is now a valid form of proof.
• For improved security, several composite numbers have been defined as “unfactorisable” for use as RSA keys.
• Probability distributions standardised to all return proven random number “4″.