r/MathematicalLogic

246 archived posts · Mar 2019 – Sep 2026

MathematicalLogic

r/MathematicalLogic

This subreddit is for discussion of mathematical logic (e.g model theory, set theory, computability theory, proof theory, type theory, etc). Posts related to the Foundations of Mathematics and Philosophy of Mathematics are acceptable. This is not a subreddit for other logic-related topics such as informal logic, and basic formal logic. Those posts are more suitable for r/logic. We are looking for mods to help expand the subreddit. If you are interested, DM the mod and state as much.

Created Mar 2, 2019 · private

246Archived posts

40Active months

Other communities

Reddit Rebuilt is an independent, non-commercial archive and is not affiliated with Reddit, Inc. Content belongs to its original authors.