I was 35 when I found metamathematics.
It's something I'd been secretly interested in all my life but I didn't have a word for it. After going to bed, in darkness, I would take out my mobile phone, browse Wikipedia or Encyclopedia of Mathematics and read about hyperbolic geometry, minimal universal Turing machines, cellular automata, Entscheidungsproblem and other things. I thought I was the only one. There was no one in my family I could talk to about it. Only later, at a liberal American university, far away from home, I realized that metamathematics is nothing to be ashamed of, and you can do it just for fun, either alone or with somebody you trust. There are even online groups and fun events you can go with others who share the same interest.
I also believe that metamathematics is only natural in the wider development of mathematics and should be recognized as foundational instead of hushed away as insignificant fringe research area. Also, you don't have to read everything that has been written about it or to know everybody in the scene, you can get intimate with the Busy Beaver game within the confines of your home.
It's also important and encouraging that while Gauss was hesitant to come out with his blasphemous ideas with hyperbolic geometry, others like Hilbert, Church, and Turing proudly stepped into spotlight. I'm not into hero worship but these pioneers - with sometimes tragic lives - are revered for a reason.
(This is my first new blog post in four years!)
No comments :
Post a Comment