## Search found 774 matches

- Thu Feb 06, 2014 11:22 pm UTC
- Forum: Mathematics
- Topic: Axiomatic mathematics has no foundation
- Replies:
**158** - Views:
**31290**

### Re: Axiomatic mathematics has no foundation

Because otherwise my response to "it isn't possible to state a set of axioms without first creating an axiomatic system to define the axioms" is: Who cares? This is, of course, what the refutation really boils down to. Of course math can't be shown to be some universal, perfect truth beyo...

- Thu Feb 06, 2014 9:45 pm UTC
- Forum: Mathematics
- Topic: Axiomatic mathematics has no foundation
- Replies:
**158** - Views:
**31290**

### Re: Axiomatic mathematics has no foundation

And yet, here you are, using a computer, sending millions of bits of encoded and encrypted data across the world, that is processed, routed, and translated automatically by machines, and it all works because the people who designed and built them used mathematics.

It works, bitches.

It works, bitches.

- Tue Jan 21, 2014 10:48 pm UTC
- Forum: News & Articles
- Topic: The Thread To Remind Me We're Living In The Future
- Replies:
**1699** - Views:
**243485**

### Re: The future is NOW!

I had a feeling that the idea would be that you would see them flashing, because they would be within your visual field in the contact... I got the impression that it'd be something that you might look in the mirror to check, perhaps a couple of times a day. But either could be the case. Anyway, th...

- Thu Jan 16, 2014 11:11 pm UTC
- Forum: Mathematics
- Topic: i as an Infinitely Tiered Exponent
- Replies:
**14** - Views:
**3209**

### Re: i as an Infinitely Tiered Exponent

You also have to be very careful when turning a repeated operation into a limit, *especially* if you're doing something at the end of the operation that gets "pushed out to infinity" (in your case, multiplying by i). After all, I could just as easily say: 0 = 1*0 0 = 1*1*0 0 = 1*1*1*...*0 ...

- Tue Jan 07, 2014 1:55 am UTC
- Forum: Mathematics
- Topic: Determinism and P=NP
- Replies:
**7** - Views:
**2341**

### Re: Determinism and P=NP

P and NP are defined by what abstract Turing machines can do, and their properties are deterministic and have nothing to do with physical laws. And we don't know whether they are equal. I think what you mean to do is to define computing rules that are not those of Turing machines but instead are bas...

- Fri Jan 03, 2014 10:52 pm UTC
- Forum: Mathematics
- Topic: Strange constant. Apparently useless.
- Replies:
**33** - Views:
**7963**

### Re: Strange constant. Apparently useless.

Heh, someone confused the computable numbers with the definable numbers.

- Thu Jan 02, 2014 7:29 pm UTC
- Forum: News & Articles
- Topic: In other news... (humorous news items)
- Replies:
**14340** - Views:
**2068989**

### Re: In other news... (humorous news items, etc)

Actually, dehydration is a major factor in hangovers, so taking a pill with a glass of water probably will make you feel somewhat better. Doesn't have much to do with the pill, though.

- Mon Dec 30, 2013 10:46 pm UTC
- Forum: News & Articles
- Topic: NSA tracking cell phone locations
- Replies:
**98** - Views:
**13136**

### Re: NSA tracking cell phone locations

The NSA is only authorized to do these collections in foreign countries. None of these revelations should be a concern at all to any US Citizen. I just need to respond to this. Separately from the other discussions in this thread about whether the NSA is allowed to spy on US Citizens, and about whe...

- Tue Dec 17, 2013 6:35 pm UTC
- Forum: Mathematics
- Topic: Idea for using pi approximations to get close to 1
- Replies:
**24** - Views:
**5487**

### Re: Idea for using pi approximations to get close to 1

I don't think the term "geometry" is well-defined in mathematics.

- Fri Dec 13, 2013 6:00 pm UTC
- Forum: Gaming
- Topic: Games you have programmed
- Replies:
**93** - Views:
**35961**

### So my brother made a flash game

My brother wrote a flash game called "Conjurer Clash". It's a turn-based puzzle game where you play a wizard moving around grid-based levels, avoiding enemy monsters while summoning your own to fight them. It also has a pretty fun multiplayer versus mode where there's a time limit for each...

- Tue Dec 10, 2013 10:55 pm UTC
- Forum: News & Articles
- Topic: In other news... (humorous news items)
- Replies:
**14340** - Views:
**2068989**

### Re: In other news... (humorous news items, etc)

Coyne wrote:The wiki article now shows a 1 in 169 million chance of impact.

"Giant asteroid capable of destroying earth expected to kill 41 people!"

- Thu Dec 05, 2013 10:29 pm UTC
- Forum: News & Articles
- Topic: Couple Found Guilty of Murder, followed parenting book
- Replies:
**219** - Views:
**25440**

### Re: Couple Found Guilty of Murder, followed parenting book

addams wrote:Really? If there is no God above you and your friends; That is a Religion?

What is its name?

I hereby proclaim myself an autotheist!

- Tue Dec 03, 2013 5:42 pm UTC
- Forum: News & Articles
- Topic: In other news... (humorous news items)
- Replies:
**14340** - Views:
**2068989**

### Re: In other news... (humorous news items, etc)

I'm pretty sure that, by induction's definition, the earth is not in space.

- Tue Nov 26, 2013 7:41 pm UTC
- Forum: What If?
- Topic: What-If 0073: "Lethal Neutrinos"
- Replies:
**128** - Views:
**40140**

### Re: What-If 0073: "Lethal Neutrinos"

I believe the derivative is eln(x)

^{e-1}/x, correct?- Tue Nov 26, 2013 12:05 am UTC
- Forum: Mathematics
- Topic: Measure-theory-ish thingamajig
- Replies:
**38** - Views:
**6252**

### Re: Measure-theory-ish thingamajig

Let's forget about infinite sequences of sets for a minute. Let's just consider a plain unit circle (not filled in) in R^2, call it C . Consider a point x on C , and consider the function f that rotates the circle by, say, sqrt(2) degrees. Then if you keep applying f to x , you never get back to x i...

- Fri Nov 15, 2013 9:23 pm UTC
- Forum: Mathematics
- Topic: Cantor set problem from Pugh
- Replies:
**8** - Views:
**2217**

### Re: Cantor set problem from Pugh

Ha, I think eta oin shrdlu has it solved. Even if the drawing wasn't perfectly to scale, the principle will work since you can scale any part of a Cantor set and it's still a Cantor set. So just take tiny arcs around 3 points equally spaced in the circle, and put a Cantor set in each arc. Then their...

- Fri Nov 08, 2013 12:03 am UTC
- Forum: Mathematics
- Topic: Dogma in Math
- Replies:
**98** - Views:
**11002**

### Re: Dogma in Math

I'm still leaning towards troll, but just in case... If 0 isn't a number, then seriously, what's 1-1? Add up all the places you can't find elephants, then add up all the places you can find them. Or add up how many things you don't have, then add up everything you do have. What does this supposed pa...

- Tue Nov 05, 2013 9:13 pm UTC
- Forum: News & Articles
- Topic: No Vans Land.
- Replies:
**16** - Views:
**3073**

### Re: No Vans Land.

Derek wrote: But libertarianism is not "free markets when the businesses want it", it's "free markets all the time".

Wait, I don't get it. Who enforces the free market when businesses don't want it?

- Thu Oct 10, 2013 10:30 pm UTC
- Forum: Mathematics
- Topic: Planning a Prime Number Party
- Replies:
**9** - Views:
**3061**

### Re: Planning a Prime Number Party

Another possible configuration would be something like 5-7-11-13-29.

- Thu Oct 10, 2013 9:45 pm UTC
- Forum: News & Articles
- Topic: Debt Ceiling Round 3? 4?
- Replies:
**340** - Views:
**33836**

### Re: Debt Ceiling Round 3? 4?

Fun article listing the 9 companies that now have more cash-on-hand than the US government:

http://qz.com/134093/all-of-these-compa ... overnment/

http://qz.com/134093/all-of-these-compa ... overnment/

- Wed Oct 09, 2013 11:36 pm UTC
- Forum: News & Articles
- Topic: Debt Ceiling Round 3? 4?
- Replies:
**340** - Views:
**33836**

### Re: Debt Ceiling Round 3? 4?

Here's the funny thing, nobody is mentioning The Affordable Care Act anymore. The GOP is demanding that the Democrats negotiate instead. They probably still object to it, but it's really strange that nobody wants to talk about the original cause of the brinksmanship. Well, which message do you thin...

- Wed Oct 09, 2013 11:31 pm UTC
- Forum: News & Articles
- Topic: Lord Sugar accused of racist tweet.
- Replies:
**87** - Views:
**13151**

### Re: Lord Sugar accused of racist tweet.

If you posted a picture of me, a Martian, in which I was holding a pink slip and crying because I lost my job, and tweeted it saying "He's crying because he can't find water", I would find it demeaning. You've taken an image of me, and essentially asserted that the only important thing in ...

- Tue Oct 08, 2013 8:34 pm UTC
- Forum: News & Articles
- Topic: Lord Sugar accused of racist tweet.
- Replies:
**87** - Views:
**13151**

### Re: Lord Sugar accused of racist tweet.

Soooo... reducing people to nothing more than representatives of their race is fine, as long as it's topical?

- Tue Oct 08, 2013 8:04 pm UTC
- Forum: News & Articles
- Topic: Lord Sugar accused of racist tweet.
- Replies:
**87** - Views:
**13151**

### Re: Lord Sugar accused of racist tweet.

To take some random cute picture of a Chinese kid wearing watermelon rind like clothing and subvert it to talk about issues in China? That's racist. The kid is not a child laborer, and the picture was clearly a "my cute kid" picture and had nothing to do with Foxconn. The ONLY reason this ...

- Mon Sep 30, 2013 10:56 pm UTC
- Forum: Mathematics
- Topic: Geometry: A line is defined?
- Replies:
**16** - Views:
**2975**

### Re: Geometry: A line is defined?

Meh, that's true of any subject. Mathematicians are just more open about it.

- Wed Sep 25, 2013 11:44 pm UTC
- Forum: Mathematics
- Topic: Question about homotopy groups
- Replies:
**3** - Views:
**1223**

### Re: Question about homotopy groups

If I'm trying to use a universal cover, I get a space equivalent to an uncountable wedge of 2-spheres, but as far as I know there's no method for calculating the homotopy groups of that. Uncountable? That sounds wrong. The space clearly has a countable fundamental group, thus its universal cover sh...

- Wed Sep 25, 2013 11:35 pm UTC
- Forum: Mathematics
- Topic: Cardinality of the complex numbers
- Replies:
**41** - Views:
**9648**

### Re: Cardinality of the complex numbers

Space-filling curves are cool because they're continuous, but you don't really need something that complicated if you're only worried about cardinality. Just map (0,1)^2 to (0,1) by interleaving the decimal expansions, and then spend two pages explaining what to do about infinite sequences of traili...

- Wed Sep 25, 2013 11:31 pm UTC
- Forum: Mathematics
- Topic: Geometry: A line is defined?
- Replies:
**16** - Views:
**2975**

### Re: Geometry: A line is defined?

It's worth noting that in modern mathematics, lines are no longer axiomatic objects, and have very specific definitions (though there are several equivalent ways to define a line).

- Wed Sep 25, 2013 10:28 pm UTC
- Forum: News & Articles
- Topic: Debt Ceiling Round 3? 4?
- Replies:
**340** - Views:
**33836**

### Re: Debt Ceiling Round 3? 4?

So now Ted Cruz has spent 24 hours "filibustering" the senate: http://www.chicagotribune.com/news/chi-ted-cruz-speech-20130925,0,5472701.story It wasn't a real filibuster, as there was a time limit, but I still can't see the logic here - he wants to defund The Affordable Care Act, and so h...

- Wed Sep 04, 2013 12:26 am UTC
- Forum: Mathematics
- Topic: The Tau Manifesto
- Replies:
**165** - Views:
**40720**

### Re: The Tau Manifesto

All these posts supporting tau seem to have this underlying (false) assumption that circle arclength is the be-all, end-all of what pi is.

So I guess I'd sum up my resistance to tau in the following way: What arguments for tau exist that don't involve arclength on a circle?

So I guess I'd sum up my resistance to tau in the following way: What arguments for tau exist that don't involve arclength on a circle?

- Sat Aug 31, 2013 10:09 pm UTC
- Forum: News & Articles
- Topic: State enacts single-payer system. Sky not yet falling.
- Replies:
**31** - Views:
**5359**

### Re: State enacts single-payer system. Sky not yet falling.

It seems that, at least, the for-profit privately run insurance system, that would normally support such a clinic is being replaces with a state-run system (ie taxes).

- Fri Aug 30, 2013 9:19 pm UTC
- Forum: What If?
- Topic: What-if 0060: "Signs of Life"
- Replies:
**71** - Views:
**21798**

### Re: What-if 0060: "Signs of Life"

Shouldn't it be super easy to generate random coordinates on a sphere just by using the fact that all horizontal slices (edit: OF EQUAL HEIGHT ) have the same area? So just choose a height uniformly from -1 to 1, then choose a longitude uniformly at random?

- Thu Aug 29, 2013 9:35 pm UTC
- Forum: Mathematics
- Topic: basic doubt about groups
- Replies:
**19** - Views:
**4656**

### Re: basic doubt about groups

Wait, there are schools of thought out there in which the integers aren't a cyclic group?

- Sat Aug 24, 2013 12:08 am UTC
- Forum: News & Articles
- Topic: Ballmer stepping down as CEO of Microsoft
- Replies:
**85** - Views:
**14011**

### Re: Ballmer stepping down as CEO of Microsoft

You can sum up Microsoft's woes in one word: Mobile. Microsoft primarily makes their money through software, mostly via Windows and their Office products. The problem is, that software doesn't run on iOS or Android, which are quickly eating up sales of traditional PCs. This is why they've been tryin...

- Thu Aug 15, 2013 10:07 pm UTC
- Forum: Mathematics
- Topic: basic doubt about groups
- Replies:
**19** - Views:
**4656**

### Re: basic doubt about groups

If you're very new to group theory, some more-familiar examples might be the rational, real, or complex numbers under addition, or the nonzero rational, real, or complex numbers under multiplication.

- Thu Aug 01, 2013 9:50 pm UTC
- Forum: Mathematics
- Topic: relation which is symmetric, reflexive but not transitive?
- Replies:
**20** - Views:
**20904**

### Re: relation which is symmetric, reflexive but not transitiv

I think the standard example is "A has slept with B".

- Mon Jul 29, 2013 11:17 pm UTC
- Forum: News & Articles
- Topic: In other news... (humorous news items)
- Replies:
**14340** - Views:
**2068989**

### Re: In other news... (humorous news items, etc)

Happiness via doing drugs isn't sustainable, and so results in less happiness in the long term. Unless that drug is sustainable like caffeine, in which case, well, the masses have spoken.

We should really just build a giant computer to figure out how to maximize total happiness, right?

We should really just build a giant computer to figure out how to maximize total happiness, right?

- Sun Jul 28, 2013 8:18 pm UTC
- Forum: Mathematics
- Topic: How to convince a friend the equivalence of infinite sets
- Replies:
**32** - Views:
**7372**

### Re: How to convince a friend the equivalence of infinite set

There's a very reasonable definition of "the same size" under which the areas beneath y=x and y=2x are the same size. There's also a very reasonable definition of "the same size" under which the areas beneath y=x and y=2x are not the same size. The real trick here is that you're ...

- Fri Jul 26, 2013 11:23 pm UTC
- Forum: Mathematics
- Topic: Infinite field over the finite strings?
- Replies:
**15** - Views:
**3685**

### Re: Infinite field over the finite strings?

Do you require anything of the mapping from field elements to strings? Is there a reason we can't just map all the non-string elements to the letter "a", for example?

- Thu Jul 25, 2013 11:22 pm UTC
- Forum: Mathematics
- Topic: A mind boggling riddle involving the Axiom of Choice
- Replies:
**79** - Views:
**15942**

### Re: A mind boggling riddle involving the Axiom of Choice

I have a question. Suppose the mathematicians have already fixed their strategy - that is, they've already used AoC, and they've already got their set of representatives. Suppose further that we choose some distribution to pick the real numbers from - say say choose them all independently and unifor...