Alfred Tarski

Alfred Tarski, l'un des plus grands logiciens de tous les temps, est largement considéré comme « l'homme qui a défini la vérité ». Ses travaux sur les concepts de vérité et de conséquence logique sont les pierres angulaires de la logique moderne, influençant les développements en mathématiques, en philosophie, en linguistique et en informatique. Tarski était un enseignant charismatique et un promoteur zélé de sa vision de la logique comme fondement de toute pensée rationnelle, un bon vivant et un coureur de jupons qui jouait le « grand homme » jusqu'au bout. Un voyage fortuit aux États-Unis au début de la Seconde Guerre mondiale lui a sauvé la vie et a changé sa carrière, même s’il l’a séparé de sa famille pendant des années. Des cafés de Varsovie et de Vienne aux montagnes et aux déserts de Californie, cette première biographie complète place Tarski dans le contexte social, intellectuel et historique de son époque et présente un portrait franc et vivant d’un homme passionné personnellement et professionnellement - entrelacé d’un compte rendu de ses principales réalisations scientifiques. Langue : Anglais