Kripke
page d'homonymie d'un projet Wikimédia
Patronyme modifier
Kripke est un nom de famille notamment porté par :
- Saul Aaron Kripke, (1940-2022), philosophe et logicien américain ;
- Eric Kripke (1974-), scénariste, producteur et réalisateur américain ;
- Madeline Kripke (1943-2020), collectionneuse de dictionnaires.
En logique modifier
- La sémantique de Kripke est la sémantique de la logique modale et de la logique intuitionniste.