One day I'll retire and go back to school. The idea of learning Math - really learning & understanding Math - as a fun pastime is so appealing. What's stopping me now? That sweet overpaid SDE salary and the endless obligations that come from being an adult. I suspect I am not alone...
Yes, you can't do something if you chose to do something else instead. Clearly you find earning/spending money more appealing than math.
There’s more to mathematics than rigour and proofs (2007)
41–50 of 95 posts
Re: There’s more to mathematics than rigour and proofs (2007)
#42One day I'll retire and go back to school. The idea of learning Math - really learning & understanding Math - as a fun pastime is so appealing. What's stopping me now? That sweet overpaid SDE salary and the endless obligations that come from being an adult. I suspect I am not alone...
I'm still grumpy that I accepted I knew what real numbers were just because I could recite back the definition given by the teacher. There is so much depth there if you go looking...
Re: There’s more to mathematics than rigour and proofs (2007)
#43Re: There’s more to mathematics than rigour and proofs (2007)
#44Earlier quoted context omitted.
A proof that no one would understand in not a good proof. The ideal approach to proving theorems, at least according to how Grothendieck did it, is to build a beautiful theory in which the proof becomes elementary.
It's quite a big assumption to think truth can always be bent so as to satisfy our ridiculously limited cognition. And math has been used instrumentally from the very beginning, so results are often much more important than the process. Theoreticians may still value elegance because that gives them pleasure or whatever, but few other people care about that as long as they can use the results.
Re: There’s more to mathematics than rigour and proofs (2007)
#45One day I'll retire and go back to school. The idea of learning Math - really learning & understanding Math - as a fun pastime is so appealing. What's stopping me now? That sweet overpaid SDE salary and the endless obligations that come from being an adult. I suspect I am not alone...
I’ve had a very similar experience and my solution was to incrementally move into more and more math intensive jobs, starting from regular old SWE working on a web app to working on an aerospace-related web app that involved lots of physics and geospatial calculations and then moving toward MLE/DS jobs. All without a STEM degree, teaching myself the math as I go. It hasn’t been easy but I enjoy what I do more and mor…
Re: There’s more to mathematics than rigour and proofs (2007)
#46One day I'll retire and go back to school. The idea of learning Math - really learning & understanding Math - as a fun pastime is so appealing. What's stopping me now? That sweet overpaid SDE salary and the endless obligations that come from being an adult. I suspect I am not alone...
Re: There’s more to mathematics than rigour and proofs (2007)
#47One day I'll retire and go back to school. The idea of learning Math - really learning & understanding Math - as a fun pastime is so appealing. What's stopping me now? That sweet overpaid SDE salary and the endless obligations that come from being an adult. I suspect I am not alone...
I’ve had a very similar experience and my solution was to incrementally move into more and more math intensive jobs, starting from regular old SWE working on a web app to working on an aerospace-related web app that involved lots of physics and geospatial calculations and then moving toward MLE/DS jobs. All without a STEM degree, teaching myself the math as I go. It hasn’t been easy but I enjoy what I do more and mor…
Re: There’s more to mathematics than rigour and proofs (2007)
#48Earlier quoted context omitted.
keep the salary. if the goal it to change the world, to understand reality, to have an impactful life, have a good standard of living, etc. math is one of the hardest ways of achieving that. It's such a saturated field. Almost everything you can imagine has been done to the highest possible degree of abstraction. Every stone overturned except for things which may take a lifetime to even try to understand. Writing a b…
About the simulation hypothesia, how is that different from Descartes evil demon? https://en.m.wikipedia.org/wiki/Evil_demon (apart from saying that the evil demon is a future type computer)
Re: There’s more to mathematics than rigour and proofs (2007)
#49https://softwarefoundations.cis.upenn.edu/
Another good starting point (for mathematicians) would be the Lean community group and the Math lib project:
Re: There’s more to mathematics than rigour and proofs (2007)
#50One day I'll retire and go back to school. The idea of learning Math - really learning & understanding Math - as a fun pastime is so appealing. What's stopping me now? That sweet overpaid SDE salary and the endless obligations that come from being an adult. I suspect I am not alone...