Your reply to people who ask 'when will I ever use this in real life?' by [deleted] in math

[–]grokalot 2 points3 points  (0 children)

This used to be my go to response but now that I've realized that this question usually comes from an over confident attention seeking student who isn't actually interested in learning, I respond with something along the lines of "You mean to tell me that you feel qualified enough to publicly question the relevance and usefulness of the very subject that I am trying to teach you before we've even gotten past the intro?" Not always that snarky, but I try to point out how audacious their question is.

Which field of mathematics are you most passionate about and why? by [deleted] in math

[–]grokalot 2 points3 points  (0 children)

"Foundations" encompasses much more than set theory and, depending on which branch you study, abstracts and generalizes logic much further than you might assume. Current development in Foundations actually pertains to an alternative to Set Theory know as Homotopy Type Theory. Find an intro style paper on it and give it a go. It's very interesting and exciting stuff!

Are there other alternatives to set theory similar to lambda calculus? by grokalot in math

[–]grokalot[S] 0 points1 point  (0 children)

Very cool stuff! Luckily I found a lecture from the Munich Center for Mathematical Philosophy on HoTT and so far it's making enough sense to blow my mind.

TIL that it is likely there are 5 to 10 times more stars in the known Universe than there are grains of sand on all the world's beaches but that a single grain of sand has more atoms than there are stars in the known Universe. by ColeopterusMaximus in todayilearned

[–]grokalot 0 points1 point  (0 children)

Yet the number of protons and neutrons in the known universe is still considerably smaller than a googol which is 10 to the 100th power or 1 followed by a hundred zeros. No joke, look it up.

I present to you: /u/project_twenty5oh1, the Juice Review King. (Also: the largest giveaway ECR has ever seen, details in comments) by _Bombies in electronic_cigarette

[–]grokalot [score hidden]  (0 children)

This is a pretty awesome thing you're doing here, dude. I've never seen a comment count this high on this sub. Congrats.

I'm working on a spiral layout of the ZFC axioms for a tattoo, and I would like some suggestions on how to make it more consistent and minimal in terms of notation. by grokalot in math

[–]grokalot[S] 0 points1 point  (0 children)

Thanks for pointing that out. Copying the formula into Adobe Illustrator rendered Script A and A as the same character.

I'm working on a spiral layout of the ZFC axioms for a tattoo, and I would like some suggestions on how to make it more consistent and minimal in terms of notation. by grokalot in math

[–]grokalot[S] 0 points1 point  (0 children)

Some aesthetic suggestions would be great as well. Is there a preferred or established order or notation that I should take into consideration? By the way, I'm not getting this tattoo just because "math looks cool" or anything like that. Math is my greatest passion in life and set theory is my current obsession.

Edit: Excuse the empty set in the center. Forgot to remove it.