ใครเป็นคนแรกที่ประกาศเกียรติคุณฟังก์ชันคำสั่งซื้อที่สูงขึ้นและ / หรือพลเมืองชั้นหนึ่ง?

ฉันเข้าใจมานานแล้วว่าก่อนที่ Haskell, O'Caml หรือ LISP หน้าที่การสั่งงานที่สูงขึ้นจะเป็นวิชาวิจัยทางวิชาการและในวิชาคณิตศาสตร์Schönfinkel (ในปี 1967) และ Haskell Curry (ในปี 1968) ได้ใช้เทคนิคเช่น currying แต่ ก่อนหน้านี้มีให้ในภาษาการเขียนโปรแกรมใด ๆ

Scheme ตาม Wikipediaเป็นภาษาแรกที่แนะนำฟังก์ชั่นการสั่งซื้อที่สูงขึ้นอย่างเหมาะสมในฐานะพลเมืองชั้นหนึ่ง แต่มีใครบ้างที่เราสามารถให้ความคิดดั้งเดิมได้ บางทีโบสถ์อลองโซผู้คิดค้นแลมบ์ดาแคลคูลัสในทศวรรษ 1930? โดยเฉพาะอย่างยิ่งใครเป็นผู้นิยามคำนิยามต่อไปนี้ซึ่งฉันเห็นในการถอดความหลายเรื่องในหนังสือหลายเล่มและแหล่งข้อมูลออนไลน์

ฟังก์ชั่นจะถือว่าเป็นลำดับที่สูงขึ้นเมื่อใช้ฟังก์ชันอื่นเป็นอาร์กิวเมนต์หรือเมื่อส่งคืนฟังก์ชัน ฟังก์ชันใด ๆ ที่ไม่รับฟังก์ชั่นเป็นอาร์กิวเมนต์หรือเป็นชนิดส่งคืนจะเรียกว่าฟังก์ชันลำดับแรก

Frege พูดว่าใน "Funktion und Begriff" (1891):

คุณแม่ Funktionen von Gegenständen grundverschieden sind, ดังนั้น auch Funktionen, deren Argumente Funktionen sind und sein müssen, Grundverschieden von Funktionen, deren Argumente Gegenstände Diese nenne ich Funktionen ยิ่งใหญ่, Jene Funktionen zweiter Stufe

ในภาษาอังกฤษ (คำแปลของฉัน):

เช่นเดียวกับสิ่งต่าง ๆ และฟังก์ชั่นที่แตกต่างกันดังนั้นฟังก์ชั่นที่มีข้อโต้แย้งเป็นฟังก์ชั่นที่แตกต่างอย่างสิ้นเชิงจากฟังก์ชั่นที่มีข้อโต้แย้งจะต้องเป็นสิ่งที่ ฉันเรียกฟังก์ชันหลังของคำสั่งแรก, หน้าที่เดิมของคำสั่งที่สอง

บทความวิกิพีเดียมีคำศัพท์ที่ว่า "พลเมืองชั้นหนึ่ง" มาแล้วที่ Strachey

"ฟังก์ชั่นการสั่งซื้อที่สูงขึ้น" ฉันจะจินตนาการถึงวันที่กลับไปสู่ความแตกต่างระหว่างการสั่งซื้อที่สูงขึ้นและตรรกะการสั่งซื้อครั้งแรก

ดูhttps://en.wikipedia.org/wiki/Higher-order_logicและhttp://plato.stanford.edu/entries/logic-higher-order/