Did Kurt Gödel really discover a loophole in the Constitution?

Our 2013 paper Gödel’s loophole considers two related questions: why have so few scholars taken Gödel’s alleged discovery seriously, and what was this possible logical contradiction in the Constitution? (Hint: it probably has to do something with recursion.) There is also some recent discussion of our thesis at Hacker News (Y Combinator) here. (Note: We will return to our review of “Bayesian reasoning in science” in our next post.)

Posted in Uncategorized | Tagged , , | Leave a comment

Beliefs are like gambles …

Note: this is the third installment of our review of the paper “Bayesian reasoning in science” by Colin Howson and Peter Urbach.

Thus far, we have seen how Howson and Urbach briefly consider the relation between probability and truth (see previous blog post), and we also compared and contrasted ordinary gambling odds, like the familiar system of odds used in sports betting, with the more elegant probability scale (ranging from 0 to 1, inclusive) used in probability theory. In the next part of their paper (pp. 371-372), Howson and Urbach summarize the seminal contributions of two important probability theorists — Frank Ramsey and Bruno de Finetti — and then derive Bayes’ theorem from the standard axioms of probability theory for good measure. We won’t rehash all the technical mathematical details of Bayes’s rule here, or of Ramsey and de Finetti’s theoretical work either. Instead, we shall summarize (in words) two fundamental qualitative insights from this part of their paper:

Insight #1: beliefs are like gambles — The task of assigning a probability value from 0 to 1 to a future event (or to the truth value of a hypothesis) is ultimately based on subjective personal beliefs and can thus be quantified by a wager, the same way sports bettors wager on the outcome of sporting events. Why? Because a person’s degree of belief in something, although entirely subjective and personal, can be measured objectively or “translated” (so to speak) by the amount of money he is actually willing to bet on his beliefs. (For those of you keeping “intellectual score” at home, we owe this important insight to Frank Ramsey and Bruno de Finetti.)

Insight #2: gambles must be updated — What is Bayes’s rule really all about? Stated informally, it’s ultimately about “updating” (as we like to say) your gambles, i.e. revising your subjective prior beliefs regarding the truth value of a given hypothesis h (cf. insight #1 above) after you are able to review some amount of evidence e relevant to h. That is, would you be willing to bet more money, or less money, on your beliefs after evaluating e? The evidence may consist of an empirical test of h (as in science), or testimony from a witness (as in law), or a scouting report (as in sports). Whatever the case might be, a good Bayesian should assign some weight to e and update his priors in light of e. (Thank you, Rev. Bayes!)

But now we must contend with a new and perhaps insurmountable problem posed by the Bayesian approach to truth (in addition to the pesky problem we mentioned in our previous post regarding the subjectivity of Bayesian methods): where do you get your priors from? It is no exaggeration to say that this question re: priors has stirred up the most controversy in scientific and philosophical circles. (Note the motto of this blog.) For their part, Howson and Urbach devote most of their paper responding to this question (and the related problem re: subjectivity in science), so rest assured, we shall continue our review of their paper “Bayesian reasoning in science” in future posts …

Don’t we all!

Posted in Uncategorized | Tagged | Leave a comment

Truth and probability

Note: this is the second installment of our review of the paper “Bayesian reasoning in science” by Colin Howson and Peter Urbach.

Following their short introduction on gambling odds (see post below for a summary), Howson and Urbach present the basic laws or “axioms” of probability theory. (You can read more about the laws of probability here. See also the formal paper by Russian mathematician S. S. Vallander below.) More importantly, they note the relation between probability and truth: “Suppose h is some scientific hypothesis,” they write. “Experimental data can never conclusively prove that h is true, even if it is true. [A reference to Karl Popper would have been nice here.] So you are never absolutely certain of h’s truth, only more or less. The inductive inference [therefore] consists in assessing the degree of certainty warranted by the evidence.” [Emphasis added by us.]

We quote Mssrs Howson and Urbach at length here because we believe that these three crisp sentences not only reveal an important insight about the underlying nature of hypothesis testing in science; the Bayesian approach to truth also tells us a lot about litigation and the legal process generally (of which we shall have much more to say in future blog posts). In short, ultimate truth is not an “all or nothing” affair like religion or politics. Truth is more like a horse race or the World Cup (or “Copa do Mundo” for those of you in Brazil and Portugal) — for she is subject to the same vagaries of uncertainty as the outcome of a horse race or a football tournament.

For now, however, notice how this Bayesian view of truth poses a potential paradox. Again, in the words of Howson and Urbach, “if the probability of a hypothesis merely reflects our own personal degree of belief in h, how can an objective logic of inductive inference be based on such probabilities?” A good portion of Howson & Urbach’s paper is devoted to this fundamental question, so “stay tuned” … we shall continue our review in future posts …

Posted in Uncategorized | Tagged , , | Leave a comment

“Bayesian reasoning in science”

That is the title of this commentary by Colin Howson and Peter Urbach published in the journal Nature on 4 April 1991. (Howson and Urbach also published a book with the title “Scientific Reasoning: The Bayesian Approach”; see the image of their book cover below.) Their dense 1991 paper offers a concise overview of Bayesian methods, provides a powerful critique of alternative statistical methods, and has shaped our work as well (in which we apply Bayesian methods to litigation). We shall thus review the main points and insights of “Bayesian reasoning in science” in this and the next few blog posts.

Let’s begin at the beginning, shall we? Howson and Urbach start out by acknowledging that “ours is uncertain world” and by noting how gamblers use odds to measure numerically the likely outcomes of future events. (This method of expressing probabilities is especially common in sports betting. For example, prior to the running of this year’s Kentucky Derby, the odds that California Chrome would win the race were 5 to 2, meaning that a $2 wager on this horse finishing in first place would pay out a total of $7 in winnings–i.e. a profit of $5, plus the bettor’s original $2 wager.) The authors also identify a major problem with this familiar system of gambling odds: “Because odds are ratios the odds scale starts at 0 and is unbounded to the right (infinite odds).” The solution to this problem is to transform the odds scale into a finite probability scale (ranging from 0 to 1) by restating the probability of an event p using the formula p = odds divided by 1 + odds. In other words, we want to express probabilities using a uniform and finite space (i.e. from 0 to 1) in order to make probability problems tractable and easier to solve. “Stay tuned” … for we shall review the remaining parts of this important paper over the next few days.

Posted in Uncategorized | Tagged | 2 Comments

Science bounty hunters?

Dr Christopher Keating says via his global warming website that he is willing to pay a bounty or reward of $10,000 USD to anyone who is able to disprove global warming. The official rules of this contest are thus:

1. Dr Keating will award $10,000 USD to anyone who can prove, via the scientific method, that man-made global climate change is not occurring;

2. There is no entry fee;

3. You must be 18 years old or older to enter;

4. Entries do not have to be original, they only need to be first;

5. Dr Keating is the final judge of all entries, but he will provide comments on why any entry fails to prove the point.

Time out … Does anyone see any problems with Rule #5?

Incentives matter!

Posted in Uncategorized | Tagged , | Leave a comment

How many World Cup matches are fixed?

Forty-eight matches will played during the first stage of the World Cup in the nation of Brasil. But how many, pray tell, of those “first 48” matches will be fixed or rigged in some form, e.g. by means of payoffs to players, trainers, or refs? (By the way, we don’t mean to pick on FIFA; after all, the same question can be asked about the NBA, the NCAA, and other sports leagues.) For our part, we would like to believe that the number is very close to zero (since the glory of advancing to the next stage is “priceless”), but we are not so sure about the pre-World Cup qualifying rounds. Addendum: see our post for 1 July.

Who guards the integrity of the beautiful game?

Posted in Uncategorized | Tagged , , | 1 Comment

The case for reparations for Native Americans

Why isn’t “land theft” a crime?

Posted in Uncategorized | Tagged , | Leave a comment

Applied mathematics (birthday cake edition)

Is there a “right” way to cut cake?

Posted in Uncategorized | Tagged , | Leave a comment

Is Professor Christensen a sexist pig?

Harvard historian Jill Lepore has written a scathing takedown of Clayton Christensen’s unfalsifiable “disruptive innovation” theory. (Why are business school professors so taken by empty buzzwords and trendy catch phrases?) Prof. Christensen responds to Lepore’s essay in this interview. Note the final question and answer:

Last question: You keep referring to Lepore by her first name. Do you know her?

Professor Christensen: I’ve never met her in my life.

Posted in Uncategorized | Tagged | 2 Comments

Time-outs versus “stoppage time”

Don’t you hate the endless series of strategic time-outs in basketball and American football, which always end up breaking up the flow of the game? We do. Why can’t all sports follow the international football (soccer) model and use a running clock with “stoppage time” added on at the end of the game?

But how does “stoppage time” work in soccer, you ask? Easy, as Nick Greene explains:

What constitutes whether something is worthy of stoppage time varies from league to league, but in FIFA competitions like the World Cup, the referee is tasked with keeping track of how much time has been spent on substitutions, injuries and injury treatment, time-wasting, and “any other cause.” Refs usually keep track of the duration of these instances on their wristwatches and then, with a few minutes remaining in regulation, inform the fourth official of how much time they have decided on so they can let the players, coaches, and fans know via the aforementioned board. (Referees can add more time in the midst of stoppage time on the fly if something occurs that calls for it.)

Keep playing …

Posted in Uncategorized | Tagged , , | Leave a comment