Patricia Blanchette
University of Notre Dame
Scientific, Distinguished Lecture
PIMS - UCalgary Math and Philosophy Lecture: Patricia Blanchette
One of the most important techniques provided by modern logic is the use of models to show the consistency of theories. The technique burst onto the scene in the late 19th century, and had its most important early instance in demonstrating the...
Scientific, Distinguished Lecture
The Calgary Mathematics and Philosophy Lectures: Patricia Blanchette (CANCELLED)
One of the most important techniques provided by modern logic is the use of models to show the consistency of theories. The technique burst onto the scene in the late 19th century, and had its most important early instance in demonstrating the...