Thanks! Do you have a version of that talk published anywhere? I tried searching your YouTube channel [1] for a few things like "golden ratio" "ratio", "irrational"... but didn't find anything.
Aw thanks, but I think the Mathologer and Numberphile videos are sufficient for me if you haven't already uploaded yours. I don't want to bother you doing extra work for little return!
I honestly should sketch out the talk anyway. I haven't seen anyone else bring together the proof that sqrt(2) is irrational, and the Continued Fraction method of factoring.
Yeah, maybe I'll hack out a sketch tomorrow, show it to a few people, and get them to tell me what's missing so I can flesh it out.
[1] https://www.youtube.com/@colinwright/