1945 – Stephen Cole Kleene introduces realizability.
1945年 — スティーヴン・コール・クリーネが実現可能性を導入する。