Brief Description

Brief Description

Formal methods of reasoning have been studied in all major civilizations, but the appearance of automatic computing devices in the 20th century has led to an explosion of interest in and applications of formal logic. Today, the advantages of formal reasoning are recognized and utilized far beyond computer science. Students of this module will discover the power as well as the limitations of formal methods for philosophy and mathematics, and learn to apply them in diverse areas. Each student will investigate one of these areas in depth, leading to an essay and presentation.