누가 고등 기능 및 / 또는 일등 시민이라는 용어를 처음으로 만들었습니까?

Haskell, O'Caml 또는 LISP 이전에는 고차 함수가 학술 연구 주제였으며 수학에서는 Schönfinkel (1967)과 Haskell Curry (1968)는 이미 카레와 같은 기술을 적용했음을 이해하고 있습니다. 모든 프로그래밍 언어로 사용 가능하기 전이었습니다.

Wikipedia에 따르면 , Scheme 은 일류 시민으로서 적절한 고차 함수를 도입 한 최초의 언어 였지만, 우리가 원래 아이디어를 귀속시킬 수있는 사람이 있습니까? 1930 년대에 람다 미적분학을 발명 한 알론조 교회일까요? 좀 더 구체적으로 말하면, 누가 다음과 같은 정의를 만들어 냈으며, 나는 여러 서적과 온라인 자료에서 여러 가지 역 어구를 보았습니다.

함수는 다른 함수를 인수로 사용하거나 함수를 반환 할 때 순서가 높은 것으로 간주됩니다. 함수를 인수 또는 리턴 유형으로 사용하지 않는 함수를 1 차 함수라고합니다.

Frege는 "Funktion und Begriff"(1891)에서 다음과 같이 말합니다.

Funktionen von Gegenständen grundverschieden sind, so sin auch Funktionen, deren Argumente Funktionen sind und sein müssen, grundverschieden von Funktionen, deren Argumente Gegenstände sind und nichts anderes sein können. Funktionen erster 님이 Jenie Funktionen zweiter Stufe에 있습니다.

영어로 (내 번역) :

사물과 함수가 다르듯이, 인수도 사물이어야하는 함수와 근본적으로 다른 함수 인 함수도 있습니다. 나는 1 차의 후자 함수, 2 차의 전자 함수라고 부릅니다.

위키 백과 기사는 이미 "일류 시민"이라는 용어를 Strachey에 귀속시킵니다.

"고차 함수"나는 고차와 일차 논리의 구별로 거슬러 올라가는 날짜를 상상합니다.

https://en.wikipedia.org/wiki/Higher-order_logic 및 http://plato.stanford.edu/entries/logic-higher-order/를 참조 하십시오 .