Member-only story
How I completed the course “Language, Proof, and Logic” in 132 hours
I just finished the course “Language, Proof, and Logic” from Stanford on EdX. It took me exactly 132 hours and 33 minutes. I’ve uploaded my notes, problem set solutions, and other problem solutions to Github.
Why I Took A Course on Logic
I am in the midst of a larger and more hardcore project: doing all the problems in the book “Calculus” by Michael Spivak. I will write about that project in much more detail in a separate post in the future, but for now let me just say that it entails going through single-variable calculus and solving relatively hard problems the solutions of which are for the most part based on giving proofs.
Though it is totally possible to start doing math proofs just by way of the examples of proofs given in math books or lectures, I always found it strange and at times frustrating not to have any instruction about how proofs work, what the types of proofs are, and why, when, and exactly how we should/can use them.
So, in the middle of chapter 5 of Spivak, after some proofs using the method of proof by contradiction, I finally had enough of not knowing with precision what it meant that I had reached a contradiction in a proof…
