Today I missed a tutorial on Computable Analysis, which is exactly what I was beginning to reinvent a few months ago (well, the computable reals, at least (now I realize that I didn't write down the definition of a computable real as the limit output of a not-necessarily-halting TM) ). But unlike me, Wiehrauch seems to show no philosophical motivativations. (btw, his name probably "incense" in German)
I don't mind missing it: things stop being fun when they're no longer your pet idea, and the joy of self-discovery is replaced by a lot of mathematics that you need to catch up with. It was never meant to be useful anyway.
I don't mind missing it: things stop being fun when they're no longer your pet idea, and the joy of self-discovery is replaced by a lot of mathematics that you need to catch up with. It was never meant to be useful anyway.