Talk:Alonzo Church

message: Quote:
"His discovery of the lambda calculus."
Is "discovery" the right word to say? Talam 14:36, 16 March 2006 (UTC)
replies: text: 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)
replies: text:  Not to interrupt the display of pretentiousness or anything, but lambda calculus was developed as a notation for talking about mathematical objects (in particular, functions). If there is an issue of realism here, it is a rather implausible realism about formal languages, not a traditional form of realism about mathematical objects. 145.18.22.149 (talk) 15:31, 16 February 2009 (UTC)
thread_title: Untitled

message: The Introduction mentions the Church-Rosser Theorem (counfluence of lambda calculus) among his major achievements, but doesn't mention Church's Theorem (undecidability of predicate logic); in the main text the situation is the opposite.  I would say the Introduction ought to be brought in line with the main text in this regard.  Predicate logic is the _lingua franca_ of symbolic logic, whereas the lambda calculus -- while by no means unimportant -- is but one of many equally well-known theoretical models of computation. Nastor (talk) 14:10, 22 May 2009 (UTC)
thread_title:  Best known for? 

message: Alonzo and his uncle might have been named after the small town in Kentucky, in America.  — Preceding unsigned comment added by 86.160.51.140 (talk) 09:18, 28 May 2015 (UTC)
thread_title:  Alonzo 

message: What reason is there to think that *the linked to* David Berlinski was a student of Church's? 81.135.40.150 (talk) 13:55, 25 April 2017 (UTC)
replies: text: Both of them were at Princeton University during the same time period, and I don't think there are any other notable people with that name. Partofthemachine (talk) 02:45, 12 November 2022 (UTC)
thread_title:  Berlinski 

message: Hello fellow Wikipedians,
I have just modified 3 external links on Alonzo Church. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf to http://www.math.ucla.edu/~hbe/church.pdf
*Added archive https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf to http://www.math.ucla.edu/~hbe/church.pdf
*Added archive https://web.archive.org/web/20150310024937/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm to https://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 17:47, 2 July 2017 (UTC)
thread_title:  External links modified 

message: Hello fellow Wikipedians,
I have just modified 2 external links on Alonzo Church. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20160207011946/http://www.princeton.edu/main/about/facts/honorary/ to https://www.princeton.edu/main/about/facts/honorary/
*Added archive https://web.archive.org/web/20150310080250/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm to https://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 11:02, 5 December 2017 (UTC)
thread_title:  External links modified 

message: Giving Alonzo's name and dates isn't really a great caption for the main photo, doesn't give context. Can anyone find the date it was taken? It should read something like 'Church in 1963', for example. CoyotesKenning (talk) 23:34, 18 May 2023 (UTC)
thread_title:  Picture caption 

message: The redirect Alozno Church has been listed at redirects for discussion to determine whether its use and function meets the redirect guidelines. Readers of this page are welcome to comment on this redirect at  until a consensus is reached.  Bearcat (talk) 19:07, 4 February 2024 (UTC)
thread_title:  "[[:Alozno Church]]" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]]