Talk:Alonzo Church

From Wikipedia, the free encyclopedia

This article is within the scope of the following WikiProjects:
WikiProject Mathematics     (Rated Start-Class) Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics. Mathematics rating: Start Class Mid Priority  Field: Mathematicians Please update this rating as the article progresses, or if the rating is inaccurate. Please add to or update the comments to suggest improvements to the article. Geometry guy 19:18, 21 May 2007 (UTC) WikiProject Biography     (Rated Stub-Class) This article is within the scope of WikiProject Biography. For more information, visit the project page. Biography Portal Stub This article has been rated as stub-Class on the project's quality scale. [FAQ] This article is supported by the Science and academia work group. More information about this article... The following comments have been left for this page: Geometry guy 19:18, 21 May 2007 (UTC) (edit) WikiProject Philosophy      (Rated Stub-Class) Philosophy Portal This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. Stub This article has been rated as Stub-Class on the quality scale. High This article has been rated as high-importance on the importance scale. Additional information: Related task forces (core areas): Logic Related task forces (major fields): Philosophers WikiProject Computer science (Rated Stub-Class) This article is within the scope of WikiProject Computer science, which aims to create a comprehensive computer science reference for Wikipedia. Visit the project page for more information and to join in on related discussions. Stub rated as Stub-Class on the assessment scale Top rated as Top-importance on the assessment scale
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