<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">The entry by Jonathan Seldin<br>"Haskell Brooks Curry (1900-1982)"<br>has been posted on the Internet Encyclopedia of Philosophy (IEP)<br><a href="https://www.iep.utm.edu/curry/" target="_blank">https://www.iep.utm.edu/curry/</a><br><br>Curry was one of the most important logicians of the 20th century.<br>He did his PhD in Göttingen with Hilbert.<br>This PhD was written in German and has been recently published in a bilingual edition:<br>"Foundations of Combinatory Logics (Grundlagen der kombinatorischen Logik)", Haskell Curry<br>translated and presented by Fairouz Kamareddine and Jonathan Seldin in the book series Logic PhDs<br><a href="http://www.collegepublications.co.uk/lphd/?00001" target="_blank">http://www.collegepublications.co.uk/lphd/?00001</a><br><br>Curry is the originator of the expression "algebraic logic" that he used in his book written in French<br>"Leçons de logique algébrique" (1952)<br>The introduction and the two first chapters of this book have been translated in English by Jonathan Seldin and  published with a presentation  entitled "Logical Algebras as formal systems: H.B.Curry's approach to algebraic logic" <br>in the book "Universal Logic: An Anthology"<br><a href="https://www.springer.com/gp/book/9783034601443" target="_blank">https://www.springer.com/gp/book/9783034601443</a><br><br>Seldin wrote in the IEP entry:<br>"He (Curry) was always willing to listen to anybody who wanted to talk to him, to discuss their ideas, and to give whatever encouragement he could. His office door was always open." <br>Kripke indeed told me that when he was a teenager he wrote to Curry and he was the first to recognize the importance of his work on the semantics for modal logic.<br><br>Jean-Yves Beziau<br>Logic Area Editor of the Internet Encyclopedia of Philosophy <br>Editor of the book series: <br>- Logic PhDs (College Publications) <br>- Studies in Universal Logic (Birkhäuser/Springer)<br></div>
</div></div>
</div></div>