Alan McGison Turing (1912~1954), un famoso matemático, lógico y criptógrafo británico, es conocido como el padre de la informática y la inteligencia artificial. Nacido en Paddington, Inglaterra, el 23 de junio de 2002. Ingresó al King's College de la Universidad de Cambridge en 191931 y estudió con el famoso matemático Hardy. Se doctoró en la Universidad de Princeton en Estados Unidos en 1938 y regresó a Cambridge después del estallido de la epidemia. Segunda Guerra Mundial. Ayudó a los militares a descifrar el famoso sistema de cifrado alemán Enigma y ayudó a los aliados a ganar la Segunda Guerra Mundial. Murió en Manchester el 7 de junio de 1954.
Turing es el fundador de la lógica informática y propuso algunos conceptos importantes como "máquina de Turing" y "prueba de Turing". El "Premio Turing" se creó especialmente para conmemorar sus destacadas contribuciones en el campo de la informática.
Friedrich Ludwig Gottlob Frege (alemán: Friedrich Ludwig Gottlob Frege, IPA: /?ɡ?tlop?f?e?ɡ?/; 1848 165438 8 de octubre - 26 de julio de 1925), matemático y lógico alemán y filósofo. Es el fundador de la lógica matemática y la filosofía analítica.
Petrus Lamis (francés: Petrus Lamis, 26 de agosto de 1515-1572), también conocido como Pierre de la Lame (francés: Pierre El Drame), un humanista, lógico, filósofo y reformador educativo francés. . Fue asesinado en la masacre de Saint-Bartolmeu de 1972.
El Sr. Shen Youding (1908-1989) es un famoso lógico, filósofo y educador en mi país moderno y contemporáneo. Es el fundador, pionero y genio en el campo de la lógica en mi país. Especializado en lógica matemática e historia de la lógica china y occidental. Alguna vez se desempeñó como profesor en la Universidad de Tsinghua, la Universidad Asociada del Suroeste y la Universidad de Pekín, e investigador en el Instituto de Filosofía de la Academia China de Ciencias y la Academia China de Ciencias Sociales. Es un erudito famoso en el país y en el extranjero.