Kripke
Look at other dictionaries:
Kripke — ist der Name folgender Personen: Eric Kripke (* 1974), Regisseur, Produzent und Drehbuchautor Saul Aaron Kripke (* 1940), US amerikanischer Philosoph und Logiker Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrer … Deutsch Wikipedia
Kripke's — Kripke, Saul Aaron … Philosophy dictionary
Kripke — Krịpke, Saul Aaron, amerikanischer Logiker und Philosoph, * Bay Shore (N. Y.) 13. 11. 1940; erregte 1959 Aufsehen, als er mithilfe der von ihm entwickelten Modellvorstellung der »möglichen Welten« (Kripke Semantik) zeigen konnte, dass die… … Universal-Lexikon
Kripke — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Saul Aaron Kripke, philosophe et logicien américain né en novembre 1940 ; Eric Kripke, créateur de la série télévisée américaine Supernatural.… … Wikipédia en Français
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
KRIPKE, SAUL AARON — (1940– ), U.S. philosopher interested in metaphysics, philosophy of language, epistemology, philosophy of mind, and philosophy of logic and mathematics. Kripke helped advance understanding in modal logic, intuitionistic logic, and set theory.… … Encyclopedia of Judaism
Kripke, Saul — ▪ American logician and philosopher Introduction in full Saul Aaron Kripke born Nov. 13, 1940, Bay Shore, Long Island, N.Y., U.S. American logician and philosopher who from the 1960s was one of the most powerful thinkers in Anglo American… … Universalium
Kripke structure — A Kripke structure is a type of nondeterministic finite state machine used in model checking to represent the behaviour of a system. It is basically a graph whose nodes represent the reachable states of the system and whose edges represent state… … Wikipedia
Kripke–Platek set theory — The Kripke–Platek axioms of set theory (KP) (IPAEng|ˈkrɪpki ˈplɑːtɛk) are a system of axioms of axiomatic set theory, developed by Saul Kripke and Richard Platek. The axiom system is written in first order logic; it has an infinite number of… … Wikipedia
Kripke, Saul Aaron — (1940– ) American logician and philosopher. Born in New York, and educated at Harvard and Oxford, Kripke made his early reputation as a logical prodigy, especially through work on the completeness of systems of modal logic. The three classic… … Philosophy dictionary
