It’s funny, because in high school, I remember getting poor marks on proofs - and HATING them - because I was like “this is so fucking obvious jesus tap dancing christ” and just… skipped lots of steps.
Fast forward to college and logic theory: that ended up being one of my favorite classes, because machine theory and problem reduction is a fascinating domain, and FAR more interesting than “prove this shape is the shape we say it is” or whatever vapid bullshit they had us doing in high school.
It’s funny, because in high school, I remember getting poor marks on proofs - and HATING them - because I was like “this is so fucking obvious jesus tap dancing christ” and just… skipped lots of steps.
Fast forward to college and logic theory: that ended up being one of my favorite classes, because machine theory and problem reduction is a fascinating domain, and FAR more interesting than “prove this shape is the shape we say it is” or whatever vapid bullshit they had us doing in high school.