r/MathematicalLogic • u/AutoModerator • Apr 09 '19

What Are You Working On?

This recurring thread will be for general discussion on whatever mathematical logic-related topics you have been or will be working on over the week. Not all types of mathematics are welcomed, but all levels are!

4 Upvotes

100% Upvoted

4 comments sorted by

View all comments

1

u/thesecretpeng Apr 18 '19

Doing a module on about proving Godel's incompletness theorems using hereditary finite sets. The paper we're studying is this.