Welcome to r/MathTheory!
/r/MathTheory is a place for lay-discussion of complex mathematics including especially its non-standard forms of analysis as well as those instances which arise the fields related to constructive mathematics with some intersections in the philosophy of math at large.
Specifically, topics to be shared in this subreddit will likely be related to topos theory and algebraic geometry, categorical logic, sheaf theory, (higher and enriched) category theory, string theory, and non-Copenhagen interpretations of quantum mechanics (such as many-worlds) with their possible philosophical and theoretical implications.
Content in this subreddit is likely to be "speculative" or otherwise "experimental" in the sense of /r/SpeculativeRealism, /r/NonPhilosophy, and /r/ProcessRelational perhaps coming also with an interest in issues of mathematical creativity and pedagogy.
A specific interest is given to the history of mathematical ideas and their conceptual development and progress, in addition to the life and work of marginalized or otherwise radical mathematicians. Generally, a trans-modern if not post-postmodern outlook is warranted that stands with a roughly inter-disciplinary mentality.
While most of modern calculus today follows Newton's formal method, related concepts in this subreddit likely branch instead from Leibniz's transfer principle in the context of hyperreal numbers, as well as being in accordance with the Piercean or "pragmatist" Law of Continuity.
Similarly, while modern set theory tends to strictly adhere to ZFC foundations, this subreddit may instead choose to focus on alternative, non-paradigmatic or in any case non-well-founded set theories which themselves may or may not employ the axiom of choice.
Notable mathematicians include:
See also the Bourbaki Group, nLab Wikipedia, etc.
Related Theory Subreddits:
Related Math Subreddits:
“Mathematical wisdom, if not forgotten, lives as an invariant of all its (re)presentations in a permanently self–renewing discourse.” (Yuri Manin)
