4 ms·
Theorem proving as a (brain tumor) therapy/distraction
- fredokun 6mo agoI am a computer scientist with glioblastoma. Thanks to innovative treatments (shoutout: Optune) and wonderful family and academic environments, I pursue my happy teaching/research/hacking/theorem-proving adventure.
- gus_massa 6mo agoThere are a few there. Is anyone of them not-mathematician friendly? (Let's say ELI25.) [Mathematician here, but I'm specialized in Harmonic Analysis and now mostly application to Physics.]
- fredokun 6mo agoThanks for your reply didn't notice it before, sorry ! I am mostly in CS theory but I love abstract maths in general, although I am not particularly gifted for it. I recently got into algebraic topology but I'm at the early steps. Don't hesitate to keep in touch. If you have any idea peripheral to science/maths and keeping a GBA+Optune brain alert, I'm your Pal ... I'm your Pal anyways ;-) ? Do you have an Orcid or something ? mine : https://orcid.org/0000-0002-4206-3283 https://orcid.org/0000-0002-4206-3283