https://wiki.haskell.org/api.php?action=feedcontributions&user=Mechachleopteryx&feedformat=atomHaskellWiki - User contributions [en]2020-01-19T16:33:35ZUser contributionsMediaWiki 1.27.4https://wiki.haskell.org/index.php?title=Haskell_Brooks_Curry&diff=63123Haskell Brooks Curry2019-11-10T18:09:55Z<p>Mechachleopteryx: /* Haskell B. Curry */ removed comma</p>
<hr />
<div><CENTER> <br />
{{Stub}}<br />
<br />
= Haskell B. Curry =<br />
<br />
[[Image:HaskellBCurry.jpg]]<br />
</CENTER><br />
<br />
Haskell Brooks Curry was a mathematician who made significant contributions to logic and computer science.<br />
<br />
He was born in 1900 and died in 1982. Today, three programming languages are named after him, Haskell, Brooks, and Curry, and the composition of functions is called "currying" in his honor.<br />
<br />
Together with the logician Alvin Howard, he developed the idea of "propositions as types," now known as the Curry-Howard correspondence.<br />
<br />
His work also played a critical part in developing the idea that logical systems based on self-recursive expressions are inconsistent.<br />
<br />
<br />
(We are working on a short bio of Haskell Curry and his contributions<br />
to functional languages. If you have anything to offer please add it to this web page. A very short biography can be<br />
found at http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Curry.html.<br />
<br />
Penn State also has a short biography of him: http://www.research.psu.edu/about/history/1945-1959. There is a sign honoring him outside of the mathematics building ([http://www.flickr.com/photos/ebujak/3807804297/in/photostream/ McAllister Building]):<br />
http://www.flickr.com/photos/ebujak/3808620086/in/photostream/<br />
<br />
Wikipedia entry:<br />
https://en.m.wikipedia.org/wiki/Haskell_Curry )<br />
<br />
<br />
[[Category:Haskell]]</div>Mechachleopteryxhttps://wiki.haskell.org/index.php?title=Haskell_Brooks_Curry&diff=63121Haskell Brooks Curry2019-11-10T17:40:41Z<p>Mechachleopteryx: /* Haskell B. Curry */ Article is a stub. Started putting together an article.</p>
<hr />
<div><CENTER> <br />
{{Stub}}<br />
<br />
= Haskell B. Curry =<br />
<br />
[[Image:HaskellBCurry.jpg]]<br />
</CENTER><br />
<br />
Haskell Brooks Curry, was a mathematician who made significant contributions to logic and computer science.<br />
<br />
He was born in 1900 and died in 1982. Today, three programming languages are named after him, Haskell, Brooks, and Curry, and the composition of functions is called "currying" in his honor.<br />
<br />
Together with the logician Alvin Howard, he developed the idea of "propositions as types," now known as the Curry-Howard correspondence.<br />
<br />
His work also played a critical part in developing the idea that logical systems based on self-recursive expressions are inconsistent.<br />
<br />
<br />
(We are working on a short bio of Haskell Curry and his contributions<br />
to functional languages. If you have anything to offer please add it to this web page. A very short biography can be<br />
found at http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Curry.html.<br />
<br />
Penn State also has a short biography of him: http://www.research.psu.edu/about/history/1945-1959. There is a sign honoring him outside of the mathematics building ([http://www.flickr.com/photos/ebujak/3807804297/in/photostream/ McAllister Building]):<br />
http://www.flickr.com/photos/ebujak/3808620086/in/photostream/<br />
<br />
Wikipedia entry:<br />
https://en.m.wikipedia.org/wiki/Haskell_Curry )<br />
<br />
<br />
[[Category:Haskell]]</div>Mechachleopteryx