We’ve started work on some histograms of the orbits under the logistic family. Code and more pictures at viz.

via butdoesitfloat

Make your own fractals online with Fractal Lab….

via senorgif

via environmentalgraffiti

via imgfave

via ctkrohn

My homie, Dur, pointed out this nice collection of Ulam Spiral pics. The Ulam Spiral describes the picture you get, when you make a spiral of the natural numbers circling all the primes. The basic version looks like this:

via wikipedia

The ctkrohn page also blabs a little about the twin prime conjecture and some recent results of green and tao about the existence of arithmetic prime progressions of arbitrary length. The gist is that we know very little about basic patterns within the primes. My guess is that any reasonable pattern probably exists in there somewhere… probably infinitely often… just a guess tho…

So, now that we developed an idea of sets, we should start classifying them. We’ll start by constructing the natural numbers.

= {0, 1, 2, 3, … }

At this point we only have sets to work with, so we define the empty set as our zero.

0 = ∅ = {}

We take the power set of the empty set and define this set as one.

1 = P(∅) = {∅}

We continue taking power sets to construct the natural numbers

2 = P(P(∅)) = {{∅},∅}

3 = P(P(P(∅))) = {{{∅},∅},{∅},∅}

4 = P(P(P(P(∅))))  …

This gives us a class of sets with a successor operation P which together satisfy the Peano axioms, the essential algebraic properties of the natural numbers. Ie. With this construction mathematicians are able to derive all the known properties of the natural numbers (eg. distributivity).

Even though I’ve ignored some technical details in this construction, this still seems like a lot of work to make the most basic numbers. However, this is an important construction in the foundations of mathematics. Sets are the raw material of math and the natural numbers have significantly more structure. For example, the naturals are well-ordered with unique predecessors. The naturals also admit the binary operations of addition and multiplication. We can’t talk about this structure in a vacuum and that’s why we build these numbers using power sets of the empty set.

We’ll continue from here to talk about the integers and the rational numbers…

Prev: Math I: Sets

Next: Math III: Functions

IMHO mathematics is the study of mathematical elements using the rules of logic. So, the foundational idea of mathematics is a collection of elements known as a set. There are a variety of set theories. For example, naive set theory is perhaps the most intuitive, while ZFC set theory provides the most common axiomatic foundation for math.

The basic idea is that a set is a collection of elements. If a is an element of Z, then we write “a [pmath] in [/pmath] Z”. If the set Z contains the elements a, b, c, then we write this as

Z = {a,b,c}

The number of elements in a set is called the cardinality. The empty set, ∅ = {} , contains no elements and thus has zero cardinality. Next there are finite sets with finite cardinality. Then there are infinite sets of various infinite cardinalities. Georg Cantor hypothesized the continuum hypothesis about possible infinite cardinalities. However, Kurt Godel showed that the continuum hypothesis can neither be proved or disproved using ZFC set theory (Ie. the continuum hypothesis is independent of ZFC).

You can make new sets from existing set using various set operations. For example, if you have one set, you can make subsets or power sets. If you have multiple sets, you can make new sets by using intersections, unions, complements or products. These operations have countless applications. For example, we use power sets to construct the natural numbers and more generally to construct higher cardinalities. We use products of sets to define relations. In particular, the function relation has been used throughout mathematics and the sciences.

From here, I’ll probably write some posts on functions, numbers, infinity, algebra and eventually topology and category theory. I’ll salute Kurt Godel, Georg Cantor and a bunch of other math dudes. Lots of people hated on Cantor for creating set theory and transfinites, but he definitely kept it real throughout.

If you want to solidify your understanding of sets, try these Exercises in Set Theory.

Next: Math II: Natural Numbers

I was trained as a topologist. Since 1904, the Poincare conjecture has been the greatest unsolved problem in topology. In 2002-2003 a Russian mathematician, Grigory Perelman, essentially solved the Poincare conjecture. For his research he was awarded the Field’s medal, which is basically the Nobel prize of mathematics. He was also the first person to solve a Millennium Prize Problem and so he was awarded $1,000,000 from the Clay Math Institute. Grigory then TURNED DOWN both the Field’s medal and the $1,000,000. Grigory hasn’t been too stoked about talking to the media but he basically gave three reasons:

  1. Mathematical research is collaborative. Grigory couldn’t have solved the Poincare conjecture without the work of hundreds of fellow mathematicians. In particular, Grigory’s research relied heavily on the work of Richard Hamilton whom Grigory thought should be a co-recipient of any prizes. “To put it short, the main reason is my disagreement with the organized mathematical community,” Perelman, 43, told Interfax. “I don’t like their decisions, I consider them unjust.”
  2. Grigory did it for the math, not the fame or the money. Topology is an obscure and difficult subject. Grigory was offered fancy jobs at prestigious universities, but he was happier doing research in his hometown of St. Petersburg. The dude just wanted to chill at home with his moms and think about math. “I’m not interested in money or fame,” he is quoted to have said at the time. “I don’t want to be on display like an animal in a zoo. I’m not a hero of mathematics. I’m not even that successful; that is why I don’t want to have everybody looking at me.”
  3. Grigory was pissed at the biters. In 2006 Cao and Zhu published their own “proof” of the Poincare conjecture and declared it “the crowning achievement of the Hamilton-Perelman theory of Ricci flow.” A few months later they published various errata and retracted that “crowning achievement” statement. Grigory tried to keep his cool but made a variety of statements like, “I can’t say I’m outraged. Other people do worse. Of course, there are many mathematicians who are more or less honest. But almost all of them are conformists. They are more or less honest, but they tolerate those who are not honest.”

After all this drama, Grigory has reportedly QUIT professional mathematics. He’s now just another unemployed topologist living with mom. Since this is the last year of my contract with UConn,  I’ll probably be following in Grigory’s footsteps next year – minus the prizes and all…. As a stupidier and less successful topologist, I basically agree with Grigory on all his beefs. But I think he should have given the $1,000,000 to charity. There’s alot of hungry babies out there. Anyway, overall I salute you, Grigory! Keepin it real. 1luv.

My mathemagical homie, Noah, once said to me, “If you throw a dartboard at a number line, you’ll hit a transcendental number with probability one.” In laymen’s terms, according to the laws of probability, you will ALWAYS hit a transcendental number. This was surprising to me because at the time I only knew TWO transcendental numbers, e and pi. All the non-transcendentals from the Naturals to the Algebraic Numbers are countable and therefore have measure zero (ie. non-transcendentals are unhittable by the mathemagicians darts). Check out this list of transcendentals on wikipedia. Alot of those guys are just e or pi disguised as sines or logarithms. Yeah, the Gelfond-Schneider theorem gives us infinitely many transcendentals, but only countably infinite. We’ll never hit probability one at that rate. And frankly those other transcendentals, the Champernowne, Chaitin and Prouhet-Thue-Morse constants are demonic, fantastic and insane.

© 2011 ∅ empty set Suffusion theme by Sayontan Sinha