Haskell Brooks Curry ( / ˈ h æ s k əl / HAS -kəl ; 12 กันยายน 1900 – 1 กันยายน 1982) เป็นนักคณิตศาสตร์และ นัก ^{วิทยาศาสตร์}คอมพิวเตอร์ ชาวอเมริกัน Curry เป็นที่รู้จักกันดีที่สุดจากผลงานของเขาในด้านตรรกศาสตร์เชิงผสมแม้ว่าแนวคิดเริ่มต้นจะมาจากบทความของMoses Schönfinkel [ ^{1 ]} Curry ก็ได้พัฒนาส่วนใหญ่ Curry ยังเป็นที่รู้จักจากปริศนาของ Curryและการติดต่อสื่อสารระหว่าง Curry กับ Howard ภาษาโปรแกรมHaskell , BrookและCurryรวมถึงแนวคิดของcurryingซึ่งเป็นวิธีการแปลงฟังก์ชันที่ใช้ในคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์ได้ รับการตั้งชื่อตามเขา

เคอร์รีเกิดเมื่อวันที่12 กันยายน ค.ศ. 1900 ที่เมืองมิลลิส รัฐแมสซาชูเซตส์บิดาชื่อซามูเอล ไซลาส เคอร์รีและมารดาชื่อแอนนา บาไรต์ เคอร์รีซึ่งเป็นเจ้าของโรงเรียนสอนการพูดเขาเข้าศึกษาที่มหาวิทยาลัยฮาร์วาร์ดในปี ค.ศ. 1916 ในสาขาแพทยศาสตร์ แต่เปลี่ยนไปเรียนคณิตศาสตร์ก่อนสำเร็จการศึกษาในปี ค.ศ. 1920 หลังจากศึกษาต่อระดับบัณฑิตศึกษาด้านวิศวกรรมไฟฟ้าที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) เป็นเวลาสองปี เขาก็กลับมาเรียนฟิสิกส์ ที่ฮาร์วาร์ดอีกครั้ง และได้รับปริญญาโท (MA) ในปี ค.ศ. 1924 ความสนใจในตรรกศาสตร์ทางคณิตศาสตร์ของเคอร์รีเริ่มต้นขึ้นในช่วงเวลานี้ เมื่อเขาได้รู้จักกับหนังสือPrincipia Mathematicaซึ่งเป็นความพยายามของอัลเฟรด นอร์ธ ไวท์เฮดและเบอร์แทรนด์ รัสเซลล์ในการวางรากฐานคณิตศาสตร์ด้วยตรรกศาสตร์เชิงสัญลักษณ์ เคอร์รีศึกษาต่อที่ฮาร์วาร์ดเพื่อรับปริญญาดุษฎีบัณฑิต (Ph.D.) สาขาคณิตศาสตร์ แม้ว่าจอ ร์จ เดวิด เบิร์คฮอฟฟ์จะแนะนำให้เขาทำงานเกี่ยวกับสมการเชิงอนุพันธ์แต่ความสนใจของเขาก็ยังคงเปลี่ยนไปสู่ตรรกศาสตร์ ในปี พ.ศ. 2460 ขณะที่เป็นอาจารย์อยู่ที่มหาวิทยาลัยพรินซ์ตันเขาได้ค้นพบงานของโมเสส เชินฟิงเคิลในตรรกศาสตร์เชิงการจัดเรียง งานของเชินฟิงเคิลได้คาดการณ์ถึงงานวิจัยของเคอร์รีไว้ล่วงหน้า และด้วยเหตุนี้ เขาจึงย้ายไปที่มหาวิทยาลัยเกิตติงเงนซึ่งเขาสามารถทำงานร่วมกับไฮน์ริช เบห์มันน์และพอล เบอร์เนย์สผู้ซึ่งคุ้นเคยกับงานของเชินฟิงเคิล เคอร์รีได้รับการดูแลโดยเดวิด ฮิลเบิร์ตและทำงานอย่างใกล้ชิดกับเบอร์เนย์ส จนได้รับปริญญาเอกในปี พ.ศ. 2473 ด้วยวิทยานิพนธ์เกี่ยวกับตรรกศาสตร์เชิงการจัดเรียง^{[ 2 ]}( 12 กันยายน 1900 )

ในปี 1928 ก่อนเดินทางไปเมืองเกิตติงเงน เคอร์รีได้แต่งงานกับแมรี เวอร์จิเนีย วีทลีย์ ทั้งคู่ใช้ชีวิตอยู่ในเยอรมนีขณะที่เคอร์รีทำวิทยานิพนธ์เสร็จสิ้น จากนั้นในปี 1929 ก็ย้าย ไปอยู่ที่ สเตทคอลเลจ รัฐเพนซิลเวเนียซึ่งเคอร์รีได้รับตำแหน่งที่วิทยาลัยแห่งรัฐเพนซิลเวเนียพวกเขามีบุตรสองคน คือ แอนน์ ไรท์ เคอร์รี (27 กรกฎาคม 1930) และโรเบิร์ต วีทลีย์ เคอร์รี (6 กรกฎาคม 1934) เคอร์รีอยู่ที่มหาวิทยาลัยเพนน์สเตทเป็นเวลา 37 ปี เขาใช้เวลาหนึ่งปีที่มหาวิทยาลัยชิคาโกในปี 1931–1932 ภายใต้ทุนวิจัยแห่งชาติและอีกหนึ่งปีในปี 1938–1939 ที่สถาบันเพื่อการศึกษาขั้นสูงในพรินซ์ตัน ในปี 1942 เขาลาพักงานเพื่อทำงานด้านคณิตศาสตร์ประยุกต์ให้กับรัฐบาลสหรัฐอเมริกาในช่วงสงครามโลกครั้งที่สองโดยเฉพาะที่คลังแสงแฟรงค์ฟอร์ด หลังสงครามสิ้นสุดลงทันที เขาทำงานใน โครงการ ENIACในปี 1945 และ 1946 โดยได้รับทุนฟุลไบรท์เขาได้ร่วมงานกับโรเบิร์ต เฟย์สในเมืองลูแวนประเทศเบลเยียม หลังจากเกษียณจากมหาวิทยาลัยเพนน์สเตทในปี 1966 เคอร์รีก็รับตำแหน่งที่มหาวิทยาลัยอัมสเตอร์ดัมในปี 1970 หลังจากเขียนตำราตรรกศาสตร์เชิงผสมเล่มที่สองเสร็จ เคอร์รีก็เกษียณจากมหาวิทยาลัยอัมสเตอร์ดัมและกลับไปที่สเตทคอลเลจ รัฐเพนซิลเวเนีย

แฮสเคล เคอร์รี เสียชีวิตเมื่อวันที่ 1 กันยายน 1982 (1982-09-01)(อายุ 81 ปี) ที่สเตทคอลเลจ รัฐเพนซิลเวเนีย

งานของเคอร์รีมุ่งเน้นไปที่ความพยายามที่จะแสดงให้เห็นว่าตรรกะเชิงการจัดเรียงสามารถเป็นรากฐานของคณิตศาสตร์ได้ ในช่วงปลายปี 1933 เขาได้เรียนรู้เกี่ยวกับความขัดแย้งของคลีน-รอสเซอร์จากการติดต่อสื่อสารกับจอห์น รอสเซอร์ความขัดแย้งนี้ ซึ่งพัฒนาโดยรอสเซอร์และสตีเฟน คลีน ได้พิสูจน์ความไม่สอดคล้องกันของ ระบบเชิงรูปธรรมที่เกี่ยวข้องหลาย ระบบ รวมถึงระบบที่เสนอโดยอลอนโซ เชิร์ช (ระบบที่มีแคลคูลัสแลมบ์ดาเป็นระบบย่อยที่สอดคล้องกัน) และระบบของเคอร์รีเอง^{[ 2 ]}อย่างไรก็ตาม ต่างจากเชิร์ช คลีน และรอสเซอร์ เคอร์รีไม่ได้ละทิ้งแนวทางพื้นฐาน โดยกล่าวว่าเขาไม่ต้องการ "หนีจากความขัดแย้ง" ^{[ 3 ]}

ด้วยการทำงานในด้านตรรกศาสตร์เชิงการจัดเรียงตลอดอาชีพการงาน เคอร์รีจึงกลายเป็นผู้ก่อตั้งและบุคคลสำคัญที่สุดในสาขานี้ ตรรกศาสตร์เชิงการจัดเรียงเป็นรากฐานของ ภาษา การเขียนโปรแกรมเชิงฟังก์ชัน รูปแบบหนึ่ง พลังและขอบเขตของตรรกศาสตร์เชิงการจัดเรียงนั้นคล้ายคลึงกับแคลคูลัสแลมบ์ดาของเชิร์ช และรูปแบบหลังนี้มีแนวโน้มที่จะแพร่หลายมากขึ้นในช่วงหลายทศวรรษที่ผ่านมา

ในช่วงสงครามโลกครั้งที่สอง เคอร์รีทำงานที่แฟรงค์ฟอร์ดอาร์เซนอลซึ่งเขาได้พัฒนา อัลกอริทึม การลงแบบชันที่สุดโดยอิงจากงานของโคชี [ ^{4 ] ซึ่ง} กลายเป็นตัวอย่างพื้นฐานของวิธี การลดระดับความชัน สมัยใหม่

ในปี พ.ศ. 2490 Curry ยังได้อธิบาย ภาษาการเขียนโปรแกรมระดับสูงภาษาแรกๆและให้คำอธิบายขั้นตอนแรกในการแปลงนิพจน์ทางคณิตศาสตร์ทั่วไปให้เป็นรหัสสำหรับคอมพิวเตอร์แบบแอดเดรสเดียว^{[ 5 ]}

เขาสอนอยู่ที่มหาวิทยาลัยฮาร์วาร์ ด มหาวิทยาลัย พรินซ์ตันและตั้งแต่ปี 1929 ถึง 1966 ที่มหาวิทยาลัยเพนซิลเวเนียสเตทในปี 1942 เขาได้ตีพิมพ์Curry's paradoxในปี 1966 เขาได้เป็นศาสตราจารย์ด้านตรรกศาสตร์ ประวัติศาสตร์ตรรกศาสตร์ และปรัชญาของวิทยาศาสตร์ที่แม่นยำที่มหาวิทยาลัยอัมสเตอร์ดัมซึ่งเป็นผู้สืบทอดตำแหน่งของEvert Willem Beth ^{[ 6 ]}

นอกจากนี้ เคอร์รียังเขียนและสอนตรรกศาสตร์ทางคณิตศาสตร์โดยทั่วไปด้วย การสอนของเขาในด้านนี้ถึงจุดสูงสุดในหนังสือFoundations of Mathematical Logic ในปี 1963 ปรัชญาคณิตศาสตร์ที่เขาชื่นชอบคือลัทธิรูปนิยม (ดูหนังสือของเขาในปี 1951) ซึ่งสืบทอดมาจากฮิลเบิร์ตผู้เป็นอาจารย์ของเขา แต่ผลงานเขียนของเขาแสดงให้เห็นถึงความอยากรู้อยากเห็นทางปรัชญาอย่างมากและความคิดที่เปิดกว้างเกี่ยวกับตรรกศาสตร์ เชิง สัญชาตญาณ

• "Grundlagen der Kombinatorischen Logik" [รากฐานของตรรกะเชิงการจัดเรียง]. American Journal of Mathematics (ในภาษาเยอรมัน). 52 (3). สำนักพิมพ์มหาวิทยาลัยจอห์นส์ฮอปกินส์: 509– 536. 1930. doi : 10.2307/2370619 . JSTOR  2370619 .
• ทฤษฎีการอนุมานเชิงรูปธรรมสำนักพิมพ์มหาวิทยาลัยนอเทรอดาม 1950^{[ 7 ]}
  • ทฤษฎีการอนุมานเชิงรูปธรรม (ฉบับที่ 2) สำนักพิมพ์มหาวิทยาลัยนอเทรอดาม 1957
• เค้าโครงของปรัชญาคณิตศาสตร์แบบฟอร์มาลิสต์อัมสเตอร์ดัม: เอลเซเวียร์ ไซแอนซ์ 1951สืบค้นเมื่อ23 กรกฎาคม 2012ISBN 0444533680.
• Leçons de logique algébrique (ภาษาฝรั่งเศส) ปารีส: Gauthier-Villars. 1952.^{[ 8 ]}
• Curry, Haskell Brooks ; Feys, Robert (1958). ตรรกศาสตร์เชิงผสม . เล่ม 1. อัมสเตอร์ดัม: North Holland Publishing Company .ISBN 0-7204-2208-6.
• พื้นฐานของตรรกศาสตร์ทางคณิตศาสตร์สำนักพิมพ์ McGraw Hill. 1963.
  • พื้นฐานของตรรกศาสตร์ทางคณิตศาสตร์ (ฉบับสมบูรณ์และแก้ไขโดยสำนักพิมพ์โดเวอร์) นิวยอร์ก: สำนักพิมพ์โดเวอร์ 1977 ISBN 0-486-63462-0สืบค้นข้อมูลเมื่อ วัน ที่23 กรกฎาคม 2555
• Curry, Haskell Brooks ; Hindley, J. Roger ; Seldin, Jonathan P. (1972). ตรรกศาสตร์เชิงผสม . เล่ม 2. อัมสเตอร์ดัม: North Holland. ISBN 0-7204-2208-6.

• เซลดินและฮินด์ลีย์ (1980) — ประกอบด้วยบทความชีวประวัติ

• เซลดิน, โจนาธาน พี. "ฮัสเคล บรูคส์ เคอร์รี (1900-1982)"ใน ฟีเซอร์, เจมส์; ดาวเดน, แบรดลีย์ (บรรณาธิการ). สารานุกรมปรัชญาออนไลน์ . ISSN  2161-0002 . OCLC  37741658 .
• โอคอนเนอร์, จอห์น เจ.; โรเบิร์ตสัน, เอ็ดมันด์ เอฟ. , "แฮสเคล เคอร์รี" , คลังเอกสารประวัติศาสตร์คณิตศาสตร์ MacTutor , มหาวิทยาลัยเซนต์แอนดรูว์ส
• หอจดหมายเหตุเคอร์รีมีภาพเอกสารต้นฉบับหลายร้อยหน้า ตั้งแต่ปี 1920 ถึง 1931
• บรรณานุกรม CLg. 587 หน้า
• มหาวิทยาลัยอัมสเตอร์ดัม, บรรณาธิการ (2023). "Album Academicum - อาจารย์และผู้สำเร็จการศึกษาระดับปริญญาเอกตั้งแต่ปี 1632 จนถึงปัจจุบัน" . สืบค้นเมื่อ23 กันยายน 2023 .