u/opercept

Hi everyone,

I just recently made a video covering the history and development of proof theory in under 1 minute, and I’d really appreciate some honest feedback from this community.

As I am interested in mathematical logic, I’ve always been confused by what seems to be a neglect from the rest of the larger math community. I found that a lot of videos either skip over the history or get too bogged down in formalism. I tried making a good overview for the beginner that doesn't talk down to you.

If this isn't the right type of post for this community, please let me know and I'll move it.

Thank you all for your time.