Downloadable at https://web.evanchen.cc/handouts/NaturalProof/NaturalProof.pdf. I don't know why I thought to write this, but it's been bugging me for a year or two now that I've never seen the answer to "what is a proof" written out quite this way. So here you go. It's a bit weird for me to be writing an article that… Continue reading New handout: Intro to Proofs for the Morbidly Curious
Month: April 2023
Announcing ⛵IS, the successor to OTIS
It’s with a sense of both sadness and excitement that I am writing to announce that year IX of my math olympiad training program, OTIS, is cancelled. Instead, it will be replaced by a new program that I am starting, named Boat Operations: A Tutorial In Sailing, or ⛵IS for short. This was a hard… Continue reading Announcing ⛵IS, the successor to OTIS
Power Overwhelming 