追記：今日は週末です。少し時間を取って、漫画でカレーについての短い話をしましょう。ここでカレーの目的について話しておくべきでしたが、本を送る必要があるので、コメントは全員に任せます。
ここでカリーイングの名前について話しましょう。カリーイングの英語名は、ハスケルブルックカリーを記念してカリーイングです。この大きな牛の名前は非常に興味深いです。ファーストネーム、ミドルネーム、ラストネームが同時に存在する世界で唯一の人物コンピュータプログラミング言語の学者、Haskell言語、Curry言語、Brook言語。
ゲイリーの研究目標は、組み合わせ論理が数学の基礎を提供できることを証明することです。1933年に、ゲイリーはロッサーに対応してクリーネ=ロッサーのパラドックスを学びました。このパラドックスは、当時提案されていた正式なシステムのいくつかの矛盾を証明しました。このパラドックスのため、クリーネ、ロッサー、教会はすべて基本的な数学的問題をあきらめました。ゲーリーだけが研究を主張し、彼はパラドックスから逃れることは決してないと主張した。この目的のために、ゲイリーは彼の人生を組み合わせ論理に専念し、最終的にこの分野の創設者およびマスターになりました。組み合わせロジックは、今日のすべての関数型プログラミング言語の理論的基盤です。この理論は、教会のラムダ計算と非常によく似ていますが、後者は近年より影響力があります。