Tuesday, February 09, 2016

More Silly Philosopher Tricks

Here's a review of four books about science in the New York Times. You already know the review is going to be shallow and uninformed because it is written not by a scientist or even a science writer, but by James Ryerson. Ryerson is more interested in philosophy and law than science; he has an undergraduate degree from Amherst, and apparently no advanced scientific training.

In the review he discusses a new book by James W. Jones entitled Can Science Explain Religion? and says,

"If presented with this argument, Jones imagines, we would surely make several objections: that the origin of a belief entails nothing about its truth or falsity (if you learn that the earth is round from your drunk uncle, that doesn’t mean it’s not)..."

Now I can't tell if this is Jones or Ryerson speaking, but either way it illustrates the difference between the way philosophers think and the way everyone else thinks. For normal people who live in a physical world, where conclusions are nearly always based on partial information, the origin of a belief does and should impact your evaluation of its truth.

For example, I am being perfectly reasonable when I have a priori doubts about anything that Ted Cruz says, because of his established record for lying: only 20% of his statements were evaluated as "true" or "mostly true". Is it logically possible that Cruz could tell the truth? Sure. It's also logically possible that monkeys could fly out of James Ryerson's ass, but I wouldn't be required to believe it if he said they did.

For non-philosophers, when we evaluate statements, things like a reputation for veracity of the speaker are important, as are evidence, the Dunning-Kruger effect, the funding of the person making the statement, and so forth. Logic alone does not rule in an uncertain world; in the real world these things matter. So when a religion professor and Episcopal priest like Jones writes a book about science, I am not particularly optimistic he will have anything interesting to say. And I can be pretty confident I know his biases ahead of time. The same goes for staff editors of the New York Times without scientific training.

Friday, February 05, 2016

3.37 Degrees of Separation

This is pretty interesting: Facebook has a tool that estimates the average number of intermediate people needed to link you, via the shortest path, to anyone else on Facebook. Mine is 3.37, which means the average path length (number of links) to me is 4.37, or that the average number of people in a shortest chain connecting others with me (including me and the person at the end) is 5.37.

What's yours?

An interesting aspect of this is that they use the Flajolet-Martin algorithm to estimate the path length. The paper of Flajolet-Martin deals with a certain correction factor φ, which is defined as follows: φ = 2 eγ α-1, where γ = 0.57721... is Euler's constant and α is the constant Πn ≥ 1 (2n/(2n+1))(-1)t(n), where t(n) is the Thue-Morse sequence, the sequence that counts the parity of the number of 1's in the binary expansion of n.

The Thue-Morse sequence has long been a favorite of mine, and Allouche and I wrote a survey paper about it some time ago, where we mentioned the Flajolet-Martin formula. The Thue-Morse sequence comes up in many different areas of mathematics and computer science. And we also wrote a paper about a constant very similar to α: it is Πn ≥ 0 ((2n+1)/(2n+2))(-1)t(n). Believe it or not, it is possible to evaluate this constant in closed form: it is equal to 2 !

By contrast, nobody knows a similar simple evaluation for α. In fact, I have offered $50 for a proof that α is irrational or transcendental.

Friday, January 29, 2016

Yet More Bad Creationist Mathematics

It's not just biology that creationists resolutely refuse to understand. Their willful ignorance extends to many other fields. Take mathematics, for example.

At the creationist blog Uncommon Descent we have longtime columnist "kairosfocus" (Gordon Mullings) claiming that "a set of integers that spans to infinity will have members that are transfinite", showing that he doesn't understand even the most basic things about the natural numbers.

And we also have Jonathan Bartlett asking "can you develop an effective procedure for checking proofs? and answering "The answer is, strangely, no."

Actually the answer is "yes". A mathematical proof can indeed be checked and easily so (in principle). This has nothing to do with the statement of Bartlett that follows it: "It turns out that there are true facts that cannot be proved via mechanical means." Yes, that's so; but it has nothing to do with an effective procedure for checking proofs. Such a procedure would simply verify that each line follows from the previous one by an application of the axioms.

If a statement S has a proof, there is a semi-algorithm that will even produce the proof: simply enumerate all proofs in order of length and check whether each one is a proof of S. The problem arises when a true statement simply does not have a proof. It has nothing to do with checking a given proof.

Can't creationists even get the most basic things correct?

Saturday, January 09, 2016

Our Car's Fibonacci Odometer

Been waiting for this for 11 years, and it finally happened!

Saturday, January 02, 2016

You Don't Have to Be a Sociopath to Become a Theist....

...but apparently it helps, at least judging from this video.

Several things come to mind when I watched this. First, if David Wood's story is largely true, then he's clearly a sociopath and why should we believe anything he says? He could just be manipulating us for some sick purpose. On the other hand, if his story is largely false, then he's clearly a pathological liar, and why should we believe anything he says? Of course, his story could be partly true and partly false (my guess), but then the same conclusion holds.

Second is how persuasive even a terrible design argument like the one proposed here can be for a diseased or weak mind. Don't bother studying any mathematics, or computer science, or biology. Just assert that there is no evidence for the scientific world view, and voilĂ !

Third is what an ignorant bastard the guy is for someone who thought he was the greatest person in the world. He thinks shingles are caused by vitamin deficiency, fer chrissake!

Oh well. I am comforted by the fact that there's lots of decent people who are religionists. They're not all sociopaths like David Wood.

Monday, December 21, 2015

10th Blogiversary!

Ten years ago, this blog, Recursivity, was born.

I've had a lot of fun with it, even though I never really had very much time to devote to it. A thousand posts in ten years sounds like a lot, but I wish I could have written a thousand more.

Generally speaking, my readers have been great. In ten years, I think I only had to ban two or three commenters, including one Holocaust denier. Thank you to everyone who read what I had to say, and even more thanks to those who took the time to comment.

Here are 25 of my favorite posts from the last ten years:

  1. Why We Never Lied to Our Kids About Santa: my absolute favorite, and still appropriate. You can criticize atheism and religion, but if you really want to get a reaction, just criticize the myth of Santa Claus.
  2. Robert J. Marks II refuses to answer a simple question: still waiting, more than a year later.
  3. Hell would be having to listen to Francis Spufford: Damn, he was boring.
  4. By the Usual Compactness Argument: for mathematicians only.
  5. Ten Common LaTeX Errors
  6. I defend a conservative politician's right to speak on campus
  7. Science books have errata. Holy books don't
  8. No Formula for the Prime Numbers?: Debunking a common assertion.
  9. In Memory of Sheng Yu (1950-2012): my colleague - I still miss him.
  10. Another Fake Magnet Man Scams AP
  11. William Lane Craig Does Mathematics
  12. Why Do William Lane Craig's Views Merit Respect?: Nobody gave a good answer, by the way!
  13. Stephen Meyer's Bogus Information Theory
  14. Religion Makes Smart People Stupid
  15. Test Your Knowledge of Information Theory
  16. David Berlinski, King of Poseurs
  17. Graeme MacQueen at the 9/11 Denier Evening
  18. Mathematics in a Jack Reacher novel
  19. The Prime Game: This appeared in my 2008 textbook, too.
  20. Debunking Crystal Healing
  21. Nancy Pearcey, The Creationists' Miss Information
  22. Academic Vanity Scams
  23. Time Travel: my second favorite, which nobody seemed to like that much.
  24. Janis Ian Demo Tape: the best part was that Janis Ian herself stopped by to comment!
  25. The Subversive Skepticism of Scooby Doo: my third favorite.
Happy Holidays to everyone, and may 2016 be a great year for you.

Sunday, December 20, 2015

Merry Kitzmas!

It's been ten years since the landmark decision of Kitzmiller v. Dover was handed down, the case that exposed the religious fraud of that absurd pseudoscience, "intelligent design". The ID movement, and especially its "think tank", the Discovery Institute, has never recovered.

I had the honor of meeting the lead plaintiff, Tammy Kitzmiller, a few years ago at one of the trial reunion parties. (I played an extremely minor role in the case, meeting with the lawyers for the plaintiffs and preparing as a possible rebuttal witness, but I never appeared in court because one person on the other side never testified.) A more pleasant and modest (yet determined!) person you can't imagine. In fact, all the people involved in the case in various ways, including Eric Rothschild, Nick Matzke, Steve Harvey, Kenneth Miller, Wes Elsberry, Genie Scott, and Lauri Lebo are about the nicest and most interesting people I've ever met. The contrast with the other side couldn't be more stark.

Ten years later, what's happening? Well, the Discovery Institute and their friends continue to churn out lies pretty much unabated, but nobody's listening any more. Even the "academic wing" of intelligent design seems to have given up. Bill Dembski just threw in the towel. At the same time Casey Luskin tries to boast about all the scientific work published by ID advocates, the flagship scientific journal for the movement has only published a single paper in calendar year 2015, despite getting a new editor and having an editorial board with 29 members.

There's just so long you can keep up this charade.

Meanwhile, the same nasty, deplorable tactics that renamed the Discovery Institute the "Dishonesty Institute" continue unabated. When one of the Kitzmiller team recently got a paper accepted to Science, one of the world's most prestigious scientific journals, all the Discovery Institute (and their slavering friends) could do is make ridiculous and groundless insinuations about misconduct. Truly, they have no shame at all.

Why do the ID folks behave so reprehensibly, over and over again? Of course, it has nothing at all do with science. They behave this way because they are motivated solely by their conservative religious beliefs. Recently a window opened on the ID world view, when one creationist was so disillusioned by their behavior that he posted a private e-mail message from ID advocate Barry Arrington that clearly revealed their motives. Arrington wrote

"We are in a war. That is not a metaphor. We are fighting a war for the soul of Western Civilization, and we are losing, badly. In the summer of 2015 we find ourselves in a position very similar to Great Britain’s position 75 years ago in the summer of 1940 – alone, demoralized, and besieged on all sides by a great darkness that constitutes an existential threat to freedom, justice and even rationality itself."

When you view your opponents this way, then no tactic is off limits. Lying is permissible because otherwise the "great darkness" will win. Insulting, making insinuations, likening your opponents to Nazis or Communists or fascists are all perfectly fine tactics, because your opponents constitute "an existential threat to freedom" and "justice". Treating your opponents as subhuman is ok, because after all, they threaten "rationality itself". And of course, they never, ever, admit they were wrong about anything.

I feel sorry for the ID folks today, I really do. Ten years after Kitzmiller, ID advocates are like the Millerites on October 23 1844, when their predicted triumphal ascent into heaven didn't happen. They are wandering around feeling puzzled and alone, and it's natural that they will lash out against any available target in an effort to cure their misery. It won't work, I'm afraid. Intelligent design is, for all practical purposes dead. Prop up the corpse all you want -- it won't work.

Meanwhile, science and evolutionary theory continue unabated. Those of us who enjoy and respect science (and there are lots!) continue to think about and solve interesting problems. The joy of discovery is genuine for us. May you find it, too.

So, to you and yours, I wish you a very merry Kitzmas.