Portail:Logique/Images
De Wikipedia, l'encyclopédie encyclopedia
<gallery> | Fichier:1925 kurt gödel.png | Le mathématicien et logicien austro-américain Kurt Gödel en 1925. | Fichier:Aristoteles Louvre.jpg | Le philosophe et logicien grec antique Aristote. | Fichier:Matematiker georg cantor.jpg | Le mathématicien allemand Georg Cantor. | Fichier:Bertrand Russell transparent bg.png | Le philosophe et logicien britannique Bertrand Russell en 1916. | Fichier:Hilbert.jpg | Le mathématicien allemand David Hilbert en 1912. | Fichier:Impossible staircase.svg | L'escalier de Penrose, un objet impossible. | Fichier:AnalyticalMachine Babbage London.jpg | La machine analytique de Charles Babbage. | Fichier:JohnvonNeumann-LosAlamos.jpg | Le mathématicien et physicien hongro-américain John von Neuman dans les années 1940. | Fichier:Herbrand.jpg | Le mathématicien et logicien français Jacques Herbrand juste avant sa mort en 1931. | Fichier:Ernst schroeder.jpg | Le mathématicien allemand Ernst Schröder dans les années 1890. | Fichier:Alan Turing Memorial Closer.jpg | Statue en mémoire du mathématicien britannique Alan Turing au mémorial du Sackville Park. | Fichier:Giuseppe Peano.jpg | Le mathématicien et linguiste italien Giuseppe Peano vers 1910. | Fichier:Gottfried Wilhelm von Leibniz.jpg | Le philosophe, mathématicien et logicien allemand Gottfried Wilhelm Leibniz vers 1695. | Fichier:George Boole color.jpg | Le mathématicien et logicien britannique George Boole vers 1860. | Fichier:Ramon Llull.jpg | Le philosophe et logicien catalan médiéval Raymond Lulle. | Fichier:William of Ockham - Logica 1341.jpg | Le philosophe et logicien anglais médiéval Guillaume d'Ockham. | Fichier:Russell, Whitehead - Principia Mathematica to 56.jpg | Les Principia Mathematica de Bertrand Russell et Alfred North Whitehead. | Fichier:Tractatus title page 1922 Harcourt.png | Le Tractacus logico-philosophicus de Ludwig Wittgenstein. | Fichier:Kleene.jpg | Le logicien américain Stephen Kleene en 1978. | Fichier:Alfred Tarski 1968 (as-is).jpg | Le logicien américain d'origine polonaise Alfred Tarski en 1968. | Fichier:De Morgan Augustus.jpg | Le mathématicien et logicien britannique Auguste De Morgan en 1882. | Fichier:Demorganlaws.svg | Illustration des lois de De Morgan. | Fichier:Louis-Couturat2.jpg | Le mathématicien et logicien français Louis Couturat. | Fichier:Alfred North Whitehead - cropped.jpg | Le philosophe et logicien britannique Alfred North Whitehead. | Fichier:Fotothek df tg 0005486 Mathematik ^ Kombinatorik.jpg | Illustration de la combinatoire dans le De arte combinatoria de Gottfried Wilhelm Leibniz. | Fichier:Necker cube and impossible cube.svg | Un cube impossible. | Fichier:Tribar.svg | Le triangle de Penrose, un objet impossible. | Fichier:Roger Penrose-6Nov2005.jpg | Le mathématicien et physicien britannique Roger Penrose en 2005. | | Fichier:Schonfinkel.png | Le logicien soviétique Moses Schönfinkel en 1922. | Fichier:Prof.Cook.jpg | Le logicien et théoricien de l'informatique américano-canadien Stephen Cook en 2008. | Fichier:Kripke.JPG | Le logicien et philosophe américain Saul Kripke en 2005. | Fichier:Jevons.jpeg | L'économiste et logicien britannique William Stanley Jevons. | Fichier:Charles Sanders Peirce theb3558.jpg | Le philosophe, sémiologue et logicien américain Charles Sanders Peirce. | Fichier:Zeno Achilles Paradox.png | Illustration du paradoxe d'Achille et de la tortue, un des paradoxes de Zénon. | Fichier:Gerhard Gentzen.jpg | Le logicien allemand Gerhard Gentzen en 1945. | Fichier:Modus ponens.png|La règle du modus ponens, dite aussi de l'« élimination de l'implication », en déduction naturelle. | Fichier:Cut rule.png | La règle de coupure dans l'article original de Gerhard Gentzen. </gallery>