Kleene

The name “Proof Interpretation” for the explanation that Heyting published in the 1930s and later seems to have made its first appearance in print only in 1973, in papers by Van Dalen and Kleene, presented at the same conference (van Dalen 1973a, Kleene 1973).

The Development of Intuitionistic Logic van Atten, Mark 2009

It also appears in a number of recent introductory textbooks (Shoenfield 1967; Kleene 1967; Fraenkel et al. 1984; Ebbinghaus et al. 1994; van Dalen 1997).

Skolem's Paradox Bays, Timothy 2009

Maximillion Kleene played first, and then Montian Gilruth finished up the evening.

Archive 2007-04-01 pixel bailey 2007

Myhill introduced a variant of this realisability which resembles Kleene's slash (Myhill 1973; Kleene 1962, 1963).

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

Kleene had taken up Ketonen's calculus from the Bernays review and also treated intuitionistic sequent calculus in which invertibility is more restricted than in the classical calculus.

Chores 2009

Maximillion Kleene played first, and then Montian Gilruth finished up the evening.

Live Music pixel bailey 2007

Max Kleene seems to be a genuinely kind, talented guy.

Archive 2007-04-01 pixel bailey 2007

Max Kleene seems to be a genuinely kind, talented guy.

Live Music pixel bailey 2007

In this spirit, both Johnsen and Tye endorse the truth-tables of Kleene (1938) while Hyde those of Łukasiewicz (1920).

Wild Dreams Of Reality, 3 2009

For further biographical material in addition to the above-mentioned, see also Gödel 1987, Kleene 1987, Kreisel 1980, Taussky-Todd 1987 and Yourgrau 2005. 2.

Kurt Gödel Kennedy, Juliette 2007