Turing vs. Church and the Great Mathematics Throw-Down

“A Great science fiction detective story”
-
Ian Watson, author of The Universal Machine

Luck and Death at the Edge of the World

Days to Centenary: 126

Mathematicians, math students, and secret math hobbyists who go to sleep at night fantasizing about having an Erdös number: I  want to hear from you.

And in particular I am calling out one Robert Irving Soare (playfully, mind you).

In a recent post entitled The Computable Artist — On Turing and Michelangelo, I featured (and linked to) a brief paper by Robert Irving Soare in which Soare asks the question: why Turing and not Church?

Given that Alonzo Church — who was after all Church’s teacher — worked out so many of the things that are now associated with Turing, why is Turing’s work considered definitive while poor Church is relegated to the background?

Maybe Turing simply overtook and surpassed his teacher, like Kwai Chang Caine in the old Kung Fu television series, who was able — after many attempts — to finally snatch the pebble from his master’s hand.

Or perhaps it had more to do with Turing’s dramatic life story and untimely end, while Church — heterosexual, married, not convicted of any significant crimes that I know of — lived a more sedate existence and survived until the ripe old age of 92.  In his most famous portrait, he looks positively cheerful.

Alonzo Church, looking unperturbed by the fame of his student, Alan Turing

Alonzo Church, looking unperturbed by the fame of his student, Alan Turing

So what’s the answer?

Soare argued in his paper that Turing’s work was more beautiful than Church’s comparing Church to the artist Donatello, who was great and all, but who was no Michelangelo, the artist to whom he compares Turing.

This argument didn’t sit well with one person on Reddit.  He originally wrote to respond to a different post of mine (Alan Turing is “the Key Figure of Our Century,” Marvin Minsky), asking the same question Soare had asked: why Turing and not Church.  He wrote:

Wha’bout Alonzo Church? This is accurate to the best of my knowledge:

  • Lambda Calculus precedes the Turing Machine,
  • Alonzo Church was Turing’s PhD Advisor
  • Stephen Kleene (another of Church’s students) showed Universal Turing Machines and Lambda Calculus to be equivalent and used them to define computability

Now, I understand that John Von Neumann (the man for whom Von Neumann Machines are named) referred his colleagues to a Turing paper, specifically, during the building of the ENIAC (considered, via Wikipedia, “the first general-purpose electronic computer), but I’m still curious about elevating Turing about Church.

I’m sure someone else reading this thread knows more about the matter than I do, so it’d be very interesting to hear about why we emphasize Turing (say, a reason that isn’t related to him cracking encryption during wartime).

I directed him to my post on Soare’s paper, but he remained unconvinced:

I truly don’t find the aesthetic argument as the reason Turing gets remembered over Church to be very convincing.

For two reasons:

  1. People don’t say, “hey, Alan Turing really made a conceptually-beautiful version of general computability. Sure, Alonzo Church was there first and stated results every bit as ‘powerful’ as Turing’s, but Church’s model is so much less appealing.” In actual fact, they frame the discussion in the terms your blog post does—the importance and power of the discovery, itself. I’m open to the possibility that somehow lambda calculus has a less obvious connection to computers and that (as a result) it had less ability to influence people, but I’ve never heard that argument made.
  2. Turing machines are downright ugly compared to the elegance and conceptual clarity you find in the lambda calculus. This is admittedly a statement that I can’t make absolute, but since we’re talking about popular conception, it’s fair of me to reference popular taste (popular relative to a piece of math/theoretical computer science’s capacity to be so). A general criterion for mathematical beauty is elegance—i.e. getting a lot out of a little. Lambda calculus to me seems ridiculously more elegance, and I think if you polled the mathematically literate and asked them to compare the two, they’d overwhelmingly find the lambda calculus more appealing than the Universal Turing Machine.

Well, as I readily admitted to him, I don’t have enough math to really enter this fray, so I prooposed two things.  First, that I would post his comments here and invite everyone out there to comment, and second that I would specifically write Soare and see if we could persuade him, in the spirit of friendly debate, to respond.  

So the gauntlet has been thrown down.  It’s your play Dr. Soare, if you care to defend your thesis.  My email informing you of this challenge is on its way to you even now.

And as for the rest of you, have at it!

Is the “beauty” argument persuasive?

Or is there perhaps some other reason that seems more convincing to you as to why Turing’s star has partially eclipsed Church’s?

You can use the comment page or write me at nas@homoartificialis.com.

4 responses to “Turing vs. Church and the Great Mathematics Throw-Down

  1. Turing’s formulation of computability had a fairly straightforward practical implementation that was – just – realizable using the technology of his era. This largely arises from his use of the concept of a machine as opposed to Churches rewriting system. Turing’s system could be realised in the real world. At the time, Churches could not, in any useful way.

    His work at Bletchly Park and his subsequent tragic history certainly added to his mystique, but his work was considered definitive in the 70′s and mid ’80s long before his personal story was widely known.

  2. At the time no-one was convinced that these notations (Post machines, lambda calculus, general recursive functions, …) were complete, i.e., could capture all computable processes. Turing’s contribution was to show that his machines were universal in this way. IIRC Turing is credited with convincing Goedel that his famous incompleteness result was inescapable.

  3. I believe/hope my presentation on YouTube can shed some light on the matter you raise in your post. Please have a look at: http://www.youtube.com/watch?v=rBQTayBCWDc&feature=youtu.be

  4. I thought everybody knew that Church was the more significant figure. The Turing machine is interesting for computing because it’s a little imaginary gizmo, but the meat of the matter is in the representation of mathematical functions, and here it’s Church who’s of more interest. Behind them both is Gödel, the greatest logician of all time, and Hilbert and Dedekind and Weierstrass and the rest. Turing and Church were great thinkers, but not of that magnitude.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s