https://billwadge.com/2023/03/25/a-bad-trip-to-infinity/ Bill Wadge's Blog Just another WordPress.com site [cropped-sail41] Skip to content * Home * A short academic biography [6100 views] * About * Contact * Lucid Language [440 views] * Wadge Degrees [160 views] - GOFAI is dead - long live (NF) AI! [10,000 views] A Bad Trip to Infinity [1600 views] Posted on March 25, 2023 by Bill Wadge The fear of infinity is a form of myopia that destroys the possibility of seeing the actual infinite ~ Georg Cantor Recently NETFLIX released a documentary on mathematical concept of infinity, titled A Trip to Infinity. NETFLIX's trip is a bad one. The first twenty minutes or so are reasonable but after that it descends into mysticism, sensationalism, speculation and mathematical nonsense. The average intelligent viewer will be left confused and intimidated and will have a poorer understanding of infinity than they had before watching Trip. The worst mistake they make is referring to infinity in the singular, as if there is only one infinity. In fact in the first twenty minutes they make it clear that there is more than one, then return to talking about "infinity" instead of "infinities". Many infinities When people talk about "infinity" they think first of the natural numbers and the set {0,1,2,3,...}. But there is also the set of points on the real line between 0 and 1. It's not obvious but these infinities are not the same. The study of infinities was initiated by Georg Cantor more than 100 years ago. He was the first to realize that there are many infinities and that they are linearly ordered by size - given two infinities one is at least as big as another. He had a very simple rule for comparing infinite sets: S1 <= S2 (S2 has at least as many elements as S1) if there is a one-to-one comparison between S1 and a subset of S2. In particular, he proved that is S1 <= S2 and S2 <= S1, there is a one-to-one correspondence between elements of S1 and S2. For example, if E is the set of even numbers and S the set S of square numbers then E <= S because the correspondence 2n [?] n^2 is a one-one correspondence between E and S. The reverse correspondence shows that S<= E and so S[?]E; the 'number' of squares is the same as the number of even numbers. Similar arguments show that S and E have the same number if elements as {0,1,2,3,...} (this set is called ). In fact any infinite set whose elements can be enumerated has the same number of elements as . The number of elements of a set is called its cardinality. The cardinality of is the smallest infinity and is called [0] Is it the only one? It's not hard to see that any other infinity must be larger than[0]. This is where Trip goes off the rails. We need to compare and the set of real numbers. The cardinality of Cantor proved that the cardinality of is greater than [0] with a famous proof that has been modified and adapted many times. Suppose we could enumerate the elements of . We could lay out the enumeration in a two dimensional table, like this 0 .3 1 4 1 5 .. 1 .2 7 1 8 2 ... 2 .3 3 3 3 3 ... 3 .1 4 1 5 9 ... 4 .6 9 3 1 4 ... Now consider the diagonal number . 37354 ... . This number might be somewhere in the list. But let's take it and change each digit, say by adding 1 mod 10, giving .48465 ... . This number can't be in the list because it differs from the nth number in the nth digit (we have to take care of repeating 9s). So the set of real numbers between 0 and 1 can't have cardinality [0]. This is Cantor's diagonal argument and it shows [0] < the cardinality of . There are at least two infinities. The cardinality of is called [1]. By this point Trip goes back to talking about "infinity" and the experts are staring at what looks like a billiard ball which its supposedly the universe .... or something. Meanwhile back in mathland it gets even more interesting. [0] and [1] are good for very many sets. The set of pairs of natural numbers and in fact the set of finite sequences of natural numbers has cardinality [0]. Thus there are only [0] many polynomials with integer coefficients. The same is true of the set Q of rational numbers and the set of finite sequences of rational numbers. That means only [0] many polynomials with rational coefficients Similar results hold for . There are [1] polynomials with real coefficients. The cardinals [2], [3], [4], ,... But now consider drawings on the plane. If every pair of rationals is a pixel which can be black or white, there are [1] possible images. And if every pair of reals is a pixel, there are more than [1] possible images. How many more? Cantor's diagonal argument can be generalized to show that the set of subsets of a set has a bigger cardinality than that of the set. If the set has cardinality then the powerset (S) (the set of all subsets of S) has cardinality 2^, which is bigger than . An image on the plane is a subset of x and the set of such images has cardinality 2^[1]. So now there are three infinities. (2^[1] is called [2]) We can continue taking power sets and generate a sequence [1], 2^ [1] (=[2]), 2^[2](=[3]), ... of bigger cardinalities. So there are at least [0] many infinities. Nothing of this, which is mind boggling, is described in Trip. Instead they're speculating about an orange in a box ... which supposedly disintegrates then reassembles itself. The continuum hypothesis Back to the math, which really gets interesting. When Cantor discovered the power-of-two series he naturally started wondering if they were all the cardinalities. In particular, he wondered if there is a set of reals whose cardinality is greater than [0] but less than [1]. (Incidentally [1] = 2^[0]). He tried for many years to settle the question but never succeeded, neither finding such a set nor proving that none exists. He was forced to leave what he called the "continuum hypothesis" (CH) unresolved. It wasn't till 1938 that any progress was made. The famous logician Kurt Godel proved that it's not possible to refute the continuum hypothesis. So it's either true or else ... The or else was demonstrated in 1963 by Paul Cohen. He showed that it is not possible to prove the continuum hypothesis either. In other words, CH is independent of the usual axioms of set theory (which are taken to be the axioms of modern math). A lot of progress was made after Cohen's proof but nothing decisive. It turns out that the axioms of math have little to say about the cardinalities between [0 ](=[0]) and [1]. There could be a couple or [0 ] many or more. This is interesting, even mind boggling, but none of it shows up in Trip. At this point they're speculating that eventually the heat death of the universe will kill off humanity. Constructibility Since Cantor, mathematicians have been searching for a plausible extra axiom that will settle the continuum hypothesis. There is no consensus. In my opinion, however, there is one obvious candidate, namely the axiom of constructibility. This axiom, sometimes written "V=L", says that every set is "constructible". Roughly speaking, the constructible sets are those that are definable in terms of simpler constructible sets, and aren't just introduced arbitrarily at random. Godel introduced the constructible sets to prove his partial independence results. V=L implies the general continuum hypothesis ( [alpha] = [alpha] for all alpha) and the axiom of choice plus a whole lot of other results. My championing of V=L is probably due to my computer science background, where we encounter many recursive definitions. As a general rule we take the meaning of a recursive definition X = f(X) to be the least fixed point of the equation. And we calculate the least fixed point by starting with nothing ([?]) and iterating [?],f([?]),f (f([?])),f(f(f([?]))),... then taking the limit. The ordinary axioms of math imply that any family F of sets is closed under definitions; so the family V of all sets satisfies the recursive definition V = [?] [?] D(V), where D(X) = sets definable from X. If we apply the iterative/cumulative procedure described above, we get L, the family of constructible sets. I'm sure that this is the 'right' thing to do and that the axiom of constructibility should be considered as 'true'. Beware of Pop Science So Trip to Infinity is bad news. Unfortunately it's not alone. Trip veered into physics and almost every pop explanation of physics is just as bad. Speculation, sensationalism, paradoxes, misinformation. Blackholes, wormholes, time travel and the like. One frequently repeated example of false facts is the claim that bodies are collections of atoms with nothing in between. In reality the space between atoms is filled with fields: electromagnetic, gravitational, who knows what else. Every physicist knows this, but only too many are willing to go before the public and declare otherwise. This rotten pop science is basically a plot to make people feel stupid. They're intimidated because what they see doesn't make sense and they conclude they're not smart enough for science. A good example in Trip comes when they discuss cardinal arithmetic (cardinals can be added, multiplied etc like integers). They show the equation [?] + 1 = [?], which is true if [?] is an infinite cardinal, then proceed to subtract [?] from both sides, giving 0=1, a howling contradiction. And that's where they leave it. What is the viewer supposed to make of this? That infinity is a contradiction? In fact, all it means is that not all the rules of finite arithmetic apply to cardinal arithmetic. No big deal. There's nothing wrong with your brain and 0 is not equal to 1. Pop science has tried to scramble your brains. Share this: * Twitter * Facebook * Like this: Like Loading... Related [00791e4] About Bill Wadge I am a retired Professor in Computer Science at UVic. View all posts by Bill Wadge - This entry was posted in Uncategorized. Bookmark the permalink. - GOFAI is dead - long live (NF) AI! [10,000 views] Leave a Reply Cancel reply Enter your comment here... [ ] Fill in your details below or click an icon to log in: * * * * Gravatar Email (required) (Address never made public) [ ] Name (required) [ ] Website [ ] WordPress.com Logo You are commenting using your WordPress.com account. ( Log Out / Change ) Twitter picture You are commenting using your Twitter account. ( Log Out / Change ) Facebook photo You are commenting using your Facebook account. ( Log Out / Change ) Cancel Connecting to %s [ ] Notify me of new comments via email. [ ] Notify me of new posts via email. [Post Comment] [ ] [ ] [ ] [ ] [ ] [ ] [ ] D[ ] This site uses Akismet to reduce spam. Learn how your comment data is processed. * Search for: [ ] [Search] * Email Subscription Enter your email address to subscribe to this blog and receive notifications of new posts by email. Email Address: [ ] Sign me up! Join 78 other subscribers * Recent Posts + A Bad Trip to Infinity [1600 views] + GOFAI is dead - long live (NF) AI! [10,000 views] + 50 Years of Wow- I lived through 5 decades of computing milestones [4400 views] + Just How Smart are You, ChatGPT? I quiz chatGPT about math. [7400 views] + To Be or Not to Be - Mathematical Existence and the Axiom of Choice [3900 views] * Archives + March 2023 + February 2023 + December 2022 + November 2022 + July 2022 + June 2022 + May 2022 + March 2022 + February 2022 + January 2022 + December 2021 + August 2021 + June 2021 + May 2021 + March 2021 + February 2021 + January 2021 + September 2020 + August 2020 + July 2020 + June 2020 + April 2020 + March 2020 + February 2020 + January 2020 + December 2019 + October 2019 + June 2019 + April 2019 + March 2019 + October 2018 + September 2018 + November 2017 + June 2017 + May 2017 + April 2017 + March 2017 + March 2016 + January 2016 + December 2015 + November 2015 + October 2015 + September 2015 + July 2012 + April 2012 + March 2012 + December 2011 + May 2011 + April 2011 + March 2011 + February 2011 + July 2010 * Meta + Register + Log in + Entries feed + Comments feed + WordPress.com Bill Wadge's Blog Blog at WordPress.com. * Follow Following + [wpcom-] Bill Wadge's Blog Join 78 other followers [ ] Sign me up + Already have a WordPress.com account? Log in now. * + [wpcom-] Bill Wadge's Blog + Customize + Follow Following + Sign up + Log in + Copy shortlink + Report this content + View post in Reader + Manage subscriptions + Collapse this bar %d bloggers like this: [b]