News for hackers. Stuff that matters.
Re:High-powered mathematicians take on free will by dinkumthinkum on Wednesday March 25, 2009 @05:44PM (#532478)
They've missed one very important point; one that Hobbes, Hume, and others realized long ago. The utterance "free will" is literally meaningless. What would that even mean and why would you even want that?
Re:High-powered mathematicians take on free will by narag on Thursday March 26, 2009 @04:27AM (#533187)
That's a big surprise for me. I've defended that freedom and determinism are not mutually exclusive in many discussions for a very long time... and been told that I'm alone in that. I had no idea that it's a position hold by classic philosophers like those. Could you cite some concrete works from them?
Re:High-powered mathematicians take on free will by timb on Thursday March 26, 2009 @02:14PM (#533862)
Re:High-powered mathematicians take on free will by narag on Thursday March 26, 2009 @07:19PM (#534331)
Thank you.Great resource.
Re:High-powered mathematicians take on free will by enoqu on Wednesday March 25, 2009 @02:13PM (#532191)
Here's the link to John Conway's lecture videos. It includes links to the Free Will Lectures, although it isn't currently working for me.

http://www.math.princeton.edu/facultypapers/Conway/

Re:High-powered mathematicians take on free will by peregrine on Thursday March 26, 2009 @12:08AM (#532965)
Can we get a youtube of that? Or something with better load times.

Thanks for the link though.

Re:High-powered mathematicians take on free will by apmee on Wednesday March 25, 2009 @04:43PM (#532400)
It's working fine for me, at the moment. Thanks.
Re:High-powered mathematicians take on free will by jwilliams on Wednesday March 25, 2009 @01:20PM (#532097)
Their thesis is that if Humans have free will so do elementary particles (in a defined respect).

Anyone know much more on this? -- Does this relate to the theory that everything was predefined at the big bang - e.g. a big random number was generated and everything since then has simply been cause and effect? Or is it on another tack?

Re:High-powered mathematicians take on free will by pygy on Wednesday March 25, 2009 @02:39PM (#532218)
Although I'm not a particle physicist, if I remember well what I read about it, this very demonstration proves that there is no predetermined hidden variable revealed by observation.

Kochen spent a significant part of his life on the topic (see the first result here : http://scholar.google.com/scholar?hl=en&q=author:simon-k... , 784 citations :-)

To quote the last version of the demonstration (http://arxiv.org/PS_cache/arxiv/pdf/0807/0807.3286v1.pdf)

"More precisely, if the experimenter can freely choose the directions in which to orient his apparatus in a certain measurement, then the particle’s response (to be pedantic – the universe’s response near the particle) is not determined by the entire previous history of the universe."

Re:High-powered mathematicians take on free will by jerf on Wednesday March 25, 2009 @02:38PM (#532215)
Based on this article, there isn't enough information to answer your question. The authors are clearly aware of quantum theory and you'd have to dig in deeper.

It is generally accepted that quantum events are "truly random", so the random number generation is ongoing. The standard proof of this is Bell's theorem (http://en.wikipedia.org/wiki/Bell's_Theorem ), but I feel a deeper understanding of the theorem shows rather that it constrains what hidden variables could exist and that the conventional understanding is impossible, not that hidden variables in all senses are completely impossible. (Still, the hidden variables people were "hoping" for are impossible; if there are hidden variables they will be undeniably "quantum".)

Re:High-powered mathematicians take on free will by DaniFong on Wednesday March 25, 2009 @03:20PM (#532276)
"I feel a deeper understanding of the theorem shows rather that it constrains what hidden variables could exist and that the conventional understanding is impossible, not that hidden variables in all senses are completely impossible."

That was my conclusion too: I've been meaning to write about it, but time constraints keep getting in the way.

The thing I like about the Free Will theorem is that it highlights the importance of the experimenter's choice, as opposed to in Bell's theorem, where demonstrations mostly take this as given. There's room for 'hidden variables' of a certain type in the decision making process of the experimenter and the state and process of the measurement apparatus. Having blind faith that important state is located there is perhaps unwise, and certainly it is hard to demonstrate, but assuming that the experimenters are entirely un-entangled and uninfluenced causally, that there's no interesting modified state in the experimenters or measurement apparatus at all, would, to my mind, also be a mistake.

Re:High-powered mathematicians take on free will by Ardit20 on Wednesday March 25, 2009 @01:44PM (#532137)
doesn't the cause and effect theory you mention and the big bang contradict each other?
Re:High-powered mathematicians take on free will by jwilliams on Wednesday March 25, 2009 @01:49PM (#532147)
Surely that's the crux of any "we don't have free will, it's all predetermined" argument - it has to be set in motion in some respect?
Re:High-powered mathematicians take on free will by eru on Wednesday March 25, 2009 @02:39PM (#532219)
Why?
Re:High-powered mathematicians take on free will by Ardit20 on Thursday March 26, 2009 @02:54AM (#533130)
Well there was nothing and there became something.

If we take the cause and effect theory which clearly conforms to the evolutionary theory then logicaly we are able to so rewind the cause and effect to a point where there was nothing. Hence, if there is no choice but only predetermined causes, what predetermined something from nothing?

Re:High-powered mathematicians take on free will by eru on Thursday March 26, 2009 @09:14AM (#533395)
I do not know. You may be right. That's metaphysics. In practise you can't even tell whether the universe is like a movie or a computer game.

I.e. a movie on a film reel consists of frames that are created once and when you watch it looks like a coherent story --- but when you paint over some frames at the beginning, it has no effect on any other frame.

Whereas when you manipulate the state in a computer game --- say, give Super Mario that mushroom --- you change everything that comes later.

And for that straw man theory of causality: You can just exchange it for a theory that postulates a cause for everything _but_ the Big Bang.

(By the way, I do not believe in causality. At least not the kind of mono-causality exhibited in human storystelling, esp. stock market commentators on TV. Strangely I still manage to believe in determinism.)

Re:High-powered mathematicians take on free will by ams6110 on Wednesday March 25, 2009 @01:45PM (#532140)
"if a human experimenter can make decisions independently of past events, then the particle can also make a free choice"

The article does not make clear how "free choice" is different from "random chance" -- at least not to me.

Re:High-powered mathematicians take on free will by frig on Wednesday March 25, 2009 @02:21PM (#532199)
http://www.cs.auckland.ac.nz/~jas/one/freewill-theorem.html

  When the floor was opened for questions, one member of the 
  audience questioned Dr Conway's use of the term "Free 
  Will". She asked whether Dr Conway was "confusing 
  randomness and free will".

  In a passionate reply, Dr Conway said that what he
  had shown, with mathematical precision, that if a  
  given property was exhibited by an experimenter than 
  that same property was exhibited by particles. He had 
  been careful when constructing his theorem to use the same 
  term "free will" in the antecedent and consequent of his
  theorem. He said he did not really care what people chose
  to call it. Some people choose to call it "free will" only
  when there is some judgment involved. He said he felt that
  "free will" was freer if it was unhampered by judgment - 
  that it was almost a whim. "If you don't like the term Free 
  Will, call it Free Whim - this is the Free Whim Theorem".
Re:High-powered mathematicians take on free will by andreyf on Wednesday March 25, 2009 @02:33PM (#532211)
They have packaged their arguments in an airtight mathematical theorem that rests on what they say are three unassailable axioms which happen to rhyme -- spin, fin and twin.

Aside from most discussions of "free will" arising from semantic confusion, I think pretty clearly points toward this being a bit of a joke...

Re:High-powered mathematicians take on free will by dfranke on Wednesday March 25, 2009 @02:56PM (#532247)
If you'd ever been to a Conway lecture you'd know that this is entirely par for the course for him.
Re:High-powered mathematicians take on free will by RiderOfGiraffes on Wednesday March 25, 2009 @04:57PM (#532424)
Knowing Conway as I do, this is not only par for the course, it is actively to be expected. If there weren't comments like this then it would be a spoof.

And there is no semantic confusion about "Free Will". The naming of the theorem is stated in those terms, but the work itself is independent of the precise meaning. That's why this is such an interesting result. The care taken to make it independent of the semantics attached to that term is, again, entirely to be expected, and makes the result compelling.

Re:High-powered mathematicians take on free will by coglethorpe on Wednesday March 25, 2009 @02:01PM (#532168)
If they prove we don't have free will and somebody gets upset, they can always say "Hey, it wasn't like we choice in what we studied. It just happened that way."
Re:High-powered mathematicians take on free will by DaniFong on Wednesday March 25, 2009 @03:28PM (#532295)
It might have been predetermined, but there's still an act of choosing, a weighing of possibilities, a judgment between them, and action. And those judging them later will too be able to judge their judgment, their character, and make decisions based on that.

The existence of free will in a strong sense, has, as far as I can tell, no logically valid implications in practical terms, though it does do something profound to our psychologies: it certainly injects fatalism.

Re:High-powered mathematicians take on free will by dgordon on Thursday March 26, 2009 @08:29PM (#534413)
"It might have been predetermined, but there's still an act of choosing, a weighing of possibilities, a judgment between them, and action. And those judging them later will too be able to judge their judgment, their character, and make decisions based on that."

And that would all be predetermined too.

Someone came up with this before me: you should believe in free will because if it exists you're right and if not you couldn't have done otherwise anyway. It's like Pascal's Wager, except not stupid and wrong.

Re:High-powered mathematicians take on free will by eru on Thursday March 26, 2009 @09:16AM (#533398)
Shouldn't the absence of free will inject fatalism?
Re:High-powered mathematicians take on free will by stcredzero on Thursday March 26, 2009 @11:22AM (#533571)
I could imagine a race of egghead hyper-rationalists who would feel depressed at the thought of the absence of determinism. They would be horrified at the thought of living in an unpredictable, chaotic universe.
Re:High-powered mathematicians take on free will by erlanger on Wednesday March 25, 2009 @02:10PM (#532184)
And they certainly didn't have a choice.
Re:High-powered mathematicians take on free will by shader on Wednesday March 25, 2009 @10:51PM (#532879)
I think this article explains the idea much better: http://www.sciencenews.org/view/generic/id/35391/title/Do_su...
Re:High-powered mathematicians take on free will by koningrobot on Thursday March 26, 2009 @04:45AM (#533193)
I agree. Actually I find the idea (if not the proof) kind of obvious: our thoughts are as deterministic as the processes that effect them. Whether they are deterministic is another story.
Re:High-powered mathematicians take on free will by nazgulnarsil on Thursday March 26, 2009 @01:29AM (#533069)
free will is what optimizing a decision tree feels like when you're the evaluation function.
Re:High-powered mathematicians take on free will by eru on Thursday March 26, 2009 @09:16AM (#533397)
Perhaps. Only --- most evaluating functions don't pass the Turing test.
Re:High-powered mathematicians take on free will by kamens on Wednesday March 25, 2009 @09:05PM (#532759)
I always knew that Whitehead was a pretty smart guy. Process philosophers must love this.
Re:High-powered mathematicians take on free will by xenophanes on Wednesday March 25, 2009 @03:01PM (#532253)
Why do experts in one field (like math) often think they must be brilliant at other fields (like philosophy)?

They are trying to prove stuff about free will, but have no expertise on the question of what free will is.

If you disagree, please post a comment saying why. I'd like to hear it.

Re:High-powered mathematicians take on free will by wynand on Wednesday March 25, 2009 @05:09PM (#532438)
Their lack of (supposed: I don't know how well read either mathematician is in philosophy) philosophical credentials might justifiably invite scepticism.

But surely we can only dismiss this if their argument has a flaw. And the burden of disproof is on us, not them.

Re:High-powered mathematicians take on free will by xenophanes on Wednesday March 25, 2009 @05:18PM (#532451)
They seem to think free will is a part of physics, not philosophy, and reductionist physics at that. They didn't address any actual problems in the field. They missed the point. That is a flaw in their non-argument.

The burden is on them to say what is a problem in the field they want to address, to know something about the history of the problem, other candidate solutions to it, and how their solution differs, and then say what the answer is. They simply haven't done that.

Re:High-powered mathematicians take on free will by sketerpot on Wednesday March 25, 2009 @08:41PM (#532726)
What they've done is define a property, tack the name "free will" onto it because it resembles some people's definitions of free will, and prove some things about it. If their math is sound, then good for them. Whether this is applicable to anything is certainly up for discussion, of course.
Re:High-powered mathematicians take on free will by gnaritas on Wednesday March 25, 2009 @11:15PM (#532909)
They're physicists; physicists believe everything can be ultimately traced back to objective measurable reality. What do you expect.