Skeptophilia (skep-to-fil-i-a) (n.) - the love of logical thought, skepticism, and thinking critically. Being an exploration of the applications of skeptical thinking to the world at large, with periodic excursions into linguistics, music, politics, cryptozoology, and why people keep seeing the face of Jesus on grilled cheese sandwiches.
Showing posts with label fractals. Show all posts
Showing posts with label fractals. Show all posts

Wednesday, March 6, 2024

Arts and sciences

Behind every art is science.

Of course, you can produce beautiful art without knowing any scientific details; the Renaissance masters created gorgeous paintings without knowing the exact chemical composition of their paints.  It's amazing, really, that they accomplished what they did, combining their astonishing talents and aesthetic senses with materials developed using what amounted to trial-and-error.

I wouldn't consider myself an artist, but I do play around with clay, and I've gotten the chance to geek out over the scientific side of pottery -- specifically, glaze chemistry.  Glazes are generally made of four ingredients -- a glass-former (usually some form of silica), a flux (which lowers the melting temperature of the mix and make it flow), a refractory material (to give it stability and viscosity), and a colorant.  One of the first things I learned when I started making pottery, though, is not to assume the final product after firing to 1200 C will be the same color as the raw glaze; in fact, the reverse is usually true.  Here's a kiln load, coated with various raw glazes, before firing:


And the same kiln load after firing:


The changes that occur during firing always strike me as something very like alchemy.  Even knowing a bit about how they work -- and what I know is, honestly, little more than a bit -- there's still an unpredictability about glazes that make them fun, exciting, and occasionally exasperating to work with.

I was reminded of my trials and tribulations -- and occasional triumphs -- with glaze chemistry as I was reading a paper in Proceedings of the National Academy of Sciences - Nexus a couple of days ago.  Called "Marangoni Spreading on Liquid Substrates in New Media Art," and written by San To Chan and Eliot Fried of the Okinawa Institute of Science and Technology, this paper looks at the creation of intricate and beautiful fractal patterns using little more than acrylic ink and paint, water, and rubbing alcohol.

The technique involves applying tiny droplets of thinned acrylic ink onto a painted surface.  The irregularities in the surface draw the liquid away from the point where it is applied, and the design develops as you watch, creating branching patterns resembling snowflakes, neurons, or lightning.  Just as with ceramic glazes, the exact mix of the various ingredients can drastically change the results.  The process works because acrylic paints and inks are thixotropic, meaning that their viscosity changes when they're stirred or shaken (a common thixotropic substance is ketchup -- which is why you have to shake it or it won't pour).  The water and alcohol change the viscosity, and in combining the ingredients there's a sweet spot where the mixture is viscous enough to hold together into threads on the painted surface but not so viscous that it doesn't move.

"In dendritic painting, the droplets made of ink and alcohol experience various forces," said San To Chan, who co-authored the study.  "One of them is surface tension -- the force that makes rain droplets spherical in shape, and allows leaves to float on the surface of a pond.  In particular, as alcohol evaporates faster than water, it alters the surface tension of the droplet.  Fluid molecules tend to be pulled towards the droplet rim, which has higher surface tension compared to its centre.  This is called the Marangoni effect and is the same phenomenon responsible for the formation of wine tears -- the droplets or streaks of wine that form on the inside of a wine glass after swirling or tilting."

"We also showed that the physics behind this dendritic painting technique is similar to how liquid travels in a porous medium, such as soil," said Eliot Fried, the study's other co-author.  "If you were to look at the mix of acrylic paint under the microscope, you would see a network of microscopic structures made of polymer molecules and pigments.  The ink droplet tends to find its way through this underlying network, traveling through paths of least resistance, that leads to the dendritic pattern."

I love knowing the science behind the arts (although I must admit that the mathematics in the paper about dendritic art lost me pretty quickly).  It was great fun, for example, that the fiddler in the band I was in for ten years was a physics professor at Cornell University and taught a class called The Physics of Music -- she more than once told me things about how my instrument worked that I honestly hadn't known (such as why flutes go sharp when they warm up).  

I don't know about you, but knowing the science of how things work enhances my appreciation for their beauty.  I've loved Bach's music ever since I first heard it as a teenager; but now, understanding how fugues and canons are constructed makes my wonderment over pieces like the astonishing A Musical Offering that much more profound.  Likewise, my knowing a little about glaze chemistry enhances my enjoyment of the beauty of the results.

Science itself is beautiful.  And when you combine it with art and music, you have something truly magical.

****************************************



Saturday, February 17, 2024

All set

How long is the coastline of Britain?

Answer: as long as you want it to be.

This is not some kind of abstruse joke, and if it sounds like it, blame the mathematicians.  This is what's known as the coastline paradox, which is not so much a paradox as it is the property of anything that is a fractal.  Fractals are patterns that never "smooth out" when you zoom in on them; no matter how small a piece you magnify, it still has the same amount of bends and turns as the larger bit did.

And coastlines are like that.  Consider measuring the coastline of Britain by placing dots on the coast one hundred kilometers apart -- in other words, using a straight ruler one hundred kilometers long.  If you do this, you find that the coastline is around 2,800 kilometers long.

[Image licensed under the Creative Commons Britain-fractal-coastline-100km , CC BY-SA 3.0]

But if your ruler is only fifty kilometers long, you get about 3,400 kilometers -- not an insignificant difference.

[Image licensed under the Creative Commons Britain-fractal-coastline-50km, CC BY-SA 3.0]

The smaller your ruler, the longer your measurement of the coastline.  At some point, you're measuring the twists and turns around every tiny irregularity along the coast, but do you even stop there?  Should you curve around every individual pebble and grain of sand?

At some point, the practical aspects get a little ridiculous.  The movement of the ocean makes the exact position of the coastline vague anyhow.  But with a true fractal, we get into one of the weirdest notions there is: infinity.  True fractals, such as the ones investigated by Benoit B. Mandelbrot, have an infinite length, because no matter how deeply you plunge into them, they have still finer structure.

Oh, by the way: do you know what the B. in "Benoit B. Mandelbrot" stands for?  It stands for "Benoit B. Mandelbrot."

Thanks, you're a great audience.  I'll be here all week.

The idea of infinity has been a thorn in the side of mathematicians for as long as anyone's considered the question, to the point that a lot of them threw their hands in the air and said, "the infinite is the realm of God," and left it at that.  Just trying to wrap your head around what it means is daunting:

Teacher: Is there a largest number?
Student: Yes. It's 10,732,210.
Teacher: What about 10, 732,211?
Student: Well, I was close.

It wasn't until German mathematician Georg Cantor took a crack at refining what infinity means -- and along the way, created set theory -- that we began to see how peculiar it really is.  (Despite Cantor's genius, and the careful way he went about his proofs, a lot of mathematicians of his time dismissed his work as ridiculous.  Leopold Kronecker called Cantor not only "a scientific charlatan" and a "renegade," but "a corrupter of youth"!)

Cantor started by defining what we mean by cardinality -- the number of members of a set.  This is easy enough to figure out when it's a finite set, but what about an infinite one?  Cantor said two sets have the same cardinality if you can find a way to put their members into a one-to-one correspondence in a well-ordered fashion without leaving any out, and that this works for infinite sets as well as finite ones.  For example, Cantor showed that the number of natural numbers and the number of even numbers is the same (even though it seems like there should be twice as many natural numbers!) because you can put them into a one-to-one correspondence:

1 <-> 2
2 <-> 4
3 <-> 6
4 <-> 8
etc.

Weird as it sounds, the number of fractions (rational numbers) has exactly the same cardinality as well -- there are the same number of possible fractions as there are natural numbers.  Cantor proved this as well, using an argument called Cantor's snake:


Because you can match each of them to the natural numbers, starting in the upper left and proceeding along the blue lines, and none will be left out along the way, the two sets have exactly the same cardinality.

It was when Cantor got to the real numbers that the problems started.  The real numbers are the set of all possible decimals (including ones like π and e that never repeat and never terminate).  Let's say you thought you had a list (infinitely long, of course) of all the possible decimals, and since you believe it's a complete list, you claimed that you could match it one-to-one with the natural numbers.  Here's the beginning of your list:

7.0000000000...
0.1010101010....
3.1415926535...
1.4142135623...
2.7182818284...

Cantor used what is called the "diagonal argument" to show that the list will always be missing members -- and therefore the set of real numbers is not countable.  His proof is clever and subtle.  Take the first digit of the first number in the list, and add one.  Do the same for the second digit of the second number, the third digit of the third number, and so on.  (The first five digits of the new number from the list above would be 8.2553...)  The number you've created can't be anywhere on the list, because it differs from every single number on the list by at least one digit.

So there are at least two kinds of infinity; countable infinities like the number of natural numbers and number of rational numbers, and uncountable infinities like the number of real numbers.  Cantor used the symbol aleph null -- -- to represent a countable infinity, and the symbol c (for continuum) to represent an uncountable infinity.

Then there's the question of whether there are any types of infinity larger than but smaller than c.  The claim that the answer is "no" is called the continuum hypothesis, and proving (or disproving) it is one of the biggest unsolved problems in mathematics.  In fact, it's thought by many to be an example of an unprovable but true statement, one of those hobgoblins predicted by Kurt Gödel's Incompleteness Theorem back in 1931, which rigorously showed that a consistent mathematical system could never be complete -- there will always be true mathematical statements that cannot be proven from within the system.

So that's probably enough mind-blowing mathematics for one day.  I find it all fascinating, even though I don't have anywhere near the IQ necessary to understand it at any depth.  My brain kind of crapped out somewhere around Calculus 3, thus dooming my prospects of a career as a physicist.  But it's fun to dabble my toes in it.

Preferably somewhere along the coastline of Cornwall.  However long it actually turns out to be.

****************************************



Saturday, March 4, 2023

Weird math

When I was in Calculus II, my professor, Dr. Harvey Pousson, blew all our minds.

You wouldn't think there'd be anything in a calculus class that would have that effect on a bunch of restless college sophomores at eight in the morning.  But this did, especially in the deft hands of Dr. Pousson, who remains amongst the top three best teachers I've ever had.  He explained this with his usual insight, skill, and subtle wit, watching us with an impish grin as he saw the implications sink in.

The problem had to do with volumes and surface areas.  Without getting too technical, Dr. Pousson asked us the following question. If you take the graph of y = 1/x:


And rotate it around the y-axis (the vertical bold line), you get a pair of funnel-shapes.  Not too hard to visualize.  The question is: what are the volume and surface area of the funnels?

Well, calculating volumes and surface areas is pretty much the point of integral calculus, so it's not such a hard problem.  One issue, though, is that the tapered end of the funnel goes on forever; the red curves never strike either the x or y-axis (something mathematicians call "asymptotic").  But calc students never let a little thing like infinity stand in the way, and in any case, the formulas involved can handle that with no problem, so we started crunching through the math to find the answer.

And one by one, each of us stopped, frowning and staring at our papers, thinking, "Wait..."

Because the shapes end up having an infinite surface area (not so surprising given that the tapered end gets narrower and narrower, but goes on forever) -- but they have a finite volume.

I blurted out, "So you could fill it with paint but you couldn't paint its surface?"

Dr. Pousson grinned and said, "That's right."

We forthwith nicknamed the thing "Pousson's Paint Can."  I only found out much later that the bizarre paradox of this shape was noted hundreds of years ago, and it was christened "Gabriel's Horn" by seventeenth-century Italian physicist and mathematician Evangelista Torricelli, who figured it was a good shape for the horn blown by the Archangel Gabriel on Judgment Day.

There are a lot of math-phobes out there, which is a shame, because you find out some weird and wonderful stuff studying mathematics.  I largely blame the educational system for this -- I was lucky enough to have a string of fantastic, gifted elementary and middle school math teachers who encouraged us to play with numbers and figure out how it all worked, and I came out loving math and appreciating the cool and unexpected bits of the subject.  It's a pity, though, that a lot of people have the opposite experience.  Which, unfortunately, is what happened with me in my elementary and middle school social studies and English classes -- with predictable results.

So math has its cool bits, even if you weren't lucky enough to learn about 'em in school.  Here are some short versions of other odd mathematical twists that your math teachers may not have told you about.  Even you math-phobes -- try these on for size.

1. Fractals

A fractal is a shape that is "self-similar;" if you take a small piece of it, and magnify it, it looks just like the original shape did.  One of the first fractals I ran into was the Koch Snowflake, invented by Swedish mathematician Helge von Koch, which came from playing around with triangles.  You take an equilateral triangle, divide each of its sides into three equal pieces, then take the middle one and convert it into a (smaller) equilateral triangle. Repeat. Here's a diagram with the first four levels:


And with Koch's Snowflake -- similar to Pousson's Paint Can, but for different reasons -- we end up with a shape that has an infinite perimeter but a finite area.

Fractals also result in some really unexpected patterns coming out of perfectly ordinary processes.  If you have eight minutes and want your mind completely blown, check out how what seems like a completely random dice-throwing protocol generates a bizarre fractal shape called the Sierpinski Triangle.  (And no, I don't know why this works, so don't ask.  Or, more usefully, ask an actual mathematician, who won't just give you what I would, which is a silly grin and a shrug of the shoulders.)



2. The Four-Color-Map Theorem

In 1852, a man named Francis Guthrie was coloring in a map of the counties of England, and noticed that he could do the entire map, leaving no two adjacent counties the same color, using only four different colors. Guthrie wondered if that was true of all maps.

Turns out it is -- something that wasn't proven for sure until 1976.

Oh, but if you're talking about a map printed onto a Möbius Strip, it takes six colors.  A map printed on a torus (donut) would take seven.

Once again, I don't have the first clue why.  Probably explaining how it took almost a hundred years to prove. But it's still pretty freakin' cool.


3. Brouwer's Fixed-Point Theorem

In the 1950s, Dutch mathematician Luitzen Brouwer came up with an idea that -- as bizarre as it is -- has been proven true.  Take two identical maps of Scotland.  Deform one any way you want to -- shrink it, expand it, rotate it, crumple it, whatever -- and then drop it on top of the other one.

Brouwer said that there will be one point on the deformed copy of the map that is exactly on top of the corresponding point on the other map.

[Nota bene: it works with any map, not just maps of Scotland.  I just happen to like Scotland.]

It even works on three dimensions.  If I stir my cup of coffee, at any given time there will be at least one coffee molecule that is in exactly the same position it was in before I stirred the cup.

Speaking of which, all this is turning my brain to mush.  I think I need to get more coffee before I go on to...


4. The types of infinity

You might think that infinite is infinite.  If something goes on forever, it just... does.

Turns out that's not true.  There are countable infinities, and uncountable infinities, and the latter is much bigger than the former.

Infinitely bigger, in fact.

Let's define "countable" first.  It's simple enough; if I can uniquely assign a natural number (1, 2, 3, 4...) to the members of a set, it's a countable set.  It may go on forever, but if I took long enough I could assign each member a unique number, and leave none out.

So, the set of natural numbers is itself a countable set.  Hopefully obviously.

So is the set of odd numbers.  But here's where the weirdness starts.  It turns out that the number of natural numbers is exactly the same as the number of odd numbers.  You may be thinking, "Wait... that can't be right, there has to be twice as many natural numbers as odd numbers!"  But no, because you can put them in a one-to-one correspondence and leave none out:
1-1
2-3
3-5
4-7
5-9
6-11
7-13
etc.
So there are exactly the same number in both sets.

Now, what about real numbers?  The real numbers are all the numbers on the number line -- i.e. all the natural numbers plus all of the possible decimals in between.  Are there the same number of real and natural numbers?

Nope.  Both are infinite, but they're different kinds of infinite.

Suppose you tried to come up with a countable list of real numbers between zero and one, the same as we came up with a countable list of odd numbers above.  (Let's not worry about the whole number line, even.  Just the ones between zero and one.)  As I mentioned above, if you can do a one-to-one correspondence between the natural numbers and the members of that list, without leaving any out, then you've got a countable infinity. So here are a few members of that list:
0.1010101010101010...
0.3333333333333333...
0.1213141516171819...
0.9283743929178394...
0.1010010001000010...
0.13579111315171921...
And so forth.  You get the idea.

German mathematician Georg Cantor showed that no matter what you do, your list will always leave some out.  In what's called the diagonal proof, he said to take your list, and create a new number -- by adding one to the first digit of the first number, to the second digit of the second number, to the third digit of the third number, and so on.  So using the short list above, the first six decimal places will be:

0.242413...

This number can't be anywhere on the list.  Why?  Because its first digit is different from the first number on the list, the second digit is different from the second number on the list, the third digit is different from the third number of the list, and so forth.  And even if you just artificially add that new number to the end of the list, it doesn't help you, because you can just do the whole process again and generate a new number that isn't anywhere on the list.

So there are more numbers between zero and one on the number line than there are natural numbers.  Infinitely more.


5. Russell's Paradox

I'm going to end with one I'm still trying to wrap my brain around.  This one is courtesy of British mathematician Bertrand Russell, and is called Russell's Paradox in his honor.

First, let's define two kind of sets:
  • A set is normal if it doesn't contain itself.  For example, the "set of all trees on Earth" is normal, because the set itself is not a tree, so it doesn't contain itself.
  • A set is abnormal if it contains itself.  The "set of everything that is not a tree" is abnormal, because the set itself is not a tree.
Russell came up with a simple idea: he looked at "the set of all possible normal sets."  Let's call that set R.  Now here's the question:

Is R normal or abnormal?

Thanks, I'll show myself out.

****************************************


Thursday, January 26, 2023

Strange attractors

A couple of months ago, I read Paul J. Steinhardt's wonderful book The Second Kind of Impossible, about his (and others') search for quasicrystals -- a bizarre form of matter that is crystalline but aperiodic (meaning it fills the entire space in a regular fashion, but doesn't have translational symmetry).  Here's an artificial quasicrystal made of aluminum, palladium, and manganese:

[Image is in the Public Domain courtesy of the United States Department of Energy]

As the above photograph shows, they can be created in the lab, but Steinhardt believed they could occur naturally -- and he finally proved it, in a meteorite sample he and his team found in a remote region of Siberia.

I was immediately reminded of Steinhardt's aperiodic crystals when I read a paper in Chaos: An Interdisciplinary Journal of Nonlinear Science, by Francesca Bertacchini, Pietro Pantano, and Eleanora Bilotta, of the University of Calabria, who were experimenting with another nonrandom but chaotic shape -- a "strange attractor."

A strange attractor is a concept from fractals and chaos theory, and represents a value toward which a perturbed system tends to evolve.  Chaos theory has been around for a while, but came to most people's attention from Jurassic Park, when the character Ian Malcolm (portrayed in memorable fashion by Jeff Goldblum) is explaining the unpredictability of complex systems using the direction a drop of water rolls on a relatively (but not perfectly) flat surface, in this case, the back of someone's hand.  Systems like that one tend to rush far out of equilibrium -- once the drop starts to move, it keeps going -- but some systems settle into a set of loops or spirals, as if something in the middle was drawing them in.

Thus the name strange attractor.

These systems, when mapped out, create some beautiful patterns -- like Steinhardt's quasicrystals, with the superficial appearance of regularity, but without any repeats or obvious symmetries.  Bertacchini et al. used the mathematical functions describing the system to drive a 3-D printer and actually create models of what strange attractors look like.  The team was struck with how beautiful the shapes were, and had a goldsmith fashion them as jewelry.  Here are a few of their creations:


They look a little like Spirograph patterns gone off the rails, but they have a striking, almost-but-not-quite-symmetrical shape that keeps drawing the eye back.

The authors write:

[We used] a chaotic design approach used to develop jewels from chaotic design.  After presenting some of the most important physical systems that generate chaotic attractors, we introduced the basic steps of this approach.  This approach exploits a number of fundamental characteristics of chaotic systems.  In particular, the parametric design approach exploits the concept of extreme sensitivity to the initial data that leads to evolutionary transformations of dynamic systems, not only along the traditional routes to chaos and through qualitative changes in the starting chaotic system, but also through changes in the basic parameters of the system, which create infinite chaotic forms.  Such phase spaces, therefore, represent an enormous potential to be exploited in the design of artistic objects, whether they are jewelry pieces or other objects of abstract art. In the computational approach used, each shape is unique and it is identified by a set of parameters that almost constitute its precise value.  This leads to the creation of unique artistic forms and, thus, to the customization of products in the case of jewelry pieces, which exploits chaotic design as a methodology.

The whole thing brings up for me the mysterious question of what we find beautiful -- and how so often, it's a balance between predictability and unpredictability, between symmetry and randomness.  It reminds me of the quote from the brilliant electronic music pioneer Wendy Carlos: "What is full of redundancy is predictable and boring.  What is free from all structure is random and boring.  In between lies art."

****************************************


Monday, October 21, 2019

Weird math

When I was in Calculus II, my professor, Dr. Harvey Pousson, blew all our minds.

You wouldn't think there'd be anything in a calculus class that would have that effect on a bunch of restless college sophomores at eight in the morning.  But this did, especially in the deft hands of Dr. Pousson, who remains amongst the top three best teachers I've ever had.  He explained this with his usual insight, skill, and subtle wit, watching us with an impish grin as he saw the implications sink in.

The problem had to do with volumes and surface areas.  Without getting too technical, Dr. Pousson asked us the following question.  If you take the graph of y = 1/x:


And rotate it around the y-axis (the vertical bold line), you get a pair of funnel-shapes.  Not too hard to visualize.  The question is: what are the volume and surface area of the funnels?

Well, calculating volumes and surface areas is pretty much the point of integral calculus, so it's not such a hard problem.  One issue, though, is that the tapered end of the funnel goes on forever; the red curves never strike either the x or y-axis (something mathematicians call "asymptotic").  But calc students never let a little thing like infinity stand in the way, and in any case, the formulas involved can handle that with no problem, so we started crunching through the math to find the answer.

And one by one, each of us stopped, frowning and staring at our papers, thinking, "Wait..."

Because the shapes end up having an infinite surface area (not so surprising given that the tapered end gets narrower and narrower, but goes on forever) -- but they have a finite volume.

I blurted out, "So you could fill it with paint but you couldn't paint its surface?"

Dr. Pousson grinned and said, "That's right."

We forthwith nicknamed the thing "Pousson's Paint Can."  I only found out much later that the bizarre paradox of this shape was noted hundreds of years ago, and it was christened "Gabriel's Horn" by seventeenth-century Italian physicist and mathematician Evangelista Torricelli, who figured it was a good shape for the horn blown by the Archangel Gabriel on Judgment Day.

There are a lot of math-phobes out there, which is a shame, because you find out some weird and wonderful stuff studying mathematics.  I largely blame the educational system for this -- I was lucky enough to have a string of fantastic, gifted elementary and middle school math teachers who encouraged us to play with numbers and figure out how it all worked, and I came out loving math and appreciating the cool and unexpected bits of the subject.  It's a pity, though, that a lot of people have the opposite experience.  Which, unfortunately, is what happened with me in my elementary and middle school social studies and English classes -- with predictable results.

So math has its cool bits, even if you weren't lucky enough to learn about 'em in school.  Here are some short versions of other odd mathematical twists that your math teachers may not have told you about.  Even you math-phobes -- try these on for size.


1.  Fractals

A fractal is a shape that is "self-similar;" if you take a small piece of it, and magnify it, it looks just like the original shape did.  One of the first fractals I ran into was the Koch Snowflake, invented by Swedish mathematician Helge von Koch, which came from playing around with triangles.  You take an equilateral triangle, divide each of its sides into three equal pieces, then take the middle one and convert it into a (smaller) equilateral triangle.  Repeat.  Here's a diagram with the first four levels:


And with Koch's Snowflake -- similar to Pousson's Paint Can, but for different reasons -- we end up with a shape that has an infinite perimeter but a finite area.

Fractals also result in some really unexpected patterns coming out of perfectly ordinary processes.  If you have eight minutes and want your mind completely blown, check out how what seems like a completely random dice-throwing protocol generates a bizarre fractal shape called the Sierpinski Triangle.  (And no, I don't know why this works, so don't ask.  Or, more accurately, ask an actual mathematician, who won't just give you what I would, which is a silly grin and a shrug of the shoulders.)



2.  The Four-Color-Map Theorem

In 1852, a man named Francis Guthrie was coloring in a map of the counties of England, and noticed that he could do the entire map, leaving no two adjacent counties the same color, using only four different colors.  Guthrie wondered if that was true of all maps.

Turns out it is -- something that wasn't proven for sure until 1976.

Oh, but if you're talking about a map printed onto a Möbius Strip, it takes six colors.  A map printed on a torus (donut) would take seven.

Once again, I don't have the first clue why.  Probably explaining how it took almost a hundred years to prove.  But it's still pretty freakin' cool.


3.  Brouwer's Fixed-Point Theorem

In the 1950s, Dutch mathematician Luitzen Brouwer came up with an idea that -- as bizarre as it is -- has been proven true.  Take two identical maps of Scotland.  Deform one any way you want to -- shrink it, expand it, rotate it, crumple it, whatever -- and then drop it on top of the other one.

Brouwer said that there will be one point on the deformed copy of the map that is exactly on top of the corresponding point on the other map.


It even works on three dimensions.  If I stir my cup of coffee, at any given time there will be at least one coffee molecule that is in exactly the same position it was in before I stirred the cup.

Speaking of which, all this is turning my brain to mush.  I think I need to get more coffee before I go on to...


4.  The types of infinity

You might think that infinite is infinite.  If something goes on forever, it just... does.

Turns out that's not true.  There are countable infinities, and uncountable infinities, and the latter is much bigger than the former.

Infinitely bigger, in fact.

Let's define "countable" first.  It's simple enough; if I can uniquely assign a natural number (1, 2, 3, 4...) to the members of a set, it's a countable set.  It may go on forever, but if I took long enough I could assign each member a unique number, and leave none out.

So, the set of natural numbers is itself a countable set.  Hopefully obviously.

So is the set of odd numbers.  But here's where the weirdness starts.  It turns out that the number of natural numbers is exactly the same as the number of odd numbers.  You may be thinking, "Wait... that can't be right, there has to be twice as many natural numbers as odd numbers!"  But no, because you can put them in a one-to-one correspondence and leave none out:
1-1
2-3
3-5
4-7
5-9
6-11
7-13
etc.
So there are exactly the same number in both sets.

Now, what about real numbers?  The real numbers are all the numbers on the number line -- i.e. all the natural numbers plus all of the possible decimals in between.  Are there the same number of real and natural numbers?

Nope.  Both are infinite, but they're different kinds of infinite.

Suppose you tried to come up with a countable list of real numbers between zero and one, the same as we came up with a countable list of odd numbers above.  (Let's not worry about the whole number line, even.  Just the ones between zero and one.)  As I mentioned above, if you can do a one-to-one correspondence between the natural numbers and the members of that list, without leaving any out, then you've got a countable infinity.  So here are a few members of that list:
0.1010101010101010...
0.3333333333333333...
0.1213141516171819...
0.9283743929178394...
0.1010010001000010...
0.13579111315171921...
And so forth.  You get the idea.

German mathematician Georg Cantor showed that no matter what you do, your list will always leave some out.  In what's called the diagonal proof, he said to take your list, and create a new number -- by adding one to the first digit of the first number, to the second digit of the second number, to the third digit of the third number, and so on.  So using the short list above, the first six decimal places will be:
0.242413...
This number can't be anywhere on the list.  Why?  Because its first digit is different from the first number on the list, the second digit is different from the second number on the list, the third digit is different from the third number of the list, and so forth.  And even if you just artificially add that new number to the end of the list, it doesn't help you, because you can just do the whole process again and generate a new number that isn't anywhere on the list.

So there are more numbers between zero and one on the number line than there are natural numbers.  Infinitely more.


5.  Russell's Paradox

I'm going to end with one I'm still trying to wrap my brain around.  This one is courtesy of British mathematician Bertrand Russell, and is called Russell's Paradox in his honor.

First, let's define two kind of sets:
  • A set is normal if it doesn't contain itself. For example, the "set of all trees on Earth" is normal, because the set itself is not a tree, so it doesn't contain itself.
  • A set is abnormal if it contains itself. The "set of everything that is not a tree" is abnormal, because the set itself is not a tree.
Russell came up with a simple idea: he looked at "the set of all possible normal sets."  Let's call that set R.  Now here's the question:

Is R normal or abnormal?

Thanks, I'll show myself out.

**************************************

In keeping with Monday's post, this week's Skeptophilia book recommendation is about one of the most enigmatic figures in mathematics; the Indian prodigy Srinivasa Ramanujan.  Ramanujan was remarkable not only for his adeptness in handling numbers, but for his insight; one of his most famous moments was the discovery of "taxicab numbers" (I'll leave you to read the book to find out why they're called that), which are numbers that are expressible as the sum of two cubes, two different ways.

For example, 1,729 is the sum of 1 cubed and 12 cubed; it's also the sum of 9 cubed and 10 cubed.

What's fascinating about Ramanujan is that when he discovered this, it just leapt out at him.  He looked at 1,729 and immediately recognized that it had this odd property.  When he shared it with a friend, he was kind of amazed that the friend didn't jump to the same realization.

"How did you know that?" the friend asked.

Ramanujan shrugged.  "It was obvious."

The Man Who Knew Infinity by Robert Kanigel is the story of Ramanujan, whose life ended from tuberculosis at the young age of 32.  It's a brilliant, intriguing, and deeply perplexing book, looking at the mind of a savant -- someone who is so much better than most of us at a particular subject that it's hard even to conceive.  But Kanigel doesn't just hold up Ramanujan as some kind of odd specimen; he looks at the human side of a man whose phenomenal abilities put him in a class by himself.

[Note: if you purchase this book using the image/link below, part of the proceeds goes to support Skeptophilia!]






Wednesday, November 20, 2013

Fractal morphic energy fields of love

I'm happy to be the one to inform you that the woo-woos have added another word to their vocabulary, and that word is "fractal."

It's about time they come up with something new.  The old ones -- quantum, energy, field, dimension, vibration, flux, resonance, and frequency -- were getting kind of trite, frankly.  So it is with great joy that I bring you the latest in woo-woo silliness...

"Fractal Healing."

How can fractals have anything to do with healing, you might ask, given that a fractal is a mathematical construct, albeit a very useful one?  A fractal is a structure that is "self-similar" -- it shows an identical pattern (or at least a similar one) on small scales as large ones, and has a precise mathematical definition involving recursive functions (and for those of you who are calculus nerds, it is a function that is differentiable nowhere -- which I find kind of mind-blowing).  Fractal mathematics has been useful in various realms, including mapping, creating realistic computer animations of things like animal fur and leaves on trees moving in the wind, and studying natural phenomena such as lightning bolt paths, geologic faults, and coastlines.

But let's leave reality behind, as we so often have to do.  What about "fractal healing?"

As is usual in such cases, they start off well enough, with at least a modest understanding of what the word means.  Here's the description that they give of the concepts associated with the term:
A fractal is a never-ending pattern. Fractals are infinitely complex patterns that are self-similar across different scales. They are created by repeating a simple process over and over in an ongoing feedback loop. Driven by recursion, fractals are images of dynamic systems - the pictures of Chaos. Geometrically, they exist in between our familiar dimensions. Fractal patterns are extremely familiar, since nature is full of fractals. For instance: trees, rivers, coastlines, mountains, clouds, seashells, hurricanes, etc. Abstract fractals - such as the Mandelbrot Set - can be generated by a computer calculating a simple equation over and over.
Okay, that's not bad, you have to admit.  Even if it's not what I'd call rigorous, at least it's within hailing distance of correct.  (Although calling fractals "pictures of Chaos" is kind of ridiculous, given that the whole idea is that it's a pattern that is infinitely deep -- the exact opposite of chaos.)

(Image of the Mandelbrot set courtesy of the Wikimedia Commons)

Of course, woo-woos never keep their eye on the ball, and ultimately end up having said ball zip right past them and shatter the Plate Glass Window of Reality, and this is no exception:
The fractal field is the coded field of the sacred geometry of nature.  It lies beyond the morphic field of energy and actually creates the morphic field...   The fractal field holds the geometry of the natural world.  By repairing, resetting, and upgrading the fractal codes within our fractal field, we can heal ourselves, enhance our life experience, and move our evolution forward, in ways never before known that are exponentially more powerful.

When our fractal field is returned to its original perfection, we return to our natural state of grace.  We perceive and manifest our reality through the knowing of our inner divinity and perfection.  We transcend all limitation and express and experience transcendent love in perfect human form in union with all.  This is our journey.
Predictably, what drives me crazy about this is that they're taking something that really is cool and weird and interesting (fractal mathematics, about which you can learn more here) and using a vague understanding of it to support whatever wacky view of the universe they happen to have.  The same is true of all of the other terms woo-woos use, though, isn't it?  If you actually bother to put in the hard work to learn about phenomena like quantum mechanics, resonance, energy dynamics, and so on, you are rewarded by opening your mind to some pretty amazing stuff, with the added benefit that it's real.

Here, though -- we have the usual New Age mushy philosophy about returning to our State of Transcendent Love and Grace and Perfection, and it's given undeserved credibility by appending a word to it that honestly has nothing to do with pop psychology.  All because it's easier to do that than it is actually to learn what fractals actually are.

So, that's our new woo-woo vocabulary word for today.  Watch out for it.  I predict it's gonna be popular.  They certainly have gotten enough mileage out of "quantum," after all.