Research

My research is best characterized as practice-informed technical philosophy. This means I study first and foremost the actual practices of technical specialists, in order to discern interesting threads among these practices that underlie particular aspects of the trade. To my way of thinking, this line of work relates to its attended disciplines in pretty much the same ways that a sports/chess pundit's job relates to their respective subject matters.
Below, you'll find blurbs to some of the things I am currently thinking about.

philosophy

Varieties of Confluence Arguments

What do we mean when we say we have a Church-Turing Thesis for something? And what evidence do we have for those?

Metamathematical Methods in Descriptive Set Theory

A case study of the practice of classifying proofs by their methodology.

history

History of Descriptive Set Theory

How did descriptive set theory come to look the way it does today?

philosophy

Varieties of Confluence Arguments

Metamathematical Methods in Descriptive Set Theory

history

History of Descriptive Set Theory

mathematical logic