I've just had an interesting discussion with a student. Too long for twitter, so described at length on mathstodon: mathstodon.xyz/@christianp/11…