I keep getting invited to events in "my faculty." Exciting. I was looking forward to being in philosophy. Here's a nice selection of stuff on offer:
1) A philosophy seminar especially for postdocs : "Currently, mathematics is formally based on set theory. Set mathematics is suitable for studying properties invariant under isomorphisms of structured sets. Category theory and Homotopy theory study properties invariant under equivalences. Set theory is an inconvenient language for dealing with the notion of equivalence. In recent years, it was discovered that intensional dependent type theory (Martin-Lof type theory) is a language which is very suitable for formalizing homotopy theory and higher category theory. The main researchers involved in this are Vladimir Voevodsky and Steve Awodey. Martin-Lof developed his version of type theory as a foundation for constructive mathematics. It is also the basis of interactive theorem provers such as Coq."
2) The "Anscombe Memorial Lecture," where a leading Christian, conservative thinker will be lecturing on saving "embryonic human lives." This speaker has also been instrumental in the battle to "save marriage."
3) A reading group for postdocs and faculty that will focus on the role of "nonmental dispositional systems." I'm super into those.
A stimulating beginning to an exciting semester.
Women's studies! Where did you go?
No one saving marriage before *I* save it so WATCH OUT.
ReplyDeleteMy friend in the philosophy department showed his class today clips from Spongebob Squarepants. There's hope.
ReplyDeleteUm, what are "nonmental dispositional systems"? Do I have one? Do I need one?