Illinois International

Illinois International

skip to events

calendar tabs

  •  All 
  • Month
  • Week
  • Day
  • (Selected tab) Detail

Event Detail Information

Date Feb 14, 2013
Time 4:00 pm  
Location 245 Altgeld Hall
Sponsor Department of Mathematics
Contact Steve Bradlow
Event type Seminar/Symposium
Views 524
Originating Calendar Mathematics

he philosophy of mathematics has long been focused on determining the methods that are appropriate for justifying claims of mathematical knowledge, and the metaphysical considerations that render them so. But, as of late, many philosopher's have called attention to the fact that a much broader range of normative judgments arise in ordinary mathematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The associated values are often loosely classified as aspects of "mathematical understanding".

Meanwhile, In a branch of computer science known as "formal verification," the practice of "interactive theorem proving" has given rise to software tools and systems designed to support the development of complex formal axiomatic proofs. Such efforts require one to develop models of mathematical language and inference that are more robust than the simple foundational models of the last century.

In this talk, I will explore some of the insights that emerge from this work, and some of the ways that these insights can inform, and be informed by, philosophical theories of mathematical understanding.

link for robots only