The Group in Logic & the Methodology of Science Fund

Students in this Ph.D. program acquire a good understanding of the mathematical theory known as mathematical logic, which deals in a rigorous way with such central concepts as truth, definability, provability, and computability. There are important areas of application in mathematics, philosophy, computer science, and elsewhere. The Group in Logic and the Methodology of Science is an interdepartmental agency which cooperates closely with the Departments of Mathematics, Philosophy, and Electrical Engineering and Computer Sciences.