# Infinity Just Keeps Growing And Growing And Growing: VIDEO

You think you know infinity? Think again. As mathematician Dennis Wildfogel explains in this TED video, infinity is far larger than you ever imagined. Watch and learn AFTER THE JUMP.

« Straight Guys Protest Chick-Fil-A With Gay Kiss: VIDEO |
Main
| Utah Street Sign Spreads Anti-Gay Hate: VIDEO »

08/09/2012

Trending

« «Straight Guys Protest Chick-Fil-A With Gay Kiss: VIDEO« «
#### Home

#### Page 2

#### Page 3

#### Page 4

Find us on Google+

- TLC Pulls '19 Kids and Counting,' Issues Statement in Wake of 'Heartbreaking' Molestation Allegations
- Anti-gay Irish Bakery's Google Profile Displays Image Reading 'Keep Calm And Kill Faggots'
- Towleroad Guide to the Tube #1742
- New Study Sheds Light On Truvada's Ability To Prevent HIV Infection After One Week of Dosing
- Sunny D's Latest Ad Is A Blast From The 90s Past: WATCH
- News: Hillary Clinton, Eiffel Tower, Magic Mike XXL, Joe Jonas, Belize

- Texas Church Reverses Course After Relegating Gay Couple To Side Chapel For Son's Ceremony: VIDEO
- Franklin Graham: Boy Scouts President 'Put Young, Innocent Boys at Risk' Calling for End to Gay Adult Ban
- Mike Huckabee Stands By Duggar Clan in Wake of Molestation Allegations, Decries 'Bloodthirsty Media'
- Texas High School Teacher Resigns After Comparing Black Student's Gay Slur to N-Word: VIDEO
- Argentine Judges Reduce Sentence for Pedophile Because 6-Year-Old Victim Showed 'Homosexual Tendencies'
- 5 Things You Can't Miss in West Hollywood (Davey Wavey Edition)

- Ted Cruz Decries 'Mandatory Gay Marriage,' Calls Backlash Over Anti-LGBT Indiana Law 'Heartbreaking' - VIDEO
- Michael Sam Signs With Canadian Football League's Montreal Alouettes
- Ellen Reveals She's the Mother of Two Insanely Attractive Twin Boys: VIDEO
- Louisiana Sen. Karen Carter Peterson Eviscerates Bobby Jindal's Anti-gay Executive Order in Must Watch Floor Speech: VIDEO
- Guam Lesbian Couple Presses On in Legal Battle Over Marriage Equality
- A Trip to Vienna For The Glamorous and Gargantuan Life Ball AIDS Benefit: Towleroad Abroad

- Vienna's Life Ball: The Impact After the Party
- Chris Pratt Gets Frisky With Some Prehistoric Beasts By the Pool: VIDEO
- Ted Cruz Promises To 'Always, Always, Always' Defend Christians' Right to Discriminate Against Gays: VIDEO
- What Happens If the 'No' Side Wins in Today's Marriage Equality Referendum in Ireland?
- New Orleans Mayor Blasts Bobby Jindal's Anti-gay Crusade, Issues Counter Executive Order to Combat Discrimination
- JK Rowling Shocked By Neville Longbottomâ€™s Racy Underwear Shoot: VIDEO

Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|

1 | 2 | |||||

3 | 4 | 5 | 6 | 7 | 8 | 9 |

10 | 11 | 12 | 13 | 14 | 15 | 16 |

17 | 18 | 19 | 20 | 21 | 22 | 23 |

24 | 25 | 26 | 27 | 28 | 29 | 30 |

31 |

I LOVE MATH

Posted by: B | Aug 9, 2012 1:39:55 PM

It's this notion of infinity that makes fundamentalists condemn set theory as un-Biblical. They would like to believe that there is only one infinity: God.

http://boingboing.net/2012/08/07/what-do-christian-fundamentali.html

Posted by: Diogenes Arktos | Aug 9, 2012 1:49:10 PM

Good presentation but somewhat oversimplified regarding Godel and Cohen's statement about the Continuum hypothesis (CH). It's not that one cannot prove or disprove CH at all, but rather, that CH is an example of a logical mathematical statement that can be formulated using only the language of the Zermelo-Frankel axioms (ZF), but cannot be proved or disproved within the mathematical structure those axioms define.

In other words, ZF can be used to state the claim of CH, but is insufficient to prove or disprove that claim. You could postulate a system of mathematics in which CH is true (e.g., ZF+CH), and this would work; or, you could just as easily postulate an alternative system in which CH is false.

This situation is a bit like the discovery of non-Euclidean geometries, in which the parallel postulate is not accepted as axiomatically true.

In fact, Godel's incompleteness theorems have far greater consequences than that related to set-theoretic claims like CH. His work showed that in ANY axiomatic system of mathematics, it is possible to formulate a logical statement within that system that cannot be proved or disproved using those axioms.

Posted by: atomic | Aug 9, 2012 1:55:16 PM

Good presentation but somewhat oversimplified regarding Godel and Cohen's statement about the Continuum hypothesis (CH). It's not that one cannot prove or disprove CH at all, but rather, that CH is an example of a logical mathematical statement that can be formulated using only the language of the Zermelo-Frankel axioms (ZF), but cannot be proved or disproved within the mathematical structure those axioms define.

In other words, ZF can be used to state the claim of CH, but is insufficient to prove or disprove that claim. You could postulate a system of mathematics in which CH is true (e.g., ZF+CH), and this would work; or, you could just as easily postulate an alternative system in which CH is false.

This situation is a bit like the discovery of non-Euclidean geometries, in which the parallel postulate is not accepted as axiomatically true.

In fact, Godel's incompleteness theorems have far greater consequences than that related to set-theoretic claims like CH. His work showed that in ANY axiomatic system of mathematics, it is possible to formulate a logical statement within that system that cannot be proved or disproved using those axioms.

Posted by: atomic | Aug 9, 2012 1:55:16 PM

Um, what Atomic sez.

Posted by: TC | Aug 9, 2012 2:08:43 PM

Something for us nerds to ponder, if we haven't already. Interesting that he didn't go into linear infinities or dimensional infinities or quantum infinities or the other infinities that I can conceptualize but cannot think of a title for them.... I suppose there may be an infinity number of types of infinities :)

Posted by: murraygoround | Aug 9, 2012 2:14:47 PM

Did they include waiting at the DMV?

Posted by: anon | Aug 9, 2012 5:19:04 PM

My head just exploded.

Posted by: RJP | Aug 9, 2012 5:28:33 PM

I love this type of stuff. NERDS ROCK!!!

Posted by: Stan | Aug 9, 2012 7:40:01 PM

@atomic:

Quite so. Perhaps you could also include ordinal numbers, cardinal numbers, and perhaps even V=L ;-)

Seriously, how many others who follow TR have the slightest clue about what we are talking about?

I happen to think that this video, which is embedded in the URL I gave in my earlier post (well worth a read - and follow up with the Mother Jones article in Sources & Resouces), is an excellent, short introduction to two major points about mathematics for its target audience, people with minimal mathematical sophistication. (1) multiple infinities (2) some problems cannot be solved within mathematics. In addition to the fundamentalist issue of more than one infinity a/k/a God, I'm sure that the 'holes' in mathematics are also a problem to a group which believes that everything has a neat, tidy unique solution - theirs.

Posted by: Diogenes Arktos | Aug 10, 2012 8:47:59 AM

@ATOMIC: Well that's it, then! Marry me. OK? I mean, I'd love to have a man who could whisper sweet axioms in my ear while he's parallel-postulating me.

Posted by: jamal49 | Aug 10, 2012 12:18:30 PM

@ATOMIC: Close, but not quite.

Here's what you said: "His work showed that in ANY axiomatic system of mathematics, it is possible to formulate a logical statement within that system that cannot be proved or disproved using those axioms."

Instead, what he showed was that in any FINITE axiomatic system of mathematics *POWERFUL*ENOUGH*TO*MODEL*SIMPLE*ARITHMETIC*, then there will be statements that can be constructed within the system that cannot be proven by the system.

Not all axiomatic systems of mathematics are finite and not all finite systems are powerful enough to model simple arithmetic. For example, Presburger arithmetic is finite (only 5 axioms) and is both complete and consistent, but it only defines addition and thus is not powerful enough to model simple arithmetic.

Tarski's axioms of elementary Euclidean geometry are also consistent, but it isn't powerful enough to model simple arithmetic and thus there is no contradiction of Godel.

As for why he didn't go into other aspects of real analysis (and by "real" I mean the mathematical definition of "real"), he only had about 7 minutes and was trying to explain something complex to people who don't know much math. There simply wasn't time. After all, the way in which Godel's proof regarding the continuum is usually stated as: "Assuming the Continuum Hypothesis is true does not lead to a contradiction." Cohen's work is stated similarly, "Assuming the Continuum Hypothesis is false does not lead to a contradiction."

There's a subtle distinction there that goes to how mathematicians conduct proof. It isn't that they did a direct proof that no such proof exists. Instead, they did an indirect proof that showed there was no way to contradict the claim that it is true. One would think that would be enough since not being able to prove it false seemingly indicates that it must be true...but Cohen showed that just because you can't prove it to be false doesn't mean it actually isn't.

But to get into all of that takes time that you just don't have in the format of a TED Talk. It's supposed to be brief and accessible.

Posted by: Rrhain | Aug 10, 2012 5:44:18 PM

A good introduction to set theory and the concept of Infinity is the 1982 book 'Infinity and the Mind' by Rudy Rucker.

Posted by: Chris McCoy | Aug 13, 2012 6:46:41 PM