Portail:Logique/Images

Le mathématicien et logicien austro-américain Kurt Gödel en 1925.
Le philosophe et logicien grec antique Aristote.
Le mathématicien allemand Georg Cantor.
Le philosophe et logicien britannique Bertrand Russell en 1916.
Le mathématicien allemand David Hilbert en 1912.
L'escalier de Penrose, un objet impossible.
La machine analytique de Charles Babbage.
Le mathématicien et physicien hongro-américain John von Neuman dans les années 1940.
Le mathématicien et logicien français Jacques Herbrand juste avant sa mort en 1931.
Le mathématicien allemand Ernst Schröder dans les années 1890.
Statue en mémoire du mathématicien britannique Alan Turing au mémorial du Sackville Park.
Le mathématicien et linguiste italien Giuseppe Peano vers 1910.
Le philosophe, mathématicien et logicien allemand Gottfried Wilhelm Leibniz vers 1695.
Le mathématicien et logicien britannique George Boole vers 1860.
Le philosophe et logicien catalan médiéval Raymond Lulle.
Le philosophe et logicien anglais médiéval Guillaume d'Ockham.
Les Principia Mathematica de Bertrand Russell et Alfred North Whitehead.
Le Tractacus logico-philosophicus de Ludwig Wittgenstein.
Le logicien américain Stephen Kleene en 1978.
Le logicien américain d'origine polonaise Alfred Tarski en 1968.
Le mathématicien et logicien britannique Auguste De Morgan en 1882.
Illustration des lois de De Morgan.
Le mathématicien et logicien français Louis Couturat.
Le philosophe et logicien britannique Alfred North Whitehead.
Illustration de la combinatoire dans le De arte combinatoria de Gottfried Wilhelm Leibniz.
Un cube impossible.
Le triangle de Penrose, un objet impossible.
Le mathématicien et physicien britannique Roger Penrose en 2005.
Le logicien soviétique Moses Schönfinkel en 1922.
Le logicien et théoricien de l'informatique américano-canadien Stephen Cook en 2008.
Le logicien et philosophe américain Saul Kripke en 2005.
L'économiste et logicien britannique William Stanley Jevons.
Le philosophe, sémiologue et logicien américain Charles Sanders Peirce.
Illustration du paradoxe d'Achille et de la tortue, un des paradoxes de Zénon.
Le logicien allemand Gerhard Gentzen en 1945.
La règle du modus ponens, dite aussi de l'« élimination de l'implication », en déduction naturelle.
La règle de coupure dans l'article original de Gerhard Gentzen.