Re: To infinity, and beyond!

1

That's absurd. No college text is $20 new.


Posted by: Moby Hick | Link to this comment | 09-13-11 7:32 PM
horizontal rule
2

It's a miracle!


Posted by: LizardBreath | Link to this comment | 09-13-11 7:34 PM
horizontal rule
3

This seems like a good thread to ask the mathy people here if they've read Tobias Dantzig's Number and if so what they thought of it. I got a modern edition* cheap at a store formerly known as borders.

*So far as I know, it's the same text as classic versions, just a different layout/packaging.


Posted by: fake accent | Link to this comment | 09-13-11 7:39 PM
horizontal rule
4

Harper Collins?!?!?!


Posted by: md 20/400 | Link to this comment | 09-13-11 7:42 PM
horizontal rule
5

It was apparently written similarly to Naked Came the Stranger. Each writer has finished a first draft of their assigned chapter of the proposed book to be titled "Mathematics through the Eyes of Faith." At Amazon you can do "Look Inside"--at a quick glance nothing really stood out beyond the premise itself.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 7:43 PM
horizontal rule
6

And it seems to be part of a series.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 7:45 PM
horizontal rule
7

Is mathematics discovered or invented, and why is it effective in the sciences?

No. Yes, you're stupid.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 7:46 PM
horizontal rule
8

HarperOne seems to be a religion and spirituality imprint.


Posted by: fake accent | Link to this comment | 09-13-11 7:46 PM
horizontal rule
9

Q: What is the relationship between chance and divine providence?

A: He stopped at a drugstore to buy a Band-Aid.
That is why he is alive today..

(What a bunch of unregenerate Calvinists who are writing this inspirational spam!).


Posted by: Mary Catherine | Link to this comment | 09-13-11 7:46 PM
horizontal rule
10

7: And that does not strike me as an unreasonable question for a college text. Apparentlly I am stupid.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 7:49 PM
horizontal rule
11

And a bad speller.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 7:49 PM
horizontal rule
12

7: Actually, I was curious about the discovered/invented distinction.


Posted by: Moby Hick | Link to this comment | 09-13-11 7:50 PM
horizontal rule
13

Not pwned, so that is something.


Posted by: Moby Hick | Link to this comment | 09-13-11 7:51 PM
horizontal rule
14

I've posted my answer in the archives somewhere.

Basically: neither. Math is a language. You use it to talk about ideas which are discovered, not invented. But a different language could be invented to discuss the underlying discoveries just as well.


Posted by: heebie-geebie | Link to this comment | 09-13-11 7:52 PM
horizontal rule
15

Is mathematics discovered or invented, and why is it effective in the sciences?

It's not a bad question for a college course in isolation. But the context implies it's being used to bring religion in to the sciences, which sets off all kinds of alarm bells.


Posted by: heebie-geebie | Link to this comment | 09-13-11 7:53 PM
horizontal rule
16

Ha ha stupid fundies, and I'm sure anything interesting Is handled very badly in this book, but there are a bunch of pretty interesting theological and philosophy of math questions around this topic. But oh ho ho stupid fundies.


Posted by: Robert Halford | Link to this comment | 09-13-11 7:54 PM
horizontal rule
17

10,11,12,13,14: I wasn't intending to answer either question, per se; I was intending to answer both questions with "no", because that's more succint than "shut up", and I was intending to cut off any follow-ups with "you're stupid", because I could see (as, I imagine, everybody else here could) where the follow-ups would lead.

Arguably, I should strive for greater clarity when speaking rhetorically to the unnamed authors of emails mentioned in posts.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 7:55 PM
horizontal rule
18

I have no idea what the difference between discovering and inventing is.

Why math is useful in science is a very interesting question though.


Posted by: Unfoggetarian: "Pause endlessly, then go in." (9) | Link to this comment | 09-13-11 7:55 PM
horizontal rule
19

16.last describes the point I was trying to make. Don't let them trick you, people who aren't horrible and stupid.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 7:55 PM
horizontal rule
20

Why math is useful in science is a very interesting question though.

It is? I feel like I'm missing something.


Posted by: heebie-geebie | Link to this comment | 09-13-11 8:00 PM
horizontal rule
21

I had this classmate, when I was doing my undergrad. He was very nice, and was in the same, relatively specialized, relatively computational major I was. We ended up paired up on a project, which was fine, although I think he wasn't actually terribly bright, all things considered. He was working on this movie the whole time, and at one point he had to beg off from some collaborative work to prepare for the premiere of this movie. "That's rad!", said I. "I would like to attend this movie. What is it?" "Oh, well" he said, "I dunno if it'd be your thing."

"Pshaw! I love movies, and you are my classmate, and you have made a goddamn whole movie as an undergrad! I would love to see it!"

"Well, okay."

The movie was called, I think, Supernatural (unrelated to the show), and it was obvious from even a cursory glance at the flyer that it was some freaky-ass christian shit.

Well, I didn't go.

Anyhow the next class after the premiere I said to my classmate "so, uh, how was your movie?"

"You know," he said "it was fine, but then at the end I started to talk to the audience members how if they believed what they'd seen, that all of these funny phenomena in the world were not scientifically explainable, they pretty much had just admitted that they believed in Jesus Christ, a lot of them up and walked out!"

Do not listen to or engage these people, unfoggetariat. Like Republicans, they are trying to TRICK YOU.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 8:03 PM
horizontal rule
22

What about the guy with the three cards? He says I look like a winner.


Posted by: Moby Hick | Link to this comment | 09-13-11 8:07 PM
horizontal rule
23

Sorry about laughing at the fundies, Halford. To be fair, the post was posted without commentary.


Posted by: heebie-geebie | Link to this comment | 09-13-11 8:08 PM
horizontal rule
24

It is? I feel like I'm missing something.

HOW IS IT POSSIBLE THAT MATHEMATICS, A PRODUCT OF HUMAN THOUGHT THAT IS INDEPENDENT OF EXPERIENCE, FITS SO EXCELLENTLY THE OBJECTS OF PHYSICAL REALITY?


Posted by: OPINIONATED EINSTEIN | Link to this comment | 09-13-11 8:08 PM
horizontal rule
25

23: for chrissakes don't apologize.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 8:09 PM
horizontal rule
26

HOW IS IT POSSIBLE THAT MATHEMATICS, A PRODUCT OF HUMAN THOUGHT THAT IS INDEPENDENT OF EXPERIENCE, FITS SO EXCELLENTLY THE OBJECTS OF PHYSICAL REALITY?

Because both rely on sound logic?


Posted by: heebie-geebie | Link to this comment | 09-13-11 8:11 PM
horizontal rule
27

Tobias Dantzig's Number

I very much enjoyed it (though, IIRC, it starts off a bit slow). I know I've recommended it before on unfogged.


Posted by: NickS | Link to this comment | 09-13-11 8:12 PM
horizontal rule
28

I hope they at least give Wigner due credit for raising the question.


Posted by: essear | Link to this comment | 09-13-11 8:12 PM
horizontal rule
29

How do we really know what we know? Sure, scientists say they they are empirically testing belief, but isn't it true that "belief" when it comes to scientific theories doesn't exist if you don't have belief in something that transcends empiricism? Without belief in god, is there any belief in science? Food for thought.

UGH.

I fucking hate religion, really.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 8:17 PM
horizontal rule
30

28: Yes, they mention him when it first comes up on page 8 and use his question to frame the section on it.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 8:18 PM
horizontal rule
31

Math is a language.

Oh god heebie why did you have to go and say that what does it even mean arrrgh


Posted by: essear | Link to this comment | 09-13-11 8:21 PM
horizontal rule
32

31: what, math uses symbols to express concepts which map more or less directly on concepts in the real wo... OH SHIT THE SHARK IT'S EATING ME IT'S EATING ME


Posted by: Sifu Tweety | Link to this comment | 09-13-11 8:23 PM
horizontal rule
33

I dunno. It just doesn't seem very mysterious to me.


Posted by: heebie-geebie | Link to this comment | 09-13-11 8:25 PM
horizontal rule
34

What we got here is... failure to communicate. Perhaps some ruminations on the metatheoretic foundations of our discourse are called for.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 8:30 PM
horizontal rule
35

I know. That's my problem with philosophy...it always amounts to "why is that mysterious?" or "isn't the answer in the middle?" I'm really terrible at getting what's the big deal.


Posted by: heebie-geebie | Link to this comment | 09-13-11 8:34 PM
horizontal rule
36

Maths is just pictures, right?


Posted by: Keir | Link to this comment | 09-13-11 8:37 PM
horizontal rule
37

No, you're thinking of children's books.


Posted by: heebie-geebie | Link to this comment | 09-13-11 8:38 PM
horizontal rule
38

34: Math is very useful for counting how many hardboiled eggs a man can eat.


Posted by: M/tch M/lls | Link to this comment | 09-13-11 8:39 PM
horizontal rule
39

35: Ludwig nailed in the preface to Tractatus:

On the other hand the truth of the thoughts communicated here seems to me unassailable and definitive. I am, therefore, of the opinion that the problems have in essentials been finally solved. And if I am not mistaken in this, then the value of this work secondly consists in the fact that it shows how little has been done when these problems have been solved.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 8:39 PM
horizontal rule
40

Seriously, I have no idea what "math is a language" is meant to convey, even though people say it all the time. Similarly when people say things like "I'm fluent in 12 languages if programming languages count tee hee amn't I clever?" and the answer is no, shut up, shut up, please.

Sorry. I just... French is a language, you know? Cantonese is a language. Sign language is a language. Math? Just try translating this comment into math. No, really. I mean... what does it mean?

I do think it's pretty mysterious why the universe seems to operate in a way that can be expressed in terms of mathematics, especially mathematics that seems interesting and comprehensible to us.


Posted by: essear | Link to this comment | 09-13-11 8:41 PM
horizontal rule
41

I do think it's pretty mysterious why the universe seems to operate in a way that can be expressed in terms of mathematics, especially mathematics that seems interesting and comprehensible to us.

Because we're... good at explaining why things are comprehensible to us?

I mean, really good. Don't get me wrong. Damn good.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 8:43 PM
horizontal rule
42

39: However:

For since beginning to occupy myself with philosophy again, sixteen years ago, I have been forced to recognize grave mistakes in what I wrote in that first book.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 8:44 PM
horizontal rule
43

39: +it. 42: Later Ludwig in case it was not obvious.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 8:46 PM
horizontal rule
44

It's really bizarre that repeatedly math which was investigated purely because it seemed interesting, later ended up appearing in the real world. This happened recently in my field, where the mathematical objects that I study turn out to describe certain systems in condensed matter physics.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 8:54 PM
horizontal rule
45

It's really bizarre that repeatedly math which was investigated purely because it seemed interesting, later ended up appearing in the real world.

No it's not.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 8:57 PM
horizontal rule
46

41 Because we're... good at explaining why things are comprehensible to us?

I'm not sure I understand what this means.

The questions I kind of want to ask are things like "why does the universe know what a Lie group is?" Not very well-posed questions, but still.

I was going to type more but on preview, 44 says it better.


Posted by: essear | Link to this comment | 09-13-11 8:58 PM
horizontal rule
47

When I say math is a language, I mean that it's just a bunch of symbolic conventions that we agree on to discuss underlying ideas. It's not a primary language like French, but that's because the content it sets out to talk about isn't everyday content.


Posted by: heebie-geebie | Link to this comment | 09-13-11 8:59 PM
horizontal rule
48

You could imagine a world in which the rules of physics behaved more like say historical linguistics than like calculus. We don't live in a world like that, and that's interesting. Now it may be the case that there's nothing interesting to say about that, or no interesting reason behind it, but at the very least it's an interesting observation.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 8:59 PM
horizontal rule
49

You could imagine a world in which the rules of physics behaved more like say historical linguistics than like calculus. We don't live in a world like that, and that's interesting.

Only very slightly.


Posted by: Sifu Tweety | Link to this comment | 09-13-11 9:01 PM
horizontal rule
50

45: Is so.

I mean, we evolved to deal with things happening on distance scales of roughly a meter. Why should the mental tools we developed for that stuff turn out to tell us how the universe works at distances a billion billion times smaller and larger than a meter? Shouldn't that kind of stuff have been way beyond our grasp, or even our interest? Even given that we live in a universe that operates accordingly to orderly rules, why did they turn out to be rules we can figure out? It's weird.


Posted by: essear | Link to this comment | 09-13-11 9:01 PM
horizontal rule
51

Alternatively, I might have just had too much to drink tonight. But, I think it is weird -- Wigner wasn't crazy.


Posted by: essear | Link to this comment | 09-13-11 9:07 PM
horizontal rule
52

Sign language is a language.

Nope, but sign languages are languages.


Seriously, I have no idea what "math is a language" is meant to convey

You might look into the difference between natural languages versus artificial and formal languages.


Posted by: M/tch M/lls | Link to this comment | 09-13-11 9:08 PM
horizontal rule
53

But math isn't an artificial or formal language. When we talk about math we talk in ordinary language. Some people do math in English, others do math in Russian, others do math in French. Math has jargon, but so does any other subject some community of people are interested in.


Posted by: essear | Link to this comment | 09-13-11 9:11 PM
horizontal rule
54

The wikipedia article on Wigner's paper has a nice quote from Gelfand which nicely points out that something interesting is happening:

"There is only one thing which is more unreasonable than the unreasonable effectiveness of mathematics in physics, and this is the unreasonable ineffectiveness of mathematics in biology"


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 9:11 PM
horizontal rule
55

It's also interesting that water happens to be denser as a liquid than as a solid; if it were the other way around, the environment wouldn't be particularly hospitable. Which I guess is to make the not very profound point that it takes a lot of exceptional circumstances to make our world habitable and I guess I'm not surprised that this seems to apply to what makes the world comprehensible. It's easy to see how this line of thought can shade into religion (though I'm not religious myself, and have never been).


Posted by: fake accent | Link to this comment | 09-13-11 9:13 PM
horizontal rule
56

It's really bizarre that repeatedly math which was investigated purely because it seemed interesting, later ended up appearing in the real world.

Imagine how much we don't understand because the math seems boring.


Posted by: heebie-geebie | Link to this comment | 09-13-11 9:14 PM
horizontal rule
57

Just try translating this comment into math

math = math


Posted by: fake accent | Link to this comment | 09-13-11 9:14 PM
horizontal rule
58

I don't understand the quote in 54. And I think Tweety's position implies that if we understood different math, we would have figured out different physical phenomena, but maybe he's not comprehensible to me.


Posted by: Eggplant | Link to this comment | 09-13-11 9:16 PM
horizontal rule
59

53 is the type of thing that prompts 35.


Posted by: heebie-geebie | Link to this comment | 09-13-11 9:17 PM
horizontal rule
60

27: I actually think I first learned about the book here, or possibly through someone who comments/commented here but in comments on one of my old blogs.


Posted by: fake accent | Link to this comment | 09-13-11 9:22 PM
horizontal rule
61

But it's not like we have lots of mysterious physics sitting around which we don't understand waiting to be explained by boring math. We understand basically all physics which is accessible to our instruments. That's strange.

(There may very well be a counterargument of the form: "Physics is by definition the parts of science which are easily mathematicized." But I think that argument falls apart under more scrutiny. At the very least, because it's not *easy* math.)


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 9:24 PM
horizontal rule
62

61: Oh, I agree. I'm just trying to piece together a position from Tweety's dismissals.
Regarding your Wigner quote, wouldn't reductionism and essear's meter scale explain most of the effectiveness of math in biology?


Posted by: Eggplant | Link to this comment | 09-13-11 9:29 PM
horizontal rule
63

regarding 54, there are a relatively small number of general relations that can be stated in mathematical terms that cover much of physics. Working out special cases and actually solving the equations takes a lot of work, but simple formal principles go a long, long way.

There is no mathematical definition of a species or an organism or a gene.

I don´t see how calling math a language helps much. Is chess a language? Other analogies are frowned on. A symbolic representation of something else, even one capable of recursion, is much much weaker than a language.


Posted by: lw | Link to this comment | 09-13-11 9:30 PM
horizontal rule
64

Wigner s/b Gelfand


Posted by: Eggplant | Link to this comment | 09-13-11 9:30 PM
horizontal rule
65

Hmm. Given the model of science that operates in physics, is it really a surprise that the physics we (agree that we) understand is the physics we have the ability to measure (i.e. that can be subjected to the tests that are seen as key to establishing whether we understand something)? I'm sure I'm missing something.


Posted by: fake accent | Link to this comment | 09-13-11 9:34 PM
horizontal rule
66

61. Equations of motion for this, please"
http://www.youtube.com/watch?v=4n5AfHYST6E

Our physical understanding of materials relevant to biology is terrible. There may be nothing interesting in mesoscale physics, but there keep being interesting bits that get turned up when people look at it; de Gennes and Kadanoff found lots of interesting stuff by asking interesting questions 9and being very capable at finding answers0


Posted by: lw | Link to this comment | 09-13-11 9:35 PM
horizontal rule
67

For most of human history we did not understand most physics at the scales which we were able to measure.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 9:36 PM
horizontal rule
68

It's easy math if you compare it to what seems to be needed for biology, though.

We've never had actually incorporeal cognition; I'm not willing to assume physics isn't built into our reasoning. At the least, we should find out how cephalopods do math.


Posted by: clew | Link to this comment | 09-13-11 9:36 PM
horizontal rule
69

65. No, not at all. The hydrogen atom or liquid helium could be as complicated as gelatin or turbulence; the wave equation could be an exotic special case instead of being ubiquitous.

It;s not so much that math is useful in physics, it;s that a very few bits of simple math take you very, very far.


Posted by: lw | Link to this comment | 09-13-11 9:40 PM
horizontal rule
70

Some physics may be built into our reasoning, but that physics does not include general relativity.

We don't have an intuition for 4-dimensional space, instead we first develop an algebraic theory of 2-dimensional space which allows us to generalize to arbitrary dimensions. GR then says that you can understand gravity by treating time as another dimension and studying curved geometry on it.

To the extent that we have physical intuition here it's two dimensional and involves objects roughly the size of us. GR is purely 4 dimensional and involves objects way way bigger then us. There's just no way that our ability to reason evolved in order for us to be able to understand general relativity.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 9:40 PM
horizontal rule
71

67: We diid have a good understanding of much of Newtonian physics. It's our explanations that were flawed.


Posted by: Eggplant | Link to this comment | 09-13-11 9:44 PM
horizontal rule
72

Hey, much-smarter-than-me people, did we ever talk here about the SEC's proposal to require certain financial deals* to be described in Python?

The linked blog post is 18 months old; I'd be curious to know if anything ever came of the proposal.

From my naive perspective, it sounds like a good idea. Still vulnerable to an arms race of euphemisms, of course, but better than the legal thicket we have now. Or not?

*Transactions? I dunno. Not my field.


Posted by: Witt | Link to this comment | 09-13-11 9:44 PM
horizontal rule
73

The time from Newton to the present is a very small chunk of human history. Even post-Newton I think there were usually lots of things well within the range of observation which we didn't understand (e.g. a good theory of electromagnetism took a while).


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 9:48 PM
horizontal rule
74

69: How complicated the explanation is a different question from whether we can come up with an explanation. Simple math vs. complicated math also seems like a different question.


Posted by: fake accent | Link to this comment | 09-13-11 9:49 PM
horizontal rule
75

Certainly I'm counting Newtonian physics as "physics we understand" and as an example of the unreasonable effectiveness of math in physics. I mean the orbits of giant objects zooming through outer space are given by exactly the shapes that you get by cutting a cone by a plane, WTF?


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 9:51 PM
horizontal rule
76

I meant that we had a good intuitive grasp of mechanics before Newton, but our folk physics were wrong. Thinking a bit more, though, I'm not even sure that first part is true.


Posted by: Eggplant | Link to this comment | 09-13-11 9:55 PM
horizontal rule
77

On the historical question, I see your point. What I guess I'm saying is that it's not a surprise that we've made the most progress in the areas where we can measure things, as those are the areas where progress is possible (with respect to our current ability to measure things). I'm not sure how we'd make progress in areas we couldn't measure. But yes, you're right that we could also simply not have made progress in the areas we can measure.

I think a hardcore constructionist would probably come in at this point and argue some other points that I don't really want to get into.


Posted by: fake accent | Link to this comment | 09-13-11 9:58 PM
horizontal rule
78

66, fair enough, I was overstating things. Though it's worth pointing out that the equations of motion for the center of mass of that cube of gelatin are probably quite simple.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 9:58 PM
horizontal rule
79

70.3: no, but GR, our brains, & our environment developed from the same origins. Uplifted cephalopods would, I am imagining, have as much work to get to GR; but I'd really like to know if they worked out everything else in approximately the same order.


Posted by: clew | Link to this comment | 09-13-11 9:59 PM
horizontal rule
80

77: Right, the point was why we understand so much, I took for granted that we don't understand things which are beyond our scales of measurements.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 10:00 PM
horizontal rule
81

You'd expect that animals that live in the ocean would probably be way less interested in astronomy than animals that live on land. Furthermore they'd be way less interested in gravity. So you'd definitely expect them to make discoveries in different orders, but ultimately things like 2-dimensional geometry are sufficiently simple that I'd expect any sufficiently advanced civilization to end up with enough geometry to end up with roughly the same version of GR eventually.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-13-11 10:05 PM
horizontal rule
82

80: See, to me I see it as the explanatorily boring (and probably philosophically naive) result of having put so much work into it. Work isn't guaranteed to pay off, but once we reached a point where it seemed like we were on the edge of understanding the most that we could understand,* then we'd always be on that edge even as we kept pushing it along.**

*I'm thinking of the view - which could very well have been a minority position - about a century ago that we were running out of things to discover and might have to move on to other pursuits.


Posted by: fake accent | Link to this comment | 09-13-11 10:07 PM
horizontal rule
83

That second footnote was deleted, but I forgot the reference.


Posted by: fake accent | Link to this comment | 09-13-11 10:08 PM
horizontal rule
84

No, guys, Tweety says some major philosophical problem is stupid, so why talk about it at all? He's a DJ with a good sense of humor.


Posted by: Robert Halford | Link to this comment | 09-13-11 10:09 PM
horizontal rule
85

OK, 84 was dickish but come on. I love Tweety but that was straight bullshit.


Posted by: Robert Halford | Link to this comment | 09-13-11 10:14 PM
horizontal rule
86

I'm not sure that geometry is necessarily the only route to GR. You could imagine a world where it went: first get quantum mechanics and special relativity, then work out what consistent scattering amplitudes for spin-2 particles look like, then afterwards attach all the differential geometry interpretations to the formulas you find. A world where quantum mechanics and special relativity were understood before differential geometry doesn't seem all that crazy.


Posted by: essear | Link to this comment | 09-13-11 10:15 PM
horizontal rule
87

72. I would not expect technology to be able to solve a social problem. Maybe a step forward, but in my mind the real problem is that leveraged risk is profitable and easily tweaked to be just outside the reach of this year§s laws. Not my field either, I§m just a spectator

I think "unreasonable effectiveness" refers to the great power of simple descriptions in physics but not elsewhere. Who cares whether in principle you can describe something if the resulting math is too complicated.

Lord Kelvin said everything had been discovered in 1900. Michelson as well. Kelvin was brilliant and extremely productiveů he estimated the age of the earth from basic thermodynamic principles. He didn§t know about radiative decay, so was off by a factor of 200,


Posted by: lw | Link to this comment | 09-13-11 10:20 PM
horizontal rule
88

87.3: A great Kelvin/Rutherford anecdote. Rutherford was nervous because part of his talk would highlight how far off Kelvin had been and Kelvin was in the audience.

To my relief, Kelvin fell fast asleep, but as I came to the important point, I saw the old bird sit up, open an eye, and cock a baleful glance at me! Then a sudden inspiration came, and I said Lord Kelvin had limited the age of the Earth, provided no new source [of heat] was discovered. That prophetic utterance referred to what we are now considering tonight, radium! Behold! The old boy beamed upon me.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 10:34 PM
horizontal rule
89

On the general discussion, I do not trust myself to navigate the various fallacies that lurk in that parts of the discussion which hinge upon the anthropic principle. But still, nothing to be sniffed at, apes that got past some threshold of complex processing, and voila! Here we are.


Posted by: JP Stormcrow | Link to this comment | 09-13-11 10:42 PM
horizontal rule
90

81, 86: I don't know that cephalopods would need Euclidean geometry at all; I can imagine them doing chemistry before mechanics, & following essear's order because of that.

And if the kind of body matters, embodiment might matter.

After all, cuttlefish write in sepia ink.


Posted by: clew | Link to this comment | 09-13-11 10:44 PM
horizontal rule
91

I'm a straight-up platonist and think numbers are as real as animals in the zoo.


Posted by: alameida | Link to this comment | 09-13-11 11:33 PM
horizontal rule
92

not a completely rare position among the mathematicians I knew in grad school. of course, one of them was crazy (brilliant, but headed for schizophrenia), but there you go. and frankly the set theory guy was a little off as well. nonetheless, I'll stick to my guns on it. additionally, I find this explanation to be more or less self-evident, such that I really don't understand explanations like sifu's or heebie's at all. well not, not understand, more like I think, what on earth could have led them to that crazy conclusion, when the idea that numbers are real and exist independent of humans to think about them is so obviously right? just like when I had a friend who said geometric shapes don't exist independently of people to invent them and I said, dude, you know there's crystals forming everywhere all over the world? what are they but hexagonal and so forth?


Posted by: alameida | Link to this comment | 09-13-11 11:42 PM
horizontal rule
93

I do think it's pretty mysterious why the universe seems to operate in a way that can be expressed in terms of mathematics, especially mathematics that seems interesting and comprehensible to us.

Only because you're looking at it the wrong way. The mathematics that describe this universe are an inherent aspect of the universe and worrying about how it;s possible that they can describe so well the universe they're a part off is as pointless as wondering why our concept of a blue sky describes so well what we see outside on a clear sunny day.

Everything else in this vein is just us thinking how darned special we are and how lucky we are to live in a universe just right for us, putting consequence in front of cause, or descartes in front of the horse.


Posted by: Martin Wisse | Link to this comment | 09-13-11 11:46 PM
horizontal rule
94

Philosophy is all very well, but the important thing to take note of at this hour in the morning is that smoke alarms that go off to tell you that their batteries are running down are fucking annoying. Four thirty in the goddam morning, and I wake up to "Low... battery... (long pause) low... battery... (repeat ad lib)" And I already hadn't been sleeping well because Buck is out of town. Feh.


Posted by: LizardBreath | Link to this comment | 09-14-11 1:39 AM
horizontal rule
95

Very Wisse. I can't help finding all the arguments that take the rough form of the anthropic principle to be kinda unsatisfying, like wondering how I came to be just the right height and width to fit through a standard door frame. Is a bit of intellectual humility really that difficult?


Posted by: Alex | Link to this comment | 09-14-11 1:49 AM
horizontal rule
96

Meanwhile, Pythonic finance. There's an XML dialect for financial reporting (XBRL), so the next step is obviously to set up an application based at the SEC that scrapes all the XBRL disclosure files, executes the python code, and verifies the consistency of the accounts.

In the event of a discrepancy bigger than a given amount, it pushes the location of head office into the targeting interface of a squadron of MQ-9 Reaper drones assigned for this particular task. I feel this would be a real brake on the rate of retrogression in the quality of public accounting.

Obviously you'd need to have some pretty good precautions against code-injection attacks or some bright boy would try it on.


Posted by: Alex | Link to this comment | 09-14-11 1:54 AM
horizontal rule
97

It's not clear that there should be one single answer as to why mathematics is so effective. Maybe there are different answers in different situations. For example, the effectiveness of statistics is explained by things like the law of large numbers and the central limit theorem, but other areas need other explanations.


Posted by: Gareth Rees | Link to this comment | 09-14-11 2:26 AM
horizontal rule
98

Math may not be a language, but back when I was in grad school I taught the intro calculus one year. I discovered half way through the sememster that the top student in the class spoke very little English. I asked her how she followed the lectures or read the book. She said she just looked at the formulas.


Posted by: Walt Someguy | Link to this comment | 09-14-11 2:31 AM
horizontal rule
99

proposal to require certain financial deals* to be described in Python?

"I wish to lodge a complaint about this company I have bought. It's bankrupt."
"Oh, no sir. It's just... resting."
"Resting?"


Posted by: ajay | Link to this comment | 09-14-11 2:56 AM
horizontal rule
100

She said she just looked at the formulas.

Voila the script in which the language is written.


Posted by: chris y | Link to this comment | 09-14-11 2:59 AM
horizontal rule
101

I can't help finding all the arguments that take the rough form of the anthropic principle to be kinda unsatisfying, like wondering how I came to be just the right height and width to fit through a standard door frame.

"It is demonstrable," said he, "that things cannot be otherwise than as they are; for all being created for an end, all is necessarily for the best end. Observe, that the nose has been formed to bear spectacles--thus we have spectacles. Legs are visibly designed for stockings--and we have stockings. Stones were made to be hewn, and to construct castles--therefore my lord has a magnificent castle; for the greatest baron in the province ought to be the best lodged. Pigs were made to be eaten--therefore we eat pork all the year round. Consequently they who assert that all is well have said a foolish thing, they should have said all is for the best."

This point has been argued for a while, but people still seem to fall into the trap.


Posted by: chris y | Link to this comment | 09-14-11 3:07 AM
horizontal rule
102

You'd expect that animals that live in the ocean would probably be way less interested in astronomy than animals that live on land.

I don't know about that. Wouldn't it be rather important for them to know about tides and seasons? And long-distance navigation in the absence of landmarks is a lot easier when you look at the stars.

Of course, tool use - and therefore constructing telescopes - would be rather trickier if you lived in water. Maybe the heavens are full of worlds inhabited by intelligent but non-technological sea creatures, gazing up at the stars uncomprehending forever.


Posted by: ajay | Link to this comment | 09-14-11 3:17 AM
horizontal rule
103

Hey, much-smarter-than-me people, did we ever talk here about the SEC's proposal to require certain financial deals* to be described in Python?
The linked blog post is 18 months old; I'd be curious to know if anything ever came of the proposal.

It's in force, as far as I know.But it's not the deals as a whole that are described in Python, but specifically the cashflow waterfalls. Which is basically a series of if...then tests determining how principal and interest receipts on the underlying assets should be distributed to the different investors in a securitisation. So, eminently suited to being described in programming language. Previously, they were described in legalese in the transaction documents, and various third parties would attempt to translate that into code so that the cashflows could be modelled. The rule standardises this process and assigns responsibility to the issuer (technically the depositor, I think). That way everyone is using the same, official waterfall and they don't have to pay for it (the third party providers charge a lot of money).


Posted by: Ginger Yellow | Link to this comment | 09-14-11 3:19 AM
horizontal rule
104

99: The Unreasonable Effectiveness of Python in the Online Enterprise.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 4:44 AM
horizontal rule
105

Meanwhile, Pythonic finance. There's an XML dialect for financial reporting (XBRL), so the next step is obviously to set up an application based at the SEC that scrapes all the XBRL disclosure files, executes the python code, and verifies the consistency of the accounts.

Accounts can be consistent but still wrong. Or rather not representing a true and fair picture of the company's finances. That doesn't mean there aren't red flags that a script could pick up (eg large discrepancies between certain quarter end figures and the averages), but consitency alone doesn't help much with modern day fraud or malfeasance, at least for listed companies.


Posted by: Ginger Yellow | Link to this comment | 09-14-11 4:51 AM
horizontal rule
106

but consi[s]tency alone doesn't help much with modern day fraud or malfeasance, at least for listed companies.

See also Sarbanes-Oxley Compliance.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 4:55 AM
horizontal rule
107

Holy crap do I not understand this thread.


Posted by: Sir Kraab | Link to this comment | 09-14-11 5:32 AM
horizontal rule
108

It's also interesting that water happens to be denser as a liquid than as a solid; if it were the other way around, the environment wouldn't be particularly hospitable.

Because your drink would only be cold on the bottom. To avoid a warm drink, I suppose we'd have to use straws and no adult should drink from a straw in public unless they've had their jaws wired shut or something.


Posted by: Moby Hick | Link to this comment | 09-14-11 5:42 AM
horizontal rule
109

I'm glad 50 took my comments in spirit of light-hearted belligerence in which they were intended.

I'm also fairly pleased that, despite my expected (and desired!) total failure to ever stop anybody from talking about anything, I apparently have an uncanny ability to get under halford's skin. Hey halford: GM cars are junk!

Anyhow the real question underlying Commenter and essear's take seems to me to be "why did we develop analogical reasoning?" because that seems to be the core of all this, unless you want to back it out to "why are things like other things?" which is I'm sure a very deep philosophical question but is still not really germane, because it's definitely how things are in this universe and this universe is the one we've been looking at, in general.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:02 AM
horizontal rule
110

I spent a couple of hours this week listening to somebody try and convince me that the theories of cognition that (more-or-less) underlie this book are fallacious, but they were unsuccessful in that effort.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:05 AM
horizontal rule
111

Hey halford: GM cars are junk!

My dad stopped GM after 40 years of it. That last Buick was too much trouble. On the other hand, I've always owned Chrysler products. I think that disproves natural section.


Posted by: Moby Hick | Link to this comment | 09-14-11 6:05 AM
horizontal rule
112

"why did we develop analogical reasoning?"

Are you arguing that math is an analogy?


Posted by: Moby Hick | Link to this comment | 09-14-11 6:07 AM
horizontal rule
113

Not that it is an analogy, but that in some important and illuminating ways it is like an analogy.


Posted by: LizardBreath | Link to this comment | 09-14-11 6:09 AM
horizontal rule
114

Not all of it, no. Obviously, like, subitizing isn't analogical. But our ability to figure out how things work on scales other than a meter is definitely a function of our ability to reason by analogy.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:11 AM
horizontal rule
115

109.last: No, it's why our Plains Ape analogies are unreasonably effective.


Posted by: Eggplant | Link to this comment | 09-14-11 6:11 AM
horizontal rule
116

Math is banned.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:11 AM
horizontal rule
117

"Math is an analogy" is an analogy.


Posted by: Moby Hick | Link to this comment | 09-14-11 6:11 AM
horizontal rule
118

I hate epistimology.


Posted by: Moby Hick | Link to this comment | 09-14-11 6:12 AM
horizontal rule
119

Much as I'm enjoying the implications of math being an analogy, I should probably specify that, no, I'm not arguing that math is an analogy. I'm arguing that lots (most?) of math was developed by thinking about way things are analogoous to other things.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:13 AM
horizontal rule
120

+are


Posted by: Eggplant | Link to this comment | 09-14-11 6:13 AM
horizontal rule
121

115: prior supposition of unreasonability does not a mystery make. People have been trying to improve and refine and generalize and formalize math for, what, tens of thousands of years?


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:18 AM
horizontal rule
122

Going back to the discovered/invented question, I've been thinking out this. I have decided:

Basic arithmetic - discovered
Algebra - invented
Geometry - discovered
Trigonometry - discovered
Calculus - invented
Set theory - I have no idea what this means
Statistics - invented


Posted by: Moby Hick | Link to this comment | 09-14-11 6:19 AM
horizontal rule
123

. On the other hand, I've always owned Chrysler products. I think that disproves natural section.

Not at all, Moby, it's handicap theory. Females are impressed by your driving a Chrysler on the grounds that, if you can still get where you are going even in one of those, you must be a terrific driver. Like a peacock's tail, the message of which is "hey, I'm so strong and fit that I can manage to fly and survive even with this ridiculous thing attached to my bottom".


Posted by: ajay | Link to this comment | 09-14-11 6:24 AM
horizontal rule
124

I don´t see how calling math a language helps much. Is chess a language? Other analogies are frowned on. A symbolic representation of something else, even one capable of recursion, is much much weaker than a language.

From way above, this is the type of thing I find totally exasperating. It's not an analogy. It may be imprecise to call it a language, but we all know what we're talking about: symbols and conventions for communicating content.


Posted by: heebie-geebie | Link to this comment | 09-14-11 6:27 AM
horizontal rule
125

hey, I'm so strong and fit that I can manage to fly and survive even with this ridiculous thing attached to my bottom


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:28 AM
horizontal rule
126

124: How does that way of thinking separate "math" from "notation"?


Posted by: Moby Hick | Link to this comment | 09-14-11 6:30 AM
horizontal rule
127

You* can write calc stuff in at least two different ways.

*I can't, but I'm assuming you can.


Posted by: Moby Hick | Link to this comment | 09-14-11 6:31 AM
horizontal rule
128

I'm off to stats class, where I won't understand the derivations because I don't speak calc.


Posted by: Moby Hick | Link to this comment | 09-14-11 6:32 AM
horizontal rule
129

The language in 119 has problems. The math is fine.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:36 AM
horizontal rule
130

124: How does that way of thinking separate "math" from "notation"?

I'd loosely be okay calling these synonyms. Notation + conventions + rigor = math.


Posted by: heebie-geebie | Link to this comment | 09-14-11 6:38 AM
horizontal rule
131

Anyhow, I don't really get the "math is a language" thing, I must admit. Are languages axiomatic?


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:38 AM
horizontal rule
132

"Math is language" just means that the person is talking about the scribbles and symbols and graphite on the paper, not platonic ideals of THE NUMBER FOUR! that exist in a bubble near the ceiling of the classroom.

EVERYONE GOT IT?


Posted by: heebie-geebie | Link to this comment | 09-14-11 6:41 AM
horizontal rule
133

symbols and conventions for communicating content.

But when people want to know whether math is discovered or invented, what they're asking about is the content: i.e, are the truths of mathematics independent of, for example, contingent psychological facts about how humans reason or not?--when we make "discoveries" in mathematics are we doing something more than simply extrapolating the consequences of axioms and rules of inference that we've agreed are legitimate?

I'm not seeing how calling mathematics a "language" really gets any traction on those questions.


Posted by: Criminally Bulgur | Link to this comment | 09-14-11 6:44 AM
horizontal rule
134

Heebie's a notationician, not an arithmetician.


Posted by: essear | Link to this comment | 09-14-11 6:45 AM
horizontal rule
135

Because it's a trick question. Parts of math are invented, parts are discovered. Calling it a language identifies the part that is invented - the part specific to that group of people - they invented the notation needed to talk about the ideas. Calling the actual ideas out there "discovered" seems off to me, but I mostly just can't get worked up about it either way.


Posted by: heebie-geebie | Link to this comment | 09-14-11 6:47 AM
horizontal rule
136

132: If there isn't some real "4" that exists outside various written versions of it, then how come I have four fingers on each hand?


Posted by: Moby Hick | Link to this comment | 09-14-11 6:49 AM
horizontal rule
137

135: it's not a trick question; the question of whether there are "ideas out there" is the whole meat of it. You're attempting to side-step it but unsuccessfully; nobody in the history of ever has argued that mathematical notation was discovered in its platonic form.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:51 AM
horizontal rule
138

136: you lost your thumbs in an accident?


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:51 AM
horizontal rule
139

I didn't make the joke explicit. I discovered the joke.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:52 AM
horizontal rule
140

This classroom has a motorized blackboard.


Posted by: Moby Hick | Link to this comment | 09-14-11 6:53 AM
horizontal rule
141

Why don't people ever talk about the discovery of, like, verbs? Why should it be that verbs do such an extraordinary job of communicating the relationships between objects?


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:54 AM
horizontal rule
142

the question of whether there are "ideas out there" is the whole meat of it.

Then this is a question that I basically don't get. (Off to teach or I'd elaborate.)


Posted by: heebie-geebie | Link to this comment | 09-14-11 6:55 AM
horizontal rule
143

141: People spend a great deal of time talking about the development of language and how much of it is innate and why certain concepts keep reoccurring.


Posted by: Moby Hick | Link to this comment | 09-14-11 6:57 AM
horizontal rule
144

143: oh boy do I know it. But still, nobody talks about humans discovering linguistic concepts that were out there; they talk about the human faculty of language evolving to suit the purposes for which it was most useful.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 6:58 AM
horizontal rule
145

You could certainly talk about whether mathematical ideas are innate or not; some clearly are, and there's a fairly tedious amount of disagreement about others. But that's different from talking about whether math exists independent of humans thinking about/caring about math.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 7:00 AM
horizontal rule
146

Right, but nobody doubts there is a "tree" independent of the word.


Posted by: Moby Hick | Link to this comment | 09-14-11 7:01 AM
horizontal rule
147

146: I respect your ability to reason analogically, but reject your analogy.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 7:03 AM
horizontal rule
148

Anyhow, "tree" isn't a verb.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 7:05 AM
horizontal rule
149

Usually.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 7:05 AM
horizontal rule
150

Surprisingly on point: My son's third grade math worksheet (from a major publisher) had the following question on it last night.

"The area of Israel is 8,550 square miles. Write the area of Israel in word form."

WTF? Isn't this question kind of sensitive for a third grade math homework assignment? A fair number of American third graders have family members who died in the many wars and terrorist attacks about the size of Israel.

Also, it seems to be wrong, according to the United States of America. The CIA factbook and Wikipedia say 20,700 square kilometers, which Wikipedia translates to 7,992 square miles. Infoplease.com says 7,849. Answers.com says 8,367 sq mi. look-israel.com says Israel has 8,463. Various other sites have numbers either just under 8,000 or in the 83-8500 range. I'm pretty sure that the difference is a political issue, maybe inclusion of the West Bank.

Clearly a Zionist conspiracy controls American textbooks.


Posted by: unimaginative | Link to this comment | 09-14-11 7:06 AM
horizontal rule
151

It's only on the rare occasion that I get outside of light pollution and actually see the real sky that humans saw prior to the industrial revolution that I realize why people cared so much about astronomy so early on. Yes "intelligent cuttlefish" would understand tides relatively early on, and they might get a theory relating that to the moon. But there's no way in hell that they'd discover planets anywhere near as early as humans.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-14-11 7:06 AM
horizontal rule
152

150: What is the answer supposed to be? Is it "Eight thousand five hundred fifty square miles..."?

I can't determine if this indicates that I need to repeat 3rd grade, or that you should be home schooling your son.


Posted by: peep | Link to this comment | 09-14-11 7:16 AM
horizontal rule
153

152: you forget "and". That's okay, third grade is nice.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 7:20 AM
horizontal rule
154

151: Yeah, the answer was to write out the number in words. Aside from politics, it's a useful exercise for understanding where to say "thousand" etc. Rely on other evidence ot determine if you should repeat third grade.


Posted by: unimaginative | Link to this comment | 09-14-11 7:21 AM
horizontal rule
155

Integers look Platonic when you think about them, but objects invented to prove a point, say the Banach-Tarski paradoc or Kuramoto-Sivashinski equation are as artificial as Rubik's cube. Where is the boundary between nature and artifice?

We are not the first to consider this question. Two essays that I like, both of which stress the importance of broader context for mathematical ideas, are Quine's Two Dogmas of Empricism
and Kac and Ulam's Mathematics and Logic,
one good chapter on Google books.


Posted by: lw | Link to this comment | 09-14-11 7:23 AM
horizontal rule
156

151: planets are just wandering stars, they don't need any particular technology to discover.

We are sort of assuming an intelligent sea creature with eyes that work out of the water. Not all sea creatures have such eyes. Dolphins and seals do; others don't. An intelligent creature that couldn't see in air would have serious problems seeing the stars and even the moon.


Posted by: ajay | Link to this comment | 09-14-11 7:25 AM
horizontal rule
157

153: I didn't forget it. I made a conscious decision that it was not needed.

I guess that settles it. The school year has already started, but maybe if I beg they'll let me in anyway.


Posted by: peep | Link to this comment | 09-14-11 7:25 AM
horizontal rule
158

We are not the first to consider this question

What? No!


Posted by: Sifu Tweety | Link to this comment | 09-14-11 7:27 AM
horizontal rule
159

Now I am off to stats class, where I will be enraged by the stupidity of the way it is taught.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 7:28 AM
horizontal rule
160

I was not assuming intelligent sea creatures that could see out of the water. (After all, it's not like our intelligence allows *us* to see very well under water!) Nonetheless I'd bet they get to the moon pretty quickly. The full moon is really bright, it should be noticeable near the surface under water.


Posted by: Unfoggetarian: "Pause endlessly, then go in" (9) | Link to this comment | 09-14-11 7:33 AM
horizontal rule
161

As far as I know, cephalopods are unique for having intelligence (certainly an ability to manage spatial relations, possibly more) coupled with a short lifespan. Octopus live only a few years, reproduction kills them.

Intelligent birds, cetaceans, and other primates all have much longer lifespans. Finches sometimes get cited, they have complex songs, but not nearly as capable of learning as are parrots.


Posted by: lw | Link to this comment | 09-14-11 7:48 AM
horizontal rule
162

Now I am off to stats class, where I will be enraged by the stupidity of the way it is taught.

I am currently taking an online class on UNIX (part of a programming certification) in which the only work that is actually graded are multiple choice questions from some obviously textbook-provided "instructional technology," e.g.:

"Which of the following is not a commonly used text editor in UNIX?"
a. . . .
b. . . .
c. edlin
d. . . .
e. . . .

Because being able to recall the names of text editors (rather than, say, actually using one of them to create shell scripts to solve a problem) is exactly the kind of skill programmers need to master.

To say the instructional quality in this program varies greatly by instructor doesn't even begin to describe, etc.


Posted by: Criminally Bulgur | Link to this comment | 09-14-11 7:51 AM
horizontal rule
163

As far as I know, cephalopods are unique for having intelligence (certainly an ability to manage spatial relations, possibly more) coupled with a short lifespan.

This is probably a good thing. Imagine what the evil tempered little sods would pull off if they had seventy years to plot in.


Posted by: chris y | Link to this comment | 09-14-11 7:52 AM
horizontal rule
164

Then this is a question that I basically don't get. (Off to teach or I'd elaborate.)

Back from teaching. Of course they're not out there in some fruity sense. "Blue" and "4" and "Lie Groups" are adjectives in our head. Sometimes they match up to something out there. Sometimes they don't, because we have imaginations.


Posted by: heebie-geebie | Link to this comment | 09-14-11 8:01 AM
horizontal rule
165

Imagine what the evil tempered little sods would pull off if they had seventy years to plot in.

I already have.


Posted by: Ginger Yellow | Link to this comment | 09-14-11 8:09 AM
horizontal rule
166

"Lie group" is an adjective? Looks like I don't understand math, philosophy, or grammar.


Posted by: essear | Link to this comment | 09-14-11 8:15 AM
horizontal rule
167

Among the rain
and lights
I saw the figure 5
in gold

out there


Posted by: JP Stormcrow | Link to this comment | 09-14-11 8:16 AM
horizontal rule
168

Squid and sharks already migrate vast distances without using the stars (probably ). If they became intelligent, they could start with chemistry, topology, fluid dynamics; metric spaces would be the late formalization.


Posted by: clew | Link to this comment | 09-14-11 8:18 AM
horizontal rule
169

165: Ha, Ginger Yellow, I was wearing one of those yesterday. Bit of a man-magnet, too.


Posted by: clew | Link to this comment | 09-14-11 8:20 AM
horizontal rule
170

Somehow I'm not surprised that there are a number of Google hits for "math is a verb".


Posted by: essear | Link to this comment | 09-14-11 8:21 AM
horizontal rule
171

All their scientific knowledge is held by a group of long-lived, celibate, cephalopod monks.


Posted by: Eggplant | Link to this comment | 09-14-11 8:26 AM
horizontal rule
172

"Lie group" is an adjective? Looks like I don't understand math, philosophy, or grammar.

I regretted using "adjective" immediately after posting. I just meant "description".


Posted by: heebie-geebie | Link to this comment | 09-14-11 8:33 AM
horizontal rule
173

168: they could start with chemistry, topology, fluid dynamics

Yes, they'd probably have subject called gradientology.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 8:33 AM
horizontal rule
174

"If an intelligent alien squid were to design a school curriculum, what subjects would it include?"


Posted by: ajay | Link to this comment | 09-14-11 8:44 AM
horizontal rule
175

If they became intelligent, they could start with chemistry, topology, fluid dynamics; metric spaces would be the late formalization.
Intelligent sharks would probably have worked out Maxwell's equations before Maxwell.


Posted by: Ginger Yellow | Link to this comment | 09-14-11 8:47 AM
horizontal rule
176

Well, somewhere in the corpus there'd be something analagous to Moby Dick.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 8:48 AM
horizontal rule
177

175, 176: Also Abbey Road.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 8:50 AM
horizontal rule
178

175: Intelligent demon sharks.

(Don't worry the important recommendation is due in at 1:30, so this is time-limited.)


Posted by: JP Stormcrow | Link to this comment | 09-14-11 8:52 AM
horizontal rule
179

Why math is useful in science is a very interesting question though

This was the topic of my dissertation. I wanted to say that the question was badly put, and I had a better way of putting it, but now I just admit that I don't fucking know anything.


Posted by: rob helpy-chalk | Link to this comment | 09-14-11 8:56 AM
horizontal rule
180

159: I enjoyed my stats class. Maybe you're just too easily enraged?


Posted by: Moby Hick | Link to this comment | 09-14-11 9:03 AM
horizontal rule
181

40 etc. I used to get stabby when I would read of the (Lacanian? I can't even remember, because it's been a long time since school and I'm getting rapidly stupider) idea that "the unconscious is structured like a language" because it's so goddamn meaningless. The best parallel I could come up with was "my kidney is structured like a foxtrot."

I am sorry I missed this thread until it was impossible to do anything but skim or else abandon all work for the day.


Posted by: Mister Smearcase | Link to this comment | 09-14-11 9:04 AM
horizontal rule
182

172 I regretted using "adjective" immediately after posting. I just meant "description".

But I don't think "Lie group" is descriptive in the same way "blue" is. "Blue" is a fuzzy human concept -- it doesn't have very well-defined boundaries, our idea of whether something is blue depends on lighting and our perception and different people might disagree at the edges. But "Lie group" is an exact concept. It's really exactly true that gluons interact according to the su(3) Lie algebra, and when I say "exact" I do mean it in a sense I can make precise. It's like energy conservation in that I believe it far more than I believe individual experiments and measuring apparatuses; screw it up, and things change dramatically. So it really is exact.

[Yes, energy conservation is somewhat mangled in general relativity, but again, there is an exact statement that I could make precise if anyone wants to force me to. I do think these are things we know about our universe that no amount of future information can ever change, and they happen to fit with mathematical structures people invented for other reasons. It's... weird.]


Posted by: essear | Link to this comment | 09-14-11 9:07 AM
horizontal rule
183

What's so aggravating about this "math is a language" phrase? We've got ideas in our head. We describe them with symbols. We call it math if it's rigorous.


Posted by: heebie-geebie | Link to this comment | 09-14-11 9:08 AM
horizontal rule
184

But "Lie group" is an exact concept.

Because that's how mathematical content works. The idea has to be well-defined if you're playing by the conventions of math. "Four" is a well-defined, exact concept that functions very closely to "blue".


Posted by: heebie-geebie | Link to this comment | 09-14-11 9:11 AM
horizontal rule
185

We call it math if it's rigorous.

What does saying "math is a language" add to that? The whole question becomes what is "rigor" and language is just a trivial side issue.


Posted by: Moby Hick | Link to this comment | 09-14-11 9:12 AM
horizontal rule
186

You're saying the discovered/invented riddle amounts to asking "what is mathematical rigor?"?


Posted by: heebie-geebie | Link to this comment | 09-14-11 9:14 AM
horizontal rule
187

Because, easy: mathematical rigor is like jazz.


Posted by: heebie-geebie | Link to this comment | 09-14-11 9:15 AM
horizontal rule
188

184: But why does nature like to play with the same mathematical concepts we do? Why does something some Norwegian dude dreamed up a century ago turn out to be how gluons interact when no one knew what the hell a gluon was for several decades after that?


Posted by: essear | Link to this comment | 09-14-11 9:15 AM
horizontal rule
189

187: You make it up as you go along?


Posted by: essear | Link to this comment | 09-14-11 9:16 AM
horizontal rule
190

But that's just interesting because Lie Groups and gluons are right on the boundaries of our knowledge. It's not very interesting that "4" describes Moby's fingers really well.


Posted by: heebie-geebie | Link to this comment | 09-14-11 9:17 AM
horizontal rule
191

Hmm. Maybe it's more like obscenity then.


Posted by: heebie-geebie | Link to this comment | 09-14-11 9:18 AM
horizontal rule
192

186: No. I'm saying what I find so aggravating about this "math is a language" phrase.


Posted by: Moby Hick | Link to this comment | 09-14-11 9:19 AM
horizontal rule
193

It's not very interesting that "4" describes Moby's fingers really well.

That's what the lawyer for the people who made the coffee grinder kept saying.



Posted by: Moby Hick | Link to this comment | 09-14-11 9:21 AM
horizontal rule
194

And 135 doesn't address 185?


Posted by: heebie-geebie | Link to this comment | 09-14-11 9:23 AM
horizontal rule
195

188: The way I've always thought of it is that mathematics all comes down to logical deduction. You start with the simple stuff, and keep on with using logic to prove more complicated things, and then you get to all the crazy math that I will never understand. And we've evolved to use logic (among other strategies) to understand the physical world because it does describe how physical objects behave on a gross level.

So it makes sense that the logic that evolved to help us deal with an observed universe that behaves logically continues to be applicable even in more esoteric areas that are not directly observable.

To say it another way, I have no idea what either a Lie group is, or what gluons are. But whatever gluons are, they have to behave in some kind of logically consistent way, because things in the physical world do. And any kind of logically consistent way that gluons could behave is going to be describable by some kind of math.


Posted by: LizardBreath | Link to this comment | 09-14-11 9:24 AM
horizontal rule
196

But it doesn't even stop there. As Commenter said, there are other mathematical structures that crop up all over the place, and some of them I think can even have similar "exactness" statements made about them (handwaving about universality goes here). It isn't weird that, like, particular lumps of material turn out to obey, in very precise senses, all sorts of rules that people made up just for the fun of it?


Posted by: essear | Link to this comment | 09-14-11 9:24 AM
horizontal rule
197

Somewhat surprisingly, I actually suspect (and I'm not a philosopher of Math) that the book we were all supposed to be mocking in the OP has more rigorous and accurate analysis of the questions under discussion than what we are seeing here.


Posted by: Robert Halford | Link to this comment | 09-14-11 9:24 AM
horizontal rule
198

194: Not really.


Posted by: Moby Hick | Link to this comment | 09-14-11 9:26 AM
horizontal rule
199


The very first paper I wrote as a college freshman was on this topic. I remember citing a quote from someone to the effect of "mathematicians are constructivists in the workplace, but when they go home in the evening, they're platonists."


Posted by: Knecht Ruprecht | Link to this comment | 09-14-11 9:26 AM
horizontal rule
200

Update to 198: I understand why the question might be uninteresting, but I don't understand how saying "Math is a language" is supposed to related to that either.


Posted by: Moby Hick | Link to this comment | 09-14-11 9:28 AM
horizontal rule
201


199: or maybe it was formalists at work rather than constructivitists. It was a long time ago.


Posted by: Knecht Ruprecht | Link to this comment | 09-14-11 9:31 AM
horizontal rule
202

I think y'all would find these questions considerably more tractable if you just accepted Jesus as your personal lord and savior.


Posted by: Merganser | Link to this comment | 09-14-11 9:31 AM
horizontal rule
203

when they go home in the evening, they're platonists.

NTTIAWWT.


Posted by: Moby Hick | Link to this comment | 09-14-11 9:33 AM
horizontal rule
204

pwned by 197, kinda.


Posted by: Merganser | Link to this comment | 09-14-11 9:34 AM
horizontal rule
205

195: All deduction starts with a prior set of premises. These must either be postulated out of somebody's head (invented) or induced from observation (discovered).


Posted by: Moby Hick | Link to this comment | 09-14-11 9:34 AM
horizontal rule
206

Moby, I'm lost. There's some question that's interesting to you and others, and I don't get which part of it isn't obvious.


Posted by: heebie-geebie | Link to this comment | 09-14-11 9:35 AM
horizontal rule
207

Two of the original questions seem to be getting run together.

The invention/discovery question is separate from the question of why the physical world is describable in terms of something that is invented/discovered independently of our experience of the physical world.

On the first question, I again don't see how

"playing by the conventions of math"

gets any traction on the issue. The question becomes what contrains the conventions. The conventions of chess, for example, are constrained by human agreement about what makes up the game. That's the clear sense in which chess is invented by human beings. Numbers, their properties, and their relations are clearly not like that.


Posted by: Criminally Bulgur | Link to this comment | 09-14-11 9:38 AM
horizontal rule
208

206: I'm kind of a closet Platonist when it comes to math.


Posted by: Moby Hick | Link to this comment | 09-14-11 9:39 AM
horizontal rule
209

208 would probably be less confusing if I hadn't made a stupid joke on the same word in 203.


Posted by: Moby Hick | Link to this comment | 09-14-11 9:39 AM
horizontal rule
210

Almost all mathematicians not working on foundations are deep down platonists about the natural numbers. But for anything else (say real numbers or sets) there's no consensus.


Posted by: Unfoggetarian: "Pause endlessly, then go in." (9) | Link to this comment | 09-14-11 9:43 AM
horizontal rule
211

I'm a bit of a Platonist about higher level concepts like the normal curve. Perhaps such thinking stems from my being religious or perhaps it is the statistical training with its constant references to unobserved (and unobservable) parameters.


Posted by: Moby Hick | Link to this comment | 09-14-11 9:48 AM
horizontal rule
212

197: Somewhat surprisingly, I actually suspect ... that the book we were all supposed to be mocking in the OP has more rigorous and accurate analysis of the questions under discussion than what we are seeing here.

Hmm, math textbook written by actual math professors vs. blog comments section. Surprising!


Posted by: JP Stormcrow | Link to this comment | 09-14-11 10:00 AM
horizontal rule
213

The way I've always thought of it is that mathematics all comes down to logical deduction.

YOU PEOPLE ARE FUCKING KILLING ME HERE. KILLING ME.


Posted by: OPINIONATED KURT GOEDEL | Link to this comment | 09-14-11 10:13 AM
horizontal rule
214

If the book just deals with questions like this, then I'm not clear what makes the book in the tradition of Christianity, rather than just the philosophy of math.


Posted by: heebie-geebie | Link to this comment | 09-14-11 10:14 AM
horizontal rule
215

I'm not clear what makes the book in the tradition of Christianity, rather than just the philosophy of math.

The publishers' impression of their likely market?


Posted by: chris y | Link to this comment | 09-14-11 10:16 AM
horizontal rule
216

214: I imagine most modern philosophers of math don't try to use the platonist position as an existence proof for jesus?

197: did you have specific problems with this discussion, or are you just confused by it generally?


Posted by: Sifu Tweety | Link to this comment | 09-14-11 10:23 AM
horizontal rule
217

We've got ideas in our head. We describe them with symbols.

This is a very strongly expressed view of language, that ideas always exist aside from their expression. There are people who disagree about the scope of this characterization, and cases where this does not apply (commands and exclamations, for examples in one direction, computer-generated theorems in the other). This disagreement is about scope is why idintifying math as a language means wildly different things to different people.

Some of the relations about numbers pretty clearly are invented by people; we can speak with great precision about integers that exceed the magnitude of the universe.


Posted by: lw | Link to this comment | 09-14-11 10:24 AM
horizontal rule
218

TBH and IMO, a basis for the philosophy of probability in divine providence wouldn't be that much less satisfying than any other currently running candidate.


Posted by: dsquared | Link to this comment | 09-14-11 10:27 AM
horizontal rule
219

oops, "disagreement about scope is why" is what I meant to write.


Posted by: lw | Link to this comment | 09-14-11 10:28 AM
horizontal rule
220

217.2: Without specifying the units, even?


Posted by: Merganser | Link to this comment | 09-14-11 10:29 AM
horizontal rule
221

We've got ideas in our head. We describe them with symbols.

MAKE THEM STOP, PLEASE KURT MAKE THEM STOP. WE CAN TALK ABOUT WHETHER "LOGICAL DEDUCTION" MEANS "AXIOMATIC SYSTEMS" LATER.


Posted by: OPINIONATED LUDWIG WITTGENSTEIN | Link to this comment | 09-14-11 10:29 AM
horizontal rule
222

we can speak with great precision about integers that exceed the magnitude of the universe

I know the answer is going to make baby David Hilbert cry, but what do you mean by "an integer which exceeds the magnitude of the universe"?


Posted by: dsquared | Link to this comment | 09-14-11 10:31 AM
horizontal rule
223

220: sure.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 10:31 AM
horizontal rule
224

222: 16.


Posted by: Moby Hick | Link to this comment | 09-14-11 10:35 AM
horizontal rule
225

???
application of measure theory and a particular set of combinatoric results.

Universe in units of the Planck length, say. People discuss properties of natural numbers too large and too small to be imagined, let alone referring to anything. My point is that in thinking about, say, partitions of integers, any connection with observable reality is quickly left behind.


Posted by: lw | Link to this comment | 09-14-11 10:35 AM
horizontal rule
226

Don't know if I'll ever read Godel, et al, but there was some Hofstadter thing that I read about analogy and cognition that was pretty interesting and possibly even relevant to this thread.


Posted by: fake accent | Link to this comment | 09-14-11 10:36 AM
horizontal rule
227

Personally I (and iirc, Wittgenstein) think that "mathematics is like a language" is about right in terms of being the best five word slogan you could have, but I think one has to admit that it would be a lot more useful an explanation if anyone anywhere had a remotely straightforward answer to the question "What is a language?" or indeed "what is the relationship between language and the real world?".

I have now joined the winning team and thus believe that academic philosophy made loads and loads of progress in the last fifty years, but unfortunately those two particular questions have remained a bit stubborn.


Posted by: dsquared | Link to this comment | 09-14-11 10:36 AM
horizontal rule
228

The Nagel and Newman book on Godel's proof is great. Hofstadter is just OK on this topic.


Posted by: lw | Link to this comment | 09-14-11 10:39 AM
horizontal rule
229

Universe in units of the Planck length, say.

why the Planck length, rather than (for any integer N), the Planck length raised to the power -N?


Posted by: dsquared | Link to this comment | 09-14-11 10:40 AM
horizontal rule
230

Because Budweiser is pisswater, that's why.


Posted by: lw | Link to this comment | 09-14-11 10:41 AM
horizontal rule
231

229: I recall somebody using the number of atoms or particles in the universe for that purpose. But, whatever the maximum number is, you can always multiply it by itself and get a bigger one.


Posted by: Moby Hick | Link to this comment | 09-14-11 10:43 AM
horizontal rule
232

Wittgenstein

You mean Tractatus WIttgenstein rather than Blue+Brown books W, right? Blue+Brown W attacked and soundly defeated Tractatus W with a fireplace poker. In front of witnesses.


Posted by: lw | Link to this comment | 09-14-11 10:45 AM
horizontal rule
233

I recall somebody using the number of atoms or particles in the universe for that purpose

Why the number of atoms in the universe, rather than the number of sets of atoms in the universe, or sets of sets of atoms in the universe, etc etc?


Posted by: dsquared | Link to this comment | 09-14-11 10:45 AM
horizontal rule
234

I MEAN THE WITTGENSTEIN OF "REMARKS ON THE FOUNDATIONS OF MATHEMATICS". I GUESS YOU MIGHT NOT HAVE HEARD OF THEM. THEY'RE PRETTY OBSCURE.

NO, NOT "LECTURES ON THE FOUNDATIONS OF MATHEMATICS". I ONLY REALLY LIKE THE POSTHUMOUS STUFF.


Posted by: OPINIONATED PHILOSOPHY OF MATHEMATICS HIPSTER | Link to this comment | 09-14-11 10:47 AM
horizontal rule
235

Sets of sets are quanta?


Posted by: Sifu Tweety | Link to this comment | 09-14-11 10:47 AM
horizontal rule
236

And then the Remarks on the Foundations of Mathematics Wittgenstein destroyed both of them with a folding chair.


Posted by: | Link to this comment | 09-14-11 10:48 AM
horizontal rule
237

233: I have no idea, but you can call the number of sets of sets of atoms in the universe X and then write down X^100 and you are discussing a number too large to be of any physical relevance.


Posted by: Moby Hick | Link to this comment | 09-14-11 10:48 AM
horizontal rule
238

236 was me, and posted before I saw 234.


Posted by: nosflow | Link to this comment | 09-14-11 10:49 AM
horizontal rule
239

235: they're denumerable. I have just got Baby Georg Cantor to sleep, please don't make him cry.


Posted by: dsquared | Link to this comment | 09-14-11 10:49 AM
horizontal rule
240

they're denumerable

It is almost impossible to denumber a car these days. The VIN is in so many places.


Posted by: Moby Hick | Link to this comment | 09-14-11 10:50 AM
horizontal rule
241

you can call the number of sets of sets of atoms in the universe X and then write down X^100 and you are discussing a number too large to be of any physical relevance

it's got a perfectly clear physical relevance; it's the number of sets of sets of sets of ... (iterated some number of times, can't be bothered to work it out) atoms in the universe. If you're going to allow such things as sets of things, you can get integers as high as you like by counting your feet (binary!)


Posted by: dsquared | Link to this comment | 09-14-11 10:52 AM
horizontal rule
242

I should add that I sort of see where you're going with this - the natural numbers are defined with reference to the activity of counting, rather than specific physical objects - but one shouldn't underestimate how many ways there are to get the simplest physical objects into the same relationships as mathematical entities, something which apparently puzzles a lot of people why that should be so.


Posted by: dsquared | Link to this comment | 09-14-11 10:56 AM
horizontal rule
243

241: Not if you want physical relevance. You need to keep a set to describe the dimensions you used to define your sets. Unless you are saying that your sets are somehow held in some state that is not part of the universe.


Posted by: Moby Hick | Link to this comment | 09-14-11 10:58 AM
horizontal rule
244

Not if Jesus counts your feet for you!


Posted by: Merganser | Link to this comment | 09-14-11 11:05 AM
horizontal rule
245

the natural numbers are defined with reference to the activity of counting, rather than specific physical objects

Right, if you are counting such that each set (where a set can be an individual item, a group of items, or a group of previously defined groups or whatever) is only counted once, you need a way to record what you have counted. If what you are counting is the smallest discernable unit in the universe, every set you define requires X number of units to mark it as counted and X is greater than one.

Not if Jesus counts your feet for you!
Or, you can ignore what I wrote above if somehow you have defined the universe to exclude whatever you are recording the count on


Posted by: Moby Hick | Link to this comment | 09-14-11 11:10 AM
horizontal rule
246

Wait, this is a serious conversation?

Large integers are just one example of naively Platonic mathematical objects whose boundary with invented constructions cannot be drawn.

If integers, then what about fractions? Continued fractions? Generalized continued fractions? Fibonacci numbers?

denumerable

Set of all sets that do not contain themselves as members, included in set of sets or not?


Posted by: lw | Link to this comment | 09-14-11 11:11 AM
horizontal rule
247

they're denumerable

Is this from a lost verse of "It's De-Lovely"?


Posted by: Mister Smearcase | Link to this comment | 09-14-11 11:13 AM
horizontal rule
248

246: Not, because there is no such entity, therefore it can't be included in any sets.


Posted by: dsquared | Link to this comment | 09-14-11 11:13 AM
horizontal rule
249

175, 176: Also Abbey Roadoe.


Posted by: Annelid Gustator | Link to this comment | 09-14-11 11:13 AM
horizontal rule
250

246: I assumed we had unwittingly wandered back to the post title.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 11:14 AM
horizontal rule
251

Starting with natural numbers being defined with reference to the activity of counting doesn't really prevent you from spinning off into wild flights of dsquared-like fancy, because you're pretty soon going to introduce a symbolism that makes things a lot more convenient to express and define, and once you've got the symbolism, it will suggest further things you can do. So while ultimately everything will be grounded in the activity of counting, you can get to such bizarre things as sets of sets of sets pretty fast.

A counting-based reconstruction of, for instance, multiplication is not very hard to define, but it is pretty tedious, and it would be tedious as fuck to define exponentiation that way (not to mention you'd need a lot of things on hand to count!). You'll end up talking about numbers and operations on numbers as a notational convenience even if deep down you really mean complex counting-based operations. And the notation can take on a life of its own.


Posted by: nosflow | Link to this comment | 09-14-11 11:14 AM
horizontal rule
252

249: -o


Posted by: JP Stormcrow | Link to this comment | 09-14-11 11:16 AM
horizontal rule
253

I really hope the book has a chapter on numerology and the Bible codes.


Posted by: PGD | Link to this comment | 09-14-11 11:17 AM
horizontal rule
254

I mean, I find it a lot more puzzling that the decoded Book of Revelations predicts Obama's election than that mathematics is useful in modeling gravitational attraction or whatever.


Posted by: PGD | Link to this comment | 09-14-11 11:21 AM
horizontal rule
255

I'll take this thread to 1080 all by myself if I have to.


Posted by: Merganser | Link to this comment | 09-14-11 11:26 AM
horizontal rule
256

I'll take this thread to 1080 all by myself if I have to.


Posted by: Merganser | Link to this comment | 09-14-11 11:26 AM
horizontal rule
257

And that's just one of my strategies.


Posted by: Merganser | Link to this comment | 09-14-11 11:27 AM
horizontal rule
258

You only get credit if you can do it without repeating yourself.


Posted by: nosflow | Link to this comment | 09-14-11 11:27 AM
horizontal rule
259

Damn.


Posted by: Annelid Gustator | Link to this comment | 09-14-11 11:28 AM
horizontal rule
260

254 than that mathematics is useful in modeling gravitational attraction or whatever.

What I was trying to say is that what is mysterious is not that it's "useful in modeling" things, but that some aspects of our world interact in ways that are exactly determined by various (nonelementary) mathematical concepts.


Posted by: essear | Link to this comment | 09-14-11 11:32 AM
horizontal rule
261

Using d2 rules, there is some sense in which this thread has already exceeded 1080.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 11:32 AM
horizontal rule
262

Many, many senses.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 11:33 AM
horizontal rule
263

Yeah, but who cares about potential infinities.


Posted by: nosflow | Link to this comment | 09-14-11 11:34 AM
horizontal rule
264

As usual, I have no idea what point dsquared is trying to convey.


Posted by: essear | Link to this comment | 09-14-11 11:35 AM
horizontal rule
265

To 216.2, I apologize for my general pissiness in the thread. Here was my problem, which doesn't really justify the pissiness. Much of the early discussion was of the form: "Hey, look at these dogmatic Christian morons writing a know-nothing argument about the philosophy of math based on their prior unexamined beliefs. Here, let me make a dogmatic, know-nothing argument about the philosophy of math based on my prior unexamined beliefs."

I mean, I don't really take any side on the issues argued here and am not competent to do so, but one thing that is clear is that they are not easy issues, and that there are a lot of smart people who have spent a lot of time thinking about them.


Posted by: Robert Halford | Link to this comment | 09-14-11 1:44 PM
horizontal rule
266

This marketing approach definitely does not approaching Christianity or philosophy in good faith. Hence it's open to mockery. I am ready to believe that the authors approached the subject in good faith, but I'd also believe they didn't. Either seems plausible.


Posted by: heebie-geebie | Link to this comment | 09-14-11 1:54 PM
horizontal rule
267

denumerable

Ah, that term would have been very handy in my previous (unfortunately tedious) dispute with H-G about infinity.


Posted by: NickS | Link to this comment | 09-14-11 1:54 PM
horizontal rule
268

Hey, look at these dogmatic Christian morons writing a know-nothing argument about the philosophy of math based on their prior unexamined beliefs.

This was actually not my complaint; I have no doubt that the authors of that book are better able to marshal historical arguments (ones with which I disagree, but still) in the service of their point than I am. What annoys me is that way that fundies specifically will marshal intelligent-seeming arguments in favor of the BIG REVEAL that it's actually JESUS! If they were posing philosophical questions about the nature of mathematics in the cause of better understanding the nature of mathematics, that wuold be one thing. But they're posing those (non-trivial!) questions in the service of convincing people that JESUS! It strikes me as a perversion of the intellectual effort that went into developing and arguing those points in the first place.

Which might be unfair, but.

Unrelatedly, I'm not going to go out on a limb and say the arguments in this thread were know-something, but it does seem a bit inaccurate to call them "unexamined"; outside of this thread, where they've been examined plenty, many of the aforementioned commenters have aired their aforementioned beliefs in previous threads on the same topic, and of course several of the contributors seem to have read and engaged with a book or two on the topic.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 1:56 PM
horizontal rule
269

Pwned, but I typed more words.


Posted by: Sifu Tweety | Link to this comment | 09-14-11 1:57 PM
horizontal rule
270

Here's something from a review that suggests that the book might not be that bad, more like exactly the kind of thing you'd want if you want serious believers to start taking things like math seriously. (n.b., I am not endorsing the book):

Mathematicians have long mused on the fact that beauty seems so akin to truth, on the fact that highly abstract theories could have such robust real-world applications, and on the fact that mathematics appears to be such a universal human phenomenon. It is tempting for many Christians to try using this as a "gotcha" argument for theism. Howell and Bradley present a theistic explanation as a potentially satisfying one, but, they insist, "We want to stop short of suggesting that a naturalistic worldview cannot explain the success of mathematics." They admit the many ways in which mathematics is actually not as effective as our idealized picture suggests; for every abstract theorem that turns out to be a physical law, there are many other results which have nothing to do with reality, or may even be misleading. They also admit that "there are several evolutionary explanations for forms of human cognition, and," they add, "such explanations need not be seen as contradicting Christian beliefs." But, after all, there is still at least something to the notion that Human aesthetic values, and their subsequent use in successful physical theories, dovetail nicely with a Judeo-Christian view that humans are created in the image of God. Whatever being in God's image exactly entails, it seems to include a rational and aesthetic capacity reflective of God's that enables humans to understand and admire his creation. In short, the implications of a Christian worldview offer an attractive explanation for the effectiveness of mathematics.
Once again, faith does not provide the "right answers," but rather helps shapes the questions. As Christian students seek to understand what being made in the image of God might mean in light of modern science, and what modern science might mean in light of faith, it is most helpful to be guided by this even-handed approach.

To 268.2, I do agree that the conversation got a lot better as it went on, and that the characterization in 265 isn't really accurate for the thread as a whole.


Posted by: Robert Halford | Link to this comment | 09-14-11 2:04 PM
horizontal rule
271

Really, though, why is Dick Such sending you this email?


Posted by: Merganser | Link to this comment | 09-14-11 3:27 PM
horizontal rule
272

Oh, Dick Such! ... never mind.


Posted by: JP Stormcrow | Link to this comment | 09-14-11 3:39 PM
horizontal rule
273

137 made me laugh out loud in public.


Posted by: urple | Link to this comment | 09-14-11 7:29 PM
horizontal rule
274

So did 158. I hate myself.


Posted by: urple | Link to this comment | 09-14-11 7:32 PM
horizontal rule
275

This was the topic of my dissertation.

Only very marginally loosely related: I just yesterday ran across my college admission essays. GOOD GOD. Wow, are those bad. And based on the fact that I was admitted to colleges, I have to assume those were considered to be of at least passably acceptable quality. I'm so glad I'm not on any college admissions committee. I would admit NO ONE.


Posted by: urple | Link to this comment | 09-14-11 7:37 PM
horizontal rule
276

Sigh... I was going to make a joke about whether the world is just another app running on God's iphone... but it no longer seems appropriate.

Is mathematics discovered or invented

I think it varies... some parts of math seem more or less inevitable (e.g., calculus, differential equations, group theory), and I tend to think that these were "discovered" (usually more than once, by different people). Other parts of math, especially 20th century pure math, seem more a matter of taste, and I tend to think of them as "inventions" (e.g., arithmetic geometry). (However, this could be partly a sign of my own ignorance... people who work on arithmetic geometry certainly seem to think it is natural and elegant. I can say, though, that the barrier to entry for that field is pretty damn high, so people who don't love it generally don't get to the point of understanding it deeply.)


Posted by: YK | Link to this comment | 09-14-11 8:46 PM
horizontal rule