La preuve de l'indécidabilité de la logique de pertinence R demeure une contribution déterminante d'Alasdair Urquhart au domaine de la logique non classique. Né en Écosse le 20 décembre 1945, il a établi une carrière couvrant à la fois la philosophie et la logique mathématique, orientant ses recherches vers des sujets d'informatique théorique et la complexité des procédures de décision au sein des systèmes formels.
Fondements académiques
Alasdair Ian Fenton Urquhart a commencé sa scolarité dans son Écosse natale, obtenant une maîtrise ès arts en philosophie à l'Université d'Édimbourg en 1967. Il a ensuite poursuivi des études supérieures à l'étranger, obtenant à la fois une maîtrise et un doctorat en 1973. Ses recherches doctorales ont été menées sous la direction de Nuel Belnap et d'Alan Ross Anderson.
Carrière professionnelle à Toronto
L'essentiel de sa carrière universitaire s'est déroulé à l'Université de Toronto. Il a débuté comme professeur adjoint au Erindale College, aujourd'hui connu sous le nom d'Université de Toronto à Mississauga, en 1973. Deux ans plus tard, il a été promu professeur agrégé. En 1986, il a rejoint la Faculté des arts et des sciences de l'Université de Toronto, où il a exercé les fonctions de professeur de philosophie.
Rôles éditoriaux et consultatifs
Parallèlement à son enseignement et à ses recherches, Urquhart a assumé d'importantes responsabilités éditoriales au sein de la communauté mathématique. Entre 1983 et 1989, il a été rédacteur-conseil pour le Journal of Symbolic Logic. En outre, il a dirigé la publication de Canadian Philosophical Monographs et a pris le poste de rédacteur en chef des recensions pour The Bulletin of Symbolic Logic en 2003. Il siège actuellement au conseil de la Division de logique, méthodologie et philosophie de la science et de la technologie.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Recherche et publications clés
La production d'Urquhart comprend l'ouvrage de 1971 Temporal Logic, coécrit avec Nicholas Rescher. Ses recherches sur les aspects techniques de la logique de pertinence sont attestées par des articles tels que The Undecidability of Entailment and Relevant Implication, publié en 1984. Sa collaboration avec Stephen A. Cook, intitulée Functional Interpretations of Feasibly Constructive Arithmetic, a exploré les intersections entre la logique et l'arithmétique constructive.
En bref
- Naissance : 20 décembre 1945 - Nationalité : Royaume-Uni - Domaine : Mathématiques et philosophie - Alma mater : Université d'Édimbourg, Université de Pittsburgh - Principal employeur universitaire : Université de Toronto - Membre : Logicians Liberation League - Langue : Anglais
Questions fréquemment posées
### Quelle est la réalisation logique la plus remarquable d'Alasdair Urquhart ?
Il est reconnu pour avoir fourni la preuve de l'indécidabilité de la logique de pertinence R.
### Où Urquhart a-t-il obtenu son doctorat ?
Il a obtenu son doctorat en 1973 à l'Université de Pittsburgh.
