thank you - completed MoP ! (minus 3 exercises) + next steps

Stream: new members

[rzeta0]

After months of working daily, I've completed the Mechanics of Proof course!

:tada:

I've done all the exercises, except the following 3:

• 8.2 Bijectivity ex 4 and 5
• 9.2 Set Operations ex 8

Phew!

🙏🏼 I wanted to say thanks to everyone here who has helped, and shown particular patience with me being slower than most (I didn't do maths at university).

I may come back to those exercises because they seem to require an interesting or novel concept (and aren't about magic algebra torture which some of you know I find uneducational :face_with_raised_eyebrow:).

When I started, I did want to learn about lean basics covering not just simple algebra but functions and sets, and this course did touch on those. The only area I didn't touch on, is some kind of real analysis, convergence of sequences, that sort of thing. Maybe I'll do that in future?

---

My next steps are to work through - well, as much as I can,

• Type Theory and Formal Proof, An Introduction https://www.cambridge.org/core/books/type-theory-and-formal-proof/0472640AAD34E045C7F140B46A57A67C
• Common Lisp: A Gentle Introduction to Symbolic Computation https://www.cs.cmu.edu/~dst/LispBook/

And return to my long term project to work through Terence Tao's Analysis I where I've almost got to the end of Chapter 3.

[Derek Rhodes]

Hi, you mentioned "Type Theory and Formal Proof" book earlier, I did some digging and found a set of high quality lectures on youtube that follow the first six chapters. In case you haven't seen them already:

Lambda Cube Unboxed

[rzeta0]

Thanks Derek - that's really handy. I did stumble on those videos a while back but lost the link.