So I'm currently taking a history of math course and I need to write a 15 page paper in place of my final. It's a 400 level course (high undergrad) so the paper needs to have emphasis on the mathematics and not just the history.
I have been thinking about doing something with logic from the late 19th century to early 20th century, but am not quite sure how to really narrow it down.
I was thinking about doing something with the evolution of classical logic from in that time period Frege, Russell, Wittgenstein, Post, etc.. But that is too broad I think.
I was looking into Emil Post and his work on functional completeness and was thinking maybe something with boolean functions. Maybe incorporating that and show that a formal system can be done with just the sheffer stroke, but am I am not sure.
It seems there was a large push to really see how much could be done with very little (polish notation, Sheffer stroke, etc..) So maybe I could do something in regards to that?
I am fond of Wittgenstein's Tractatus, but I don't think there is too much solid logic there to really work with.
Russel and Whitehead's principia is a bit overwhelming.
I'm looking for advice for a topic that has to do with these things, but won't be too too difficult (I have many other things going on and this is my least highest priority..but important nonetheless)
(So I would not like to do anything with the incompleteness theorem, as I don't have the time to really devote myself to that)