I’m a grown up but I still am amazed every time it works? Just feels like cheating. I think experiencing this in a CS context hammers that home more than when you do induction proofs in math because you get the whole output… it can’t possibly be a trick but still feels like one.
My class figured out the 4peg tower of hanoi but they are now depressed because I said no one has proven if it’s the most efficient in terms of numbers of moves. (this is still open, yes?)