Talk:Alonzo Church

From Wikipedia, the free encyclopedia

This article is within the scope of the following WikiProjects:
This article has an assessment summary page.

Quote:

"His discovery of the lambda calculus."

Is "discovery" the right word to say? Talam 14:36, 16 March 2006 (UTC)

  • JA: Yes, that is a common mathematical idiom. Jon Awbrey 14:40, 16 March 2006 (UTC)
    • Some would say that "invention" is more appropriate.--SallySprite 22:57, 7 May 2007 (UTC)
This brings us to the old problem of Realism which raises the question, "Did Lambda Calculus always have a reality in the external world and was only brought to our notice recently by Church's writings?" According to Mathematical Realists, Lambda Calculus has always existed in the world apart from human brains. Church's brain discovered it and consequently it became a part of the (Ideal, subjective), internal operations of many human brains. In a nutshell, is it real/objective/external or ideal/subjective/internal?Lestrade (talk) 03:30, 28 January 2008 (UTC)lestrade