

One nonstandard is worth infinitely many standards.Notes on motivation and self-improvement.Ultrafilters, Ultraproducts, and Hypernaturals 1: Introduction.Hypernaturals Simplified (Ultra Series 2).Hypernaturals in all their glory (Ultra Series 3).Ultraproducts and Łoś’s Theorem (Ultra Series 4).Infinitely Large Primes (Ultra Series 5).Ultraproducts and Compactness (Ultra Series 6).All About Countable Saturation (Ultra Series 7).Shorter Proof of Countable Saturation (Ultra 7.5).Forcing and the Independence of CH (Part 1).Forcing and the Independence of CH (Part 2).ZFC as One of Humankind’s Great Inventions.
#Pictorial form math verification#
If you need more assistance, you can take a look at this recently discovered drawing of a Klak-Adbmalian calculation proving that True Or False is True.Īnd one final hint: Recently we’ve received verification that the following two calculations are aways valid, no matter what Klak-Adbmalist pictures replace the red and green boxes: It’s worth noting that just as there are multiple ways that ordinary mathematicians can write a given number (2 ⋅ 5 = 8 + 2 = 10), there are many different pictures for any given concept. Can you figure out the answers to the two questions above on the right? The Klak-Adbmalians are very secretive and slow to give up their secrets. This image shows the symbols we’ve figured out so far, as well as a step-by-step calculation of the successor of 1 equaling 2. Translators have so far been able to figure out the symbols for a few basic mathematical concepts, but there are many remaining gaps in our ability to translate Klak-Adbmalist mathematics.

It is entirely pictorial every mathematical concept is translated as a diagram consisting of criss-crossing horizontal and vertical lines, and calculations are manipulations of these diagrams. In the distant land of Klak-Adbmal, cut off from the rest of civilization, mathematicians have developed their own distinctive form of math.
