Talk:Alonzo Church: Difference between revisions

Browse history interactively

← Previous edit Next edit →

Content deleted Content added

VisualWikitext

Inline

Revision as of 09:45, 22 September 2008

Computing Start‑class

	This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles
Start	This article has been rated as Start-class on Wikipedia's content assessment scale.
???	This article has not yet received a rating on the project's importance scale.

Mathematics Start‑class Mid‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Start	This article has been rated as Start-class on Wikipedia's content assessment scale.
Mid	This article has been rated as Mid-priority on the project's priority scale.

Biography: Science and Academia Stub‑class

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
Stub	This article has been rated as Stub-class on Wikipedia's content assessment scale.
	This article is supported by the science and academia work group.

Philosophy: Philosophers / Logic Stub‑class High‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Stub

This article has been rated as Stub-class on Wikipedia's content assessment scale.

High

This article has been rated as High-importance on the project's importance scale.

Associated task forces:
/
	Philosophers
	Logic

Computer science Stub‑class Top‑importance

This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles

Stub

This article has been rated as Stub-class on Wikipedia's content assessment scale.

Top

This article has been rated as Top-importance on the project's importance scale.

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Quote:

"His discovery of the lambda calculus."

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

JA: Yes, that is a common mathematical idiom. Jon Awbrey 14:40, 16 March 2006 (UTC)[reply]

- Some would say that "invention" is more appropriate.--SallySprite 22:57, 7 May 2007 (UTC)[reply]

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[reply]

@@ Line 1: / Line 1: @@
 {{WikiProjectBannerShell|1=
-{{WikiProject Computing|class=|importance=|nested=yes}}
+{{WikiProject Computing|class=Start|importance=|nested=yes}}
 {{maths rating
 |small=