| 1. | 1933) 2008 – Roland Fraïssé, French mathematical logician (b.
Roland Fraïssé (mort en 2008), mathématicien (logicien) français. |
| 2. | It is named after logician Haskell Curry.
Son nom vient du mathématicien et logicien Haskell Brooks Curry. |
| 3. | It is named after the mathematical logician Alfred Tarski.
Il est nommé en hommage au mathématicien logicien Alfred Tarski. |
| 4. | Willard Van Orman Quine (1908–2000): American philosopher and logician.
Willard van Orman Quine (1908-2000), un philosophe et logicien américain. |
| 5. | John Venn (1834–1923) was an English logician and mathematician.
John Venn (1834 – 1923) est un mathématicien et logicien britannique. |
| 6. | Georg Kreisel, 91, Austrian mathematical logician.
1er mars : Georg Kreisel, né autrichien logicien des mathématiques, 91 ans. |
| 7. | 1930) 2012 – Ruth Barcan Marcus, American philosopher and logician (b.
2012 : Ruth Barcan Marcus, Philosophe et logicienne américaine (° 2 août 1921). |
| 8. | Kurt Gödel (1906–1978) logician and mathematician, who became famous for his two incompleteness theorems.
Kurt Gödel (d. 1978), mathématicien austro-américain, célèbre pour son théorème d'incomplétude. |
| 9. | Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician.
Julius Richard Büchi (1924-1984), mathématicien et logicien suisse, l'automate du même nom : l'automate de Büchi. |
| 10. | He was a mathematician and logician, and wrote an influential book on the origin of languages.
Mathématicien et logicien, il a écrit un livre influent sur l'origine des langues . |
