Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • proper noun A surname.

Etymologies

Sorry, no etymologies found.

Examples

  • 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

  • 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

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

    Archive 2007-04-01

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

    Set Theory: Constructive and Intuitionistic ZF

  • 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

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

    Live Music

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

    Archive 2007-04-01

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

    Live Music

  • 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

  • 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

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.