Résultats de la recherche
- Pour les articles homonymes, voir Turing. Alan Turing Alan Turing en 1936. Alan Mathison Turing, né le 23 juin 1912 à Londres et mort le 7 juin 1954 à...73 kio (8 514 mots) - 19 mai 2024 à 18:57
- Alfred Tarski Alfred Tarski, né Alfred Teitelbaum le 14 janvier 1901 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie, est un logicien et...15 kio (1 732 mots) - 21 février 2024 à 13:05
- Pour les articles homonymes, voir Alonzo et Church. Alonzo Church Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) est un mathématicien (logicien)...19 kio (2 201 mots) - 19 mai 2024 à 18:40
- Stephen Kleene Stephen Kleene en 1978. Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin)...13 kio (1 454 mots) - 28 avril 2024 à 11:43
- Pour les articles homonymes, voir Post. Cet article est une ébauche concernant un mathématicien. Vous pouvez partager vos connaissances en l’améliorant...5 kio (681 mots) - 21 février 2023 à 15:50
- Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bibliographie »...4 kio (419 mots) - 20 février 2024 à 14:37
- Pour les articles homonymes, voir Ackermann. Cet article est une ébauche concernant un mathématicien. Vous pouvez partager vos connaissances en l’améliorant...3 kio (283 mots) - 19 août 2023 à 17:08
- Pour les articles homonymes, voir Peter. Dans le nom hongrois Péter Rózsa, le nom de famille précède le prénom, mais cet article utilise l’ordre habituel...9 kio (1 083 mots) - 2 mai 2024 à 14:07
- Robin Gandy Robin Oliver Gandy (22 septembre 1919-20 novembre 1995) est un mathématicien et logicien britannique, ami d'Alan Turing, qui est son directeur...6 kio (626 mots) - 11 octobre 2023 à 14:11
- Pour les articles homonymes, voir Grzegorczyk. Cet article est une ébauche concernant l’informatique théorique. Vous pouvez partager vos connaissances...2 kio (187 mots) - 19 juillet 2023 à 09:47
- Pour les articles homonymes, voir Hay. Ne pas confondre avec l'écrivain américain Louise Hay. Louise Hay Louise Hay Louise Hay (14 juin 1935 - 28 octobre...5 kio (542 mots) - 7 mars 2023 à 22:16
- Melvin Fitting Melvin Fitting (né le 24 janvier 1942 à Troy, New York) est un logicien s'intéressant particulièrement à la logique philosophique et aux...4 kio (442 mots) - 6 février 2024 à 12:03