Talk:Leon Henkin

=Back to front= I found the sentence "Later Henkin generalized this result to a variant of Church's higher-order logic" misleading, since according to Henkin himself in the Bulletin of Symbolic Logic, June 1996, The discovery of my completeness proofs, pages 127 -- 158, he -first- discovered his proof for Higher-Order Logic, and -then- specialised it to first-order logic. 82.182.115.209 21:34, 8 November 2006 (UTC)
 * You are right. This should be changed. 86.144.179.237 (talk) 11:43, 6 June 2014 (UTC)

WikiProject class rating
This article was automatically assessed because at least one WikiProject had rated the article as start, and the rating on other projects was brought up to start class. BetacommandBot 04:14, 10 November 2007 (UTC)

External links modified
Hello fellow Wikipedians,

I have just modified 3 external links on Leon Henkin. 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/20110524091446/http://www.orovillemr.com/news/bayarea/ci_4714675 to http://www.orovillemr.com/news/bayarea/ci_4714675
 * Added archive https://web.archive.org/web/20150310082526/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc14.htm to https://www.princeton.edu/~mudd/finding_aids/mathoral/pmc14.htm
 * Added archive https://web.archive.org/web/20150310073356/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc19.htm to https://www.princeton.edu/~mudd/finding_aids/mathoral/pmc19.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) 20:41, 20 December 2017 (UTC)

Social Projects
This is just from a personal conversation with Leon Henkin ... but perhaps someone else could find online an actual quote from him, corroborating this, if anyone thinks it is important. (Leon was my first-year Calculus professor at Cal and yes, his teaching was just as memorably clear as everyone says. Much later in his life we became personal friends, and this remark was from a conversation we had.)

He said that he was looking around the Math office one day and realized that there was no one there except white males; and that something was wrong with that; and that it was his obligation to try to do something about it.

P.S. At his memorial one of his colleagues described him as "a real mensch."

Dudley Brooks (talk) 18:03, 20 April 2022 (UTC)