Date: 2012-07-17 08:13 pm (UTC)
peoppenheimer: A photo of Paul Oppenheimer at the Australasian Association of Philosophy meeting. (Default)
From: [personal profile] peoppenheimer
Before I even got through the link header, my brain was screaming "Cantor's Paradox!" The OP did a good job of answering the question. Thanks for the link.

How many infinities are there?

Date: 2012-07-17 11:33 am (UTC)
From: [identity profile] cartesiandaemon.livejournal.com
ROFL. That's really well written. I guess one might guess the answer is "infinitely many!" but it's good to see it explained.

(And as far as I can tell accurate: it's scary to think that now I know fewer practicing mathematicians, I probably know more about infinities than almost all of my friends :))

For the record, "infinity" is more of a label mathematicians and non-mathematicians slap on stuff which is "too big to count", so it usually means ordinals and cardinals, but there are some other uses.

For instance a number is often adjoined with a +INF and -INF which work roughly the way you'd expect (INF>x for any finite x; INF+x is INF for any finite X; INF-INF not defined). There are two of those. Eg. floating point representations on a computer often have somehting like this with a special bit pattern for results which are +INF, NAN, etc.

For complex numbers, there's only one INF, which is sort of "round the edge" of the whole plain.

Although obviously, if you lumped those in with the ordinals and cardinals, the answer would still be "too many to represent" :)

Re: How many infinities are there?

Date: 2012-07-17 12:06 pm (UTC)
From: [identity profile] cartesiandaemon.livejournal.com
And also for the record, there are alternative formulations of set theory where you don't have to put up with the "proper classes are things which are exactly like sets, but are not sets because that would cause paradoxes" stuff, but you have to give up something else you would expect (eg. the ability to say "the set of all elements of set x which are 'some property'")

But everyone uses the normal one, and I don't think the alternatives have proposed anything significantly better.

Date: 2012-07-17 01:15 pm (UTC)
From: [identity profile] spacelem.livejournal.com
If I were writing an essay about infinity, I'd say that while there are a lot of infinities, there are really only two kinds of infinity that you need to worry about: countable and uncountable.

Countable infinity is when you can order all the items in a set and label them 1,2,3,.... . You'll never end (obviously, because there are infinitely many of them), but every item in that set has a label. The set of integers is of this sort, because every integer has a name. We call this infinity aleph-null (א0).

Uncountable infinity is when you can't do that, because there are too many elements -- it's not clear what label something should have. For example, 0.999... with countably many 9s is exactly equal to 1, so two numbers with different labels are the same. What's more, is that with uncountable infinity, no matter how close two numbers, there are an uncountably infinite number of numbers between them. This is true of real numbers.

I think that's a rather more useful explanation of infinity, even if incomplete.

Date: 2012-07-17 01:26 pm (UTC)
From: [identity profile] khoth.livejournal.com
Your examples there aren't great - the rational numbers have both the things you cite for uncountable infinity: Labels aren't unique, eg 1/2 = 2/4, and between any two rational numbers there are an infinite number of other rational numbers. But the rational numbers are countable.

The thing with labels isn't to do with something having more than one label, it's about there not being enough *finite* labels to include everything. So 0.999.... isn't even acceptable as a label. The problem with real numbers is that there are uncountably many of them that just go on and on with no actual pattern, so you can't describe precisely what they are.

Date: 2012-07-17 01:46 pm (UTC)
From: [identity profile] spacelem.livejournal.com
The examples were correct -- integers are countable, reals are uncountable. The problem was in the explanation of the labelling part for the uncountable numbers, but I was in a bit of a rush and didn't think too carefully about it (this is me time wasting while I'm thinking about cover letters for a paper and a job interview).

The rationals are easy to label: have a table with the integers on top and side, generating rationals by top/side (and being sensible about 0), then move diagonally back and forth labelling all the numbers. There will be some overlap, but it's fine to give the same number two labels when it can be presented in two different ways. There are, however, only countably many rationals between any two numbers, not uncountably many.

The take home message remains that there are two types of infinity that should suit most people.

Date: 2012-07-17 02:10 pm (UTC)
From: [identity profile] khoth.livejournal.com
Sure. But your "uncountably dense" condition is a bit of an odd thing to stress, since it's somewhat circular, and isn't a necessary condition for a set to be uncountable (eg the cantor set and ω1 aren't dense everywhere), and normal desnseness isn't sufficient for uncountability.

Date: 2012-07-17 02:20 pm (UTC)
From: [identity profile] spacelem.livejournal.com
I'm an applied mathematician, not a pure one (not since undergraduate at any rate), and preoccupied with other things. It wasn't particularly precise, or all-encompassing, but it got across the two important infinities that most people are likely to come across.

Date: 2012-07-17 03:39 pm (UTC)
From: [identity profile] danieldwilliam.livejournal.com
Hey, that's why they call it Space.

:-)

Date: 2012-07-18 10:31 am (UTC)
From: [identity profile] danieldwilliam.livejournal.com
More Hitchhikers Guide to the Galaxy than Under Siege 2.

Date: 2012-07-18 12:36 pm (UTC)
From: [identity profile] danieldwilliam.livejournal.com
It's not a direct quote. More in the spirit of HHGTTG.

Date: 2012-07-18 02:46 pm (UTC)
From: [identity profile] danieldwilliam.livejournal.com
It is to my shame (oh, the shame, mother, the SHAME!) that I couldn't remember the exact quote.

Geeks FTW.

Date: 2012-07-17 05:47 pm (UTC)
From: [identity profile] cartesiandaemon.livejournal.com
Or (arguably) dividing by zero :) Or (even more arguably) fielding questions from teenagers about "Are you SURE 0.99999999999 is not less than 1"? :)
Edited Date: 2012-07-17 05:47 pm (UTC)

Date: 2012-07-17 09:36 pm (UTC)
From: [identity profile] cartesiandaemon.livejournal.com
Oh yes, but sometimes people find it's more useful to distinguish between infinity and other sorts of undefined :)

Date: 2012-07-19 10:07 am (UTC)
From: [identity profile] steer.livejournal.com
The cantor set is countable surely?

Date: 2012-07-19 07:39 pm (UTC)
From: [identity profile] khoth.livejournal.com
No, it's uncountable. For any real number between 0 and 1 (of which there are uncountably many), you can express it in binary eg 0.0010101101..., then replace each 1 with a 2 to get a ternary number eg 0.0020202202... which is in the Cantor set.

(This glosses over some technical details about numbers with two binary representations but that doesn't make much difference)

Incidentally, Greg Egan once wrote a short story where it was critical to the plot that the Cantor set was uncountable. I'm pretty sure he did it to prove he could.
Edited Date: 2012-07-19 07:41 pm (UTC)

Date: 2012-07-19 11:20 pm (UTC)
From: [identity profile] steer.livejournal.com
You are absolutely correct. Indeed, now you mention it, I can recall the very same discussion the first time I heard it about 15 years ago with two number theorists in a ground floor office in York University while they minded the dog belonging to a retired professor of pure mathematics. I think it's the only impressive proof I remember (or I remember now you remind me) involving ternary.

When it comes down to it the properties of the Cantor set are quite remarkable... measure zero, nowhere dense, a complete metric space yet uncountable. No wonder it gave mathematicians of the age fits!

I mentioned elsewhere (not sure if in reply to you) Rudy Rucker's book "White Light" which also hinges on the countable, uncountable and other possible forms of infinity.

Date: 2012-07-19 10:03 am (UTC)
From: [identity profile] steer.livejournal.com
Surely Mr Spacelem you must at least address the continuum hypothesis if you're counting the infinities.

I would answer "there are *at least* two infinities" -- the ones you state (aleph nought and c). We do not know if aleph one is the same as c -- and it may require extra axioms in our chosen set theory.

http://en.wikipedia.org/wiki/Continuum_hypothesis

Incidentally, Rudy Rucker's terrific but weird "White Light or What Is Cantor's Continuum Problem?" addresses the issue in a scifi way with lots of drugs and giant talking cockroaches.
Edited Date: 2012-07-19 10:04 am (UTC)

Date: 2012-07-17 12:56 pm (UTC)
From: [identity profile] ashfae.livejournal.com
I've missed the niftiness of the Screen Display Calculator to fall in smit with the Do What the Fuck You Want To Public Licence down at the bottom. Joy!

Date: 2012-07-17 06:14 pm (UTC)
ckd: (cpu)
From: [personal profile] ckd
That imgur block reminds me of this story (with a name that's rather familiar lately in the tech news ;-) :
http://www.thedailybeast.com/newsweek/2011/07/17/marissa-mayer-on-the-internet.html

Date: 2012-07-18 07:19 am (UTC)
From: [identity profile] anef.livejournal.com
Somewhat at a tangent to the Alexander story, I can recommend reading "Persian Fire", by Tom Holland, which gives a fascinating overview of the older civilisations of the Middle East, and "The Crusades Through Arab Eyes", by Amin Maalouf, which is again fascinating, and does what it says on the tin.

Date: 2012-07-19 10:32 am (UTC)
From: [identity profile] steer.livejournal.com
OK... I wanted to make a more coherent comment than twitter allows about this "gold open access".

Let me start by saying that open access is a great thing. All my papers are freely available on my website and this is completely within publisher terms. I cannot remember the last time I came across a modern paper in my field which I had to go through a paywall for. The problem tends to occur with papers from five or more years ago when people were less savvy about putting things online. In some disciplines you are nowhere if your research is not also on arxiv which is completely free and open. Thanks to google, making a copy available on the web means that everyone can find it by searching the title. My webpage often has links to the "pay" version of the article too.
http://www.richardclegg.org/pubs/
e.g.
Elsevier pay version:
http://www.sciencedirect.com/science/article/pii/S002200001000111X
My free version
http://www.richardclegg.org/pubs/nsrl_jccs2009.pdf
This is entirely within Elsevier's rules.
It is what that article refers to as "green" open access.

You have to understand a little bit about how academics work to get some of the reasons why this "gold" open access a bad thing. There are so many papers coming out you can't read them all. In fact you can't read even an appreciable fraction in your field. In my field I can't even find time to read the top three journals and publication tends to be spread. Because network science is fast moving (and particular Internet science) we tend to track conferences not journals. Probably the most reputation making thing I can publish in (short of science or nature) is a conference (ACM SIGCOMM) -- not made it yet. If I publish in more minor venues or journals my work will not get read by the people I want it to get read by. So if I want my work to be out there I need to publish in certain places. If I am mandated only to publish in journals which will follow this "gold open access" cost model my work will not be so widely read. So this "free" access has a great danger of leading to UK research being ghettoised. It may be that leading journals will switch to allowing "open access for money upfront" but there's no guarantee they will.

There's a lot of "shock horror" 60% (perhaps more -- that's a figure I pulled from the air) of university library budgets go on journals. However, 99% of my library usage is on journals. That is pretty much the only use I make of my university library is to get papers and only then by the fact that accesses from inside my university "unlock" publisher paywalls. My access pattern is pretty typical (indeed, I'm more inclined to read a library book than most colleagues I think). So the high library expenditure on journals is actually under proportionate to what staff and postgrad students use -- and those are the majority users of the library. (The undergraduates are the ones there in person but that's not representative).

This proposal does not address the problem that academic publishing is profit driven because the same amount of money goes to the publishers, just by a different mechanism. So the publishers can still profiteer, they just do so by a different mechanism. (Incidentally, the "profiteering" Elsevier Reed sacked their CEO two or three years ago because of their low profits).

This problem will make things worse for non university people who wish to engage in science. A lot of people wish to publish without a formal connection to a university. (I gave the example of Einstein in the patent office -- a more common example would be a PhD student recently written up, a researcher between jobs or a retired professor who keeps coming up with good ideas). Now, what happens to their work. If the journal they want to publish in is a normal journal they're fine. If that journal is a "gold" open access journal then they've got a big problem.

Here's the real kicker though. Are the libraries going to stop paying Elsevier, Springer-Verlag et al? Of course not. Nowhere else in the world will do this "gold" open access. Any required journal subscriptions will still be required so the university will pay twice -- once to publish everything and once again to read it.

Date: 2012-07-19 10:50 am (UTC)
From: [identity profile] steer.livejournal.com
However, as I argued, Einstein today can already read most papers in most fields anyway.

If you get money from the NIH in the US then you have to submit your paper to PubMed Central

I'm fairly sure that is a green not a gold model of open access. You publish the paper in the journal then you additionally make it open in pubmed central. Brilliant. I am completely in favour. Unfortunately, some publishers insist on a six month delay between publication and pubmed central so it's not quite as good as putting the paper on arxiv or your own website... but that is exactly the way open access should be. It's not what we would be getting in the UK though.

Date: 2012-07-19 11:03 am (UTC)
From: [identity profile] steer.livejournal.com
That's interesting, thanks for the link. I'm actually surprised by the 5% in the never category -- but different disciplines work very differently. I guess mine is in the vanguard for access. I used to check I was permitted before posting a pre-print on my website but I never found a case where I wasn't so I stopped doing so.

September 2025

S M T W T F S
  12 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 17th, 2025 03:00 pm
Powered by Dreamwidth Studios