Lake panorama © Copyright 2007 by Jon Doyle  



Whatever is true, whatever is noble, whatever is right, whatever is pure, whatever is lovely, whatever is admirable -- if anything is excellent or praiseworthy -- think about such things. (Paul of Tarsus, c. 61)

There is no philosophy that is not founded upon knowledge of the phenomena, but to get any profit from this knowledge it is absolutely necessary to be a mathematician. (Daniel Bernoulli, 1763)

Every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician. (Gottlob Frege)

... denn da ist keine Stelle, die dich nicht sieht. Du mußt dein Leben ändern. (R. M. Rilke, 1908)

... when a Texan fancies he'll take his chances, chances will be taken. (G. P. Nunn, c1973)

... we know that suffering produces perseverance; perseverance, character; and character, hope. And hope does not disappoint us (Paul of Tarsus, c. 61)

Una alla volta, per carità! (C. Sterbini)

Ohne Hast aber ohne Rast. (G. W. v. Goethe)

Soll dir das Gefängnis nicht schädlich sein, mußt du etwas tun, dich zu zerstreun! (C. Haffner and R. Genèe)

Altre cure più gravi di queste, altra brama quaggiù mi guidò! (L. da Ponte)

Kein Aug hat je gespürt, kein Ohr hat mehr gehört solche Freude. (P. Nicolai, 1599)

Kein' Musik is ja nicht auf Erden, die unsrer verglichen kann werden. Die englischen Stimmen ermuntern die Sinnen! Daß alles für Freuden erwacht. (von Arnim & Brentano, 1808)

Jon Doyle

SAS Institute Distinguished Professor of Computer Science
Ph.D., Massachusetts Institute of Technology

Contact information

Office Hours




My primary research interests center on developing a mathematical understanding of thinking and the mind. This effort involves seeking out or developing mathematical concepts and theorems that fit the subject. My work draws on mathematical theories of logic, computation, economics, and mechanics, as well as more general branches of mathematics. In turn, this work has made novel contributions to these existing subjects, including nonmonotonic logics, preference logics, and hybrid mechanics. I am especially interested in


Personal information

Panoramic photograph of Pilot Mountain, North Carolina, by Rick Matthews of Wake Forest University
Pilot Mountain panorama courtesy of Rick Matthews