✳flâneur — a map of the web's best reading

Are some results in constructive mathematics different from classical? : r/math

reddit.com · 6 words · saved by 1 readers

This subreddit is for discussion of mathematics. All posts and comments should be directly related to mathematics, including topics related to the practice, profession and community of mathematics. Does constructive mathematics give us new application / different insights into anything? Or is it all just a subset of classical mathematics? If it doesn’t offer anything new except constructive algorithms why bother? Please educate me, thank you I wouldn't call it a "subset of classical mathematics"; All the things you can prove in classical logic can also be proven in intuitionist logic, if you add LEM (law of excluded middle) as one of the assumptions for your theorems. Further, there are some theorems where this assumption is not necessary, which makes those theorems more meaningful. Since LEM is built into classical logic, there is no good way to express that something can be proven without LEM. For the same reason, intuitionist logic also allows you to prove theorems about how other s

Reddit - Please wait for verification

Explore this link on the map →

related reading