- Computability(2)
- Computational Logic(3)
- Directories(2)
- Education(2)
- Foundations(2)
- History(5)
- Meetings(4)
- Nonstandard Logics and Extensions(3)
- Online Discussion Groups(1)
- Organizations(3)
- People(5)
- Proof Theory(2)
- Publications(3)
- Research Groups and Centers(17)
- Set Theory(3)
- Software(4)
- Set Theory and Foundations of Mathematics
- www.settheory.net
- Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory, and explain its philosophical aspects. Also includes some physics.
3.7
(si*)
>170
>10
4
The rating value is calculated according to the algorithm, which considers all rating indicators.
As soon as number of users ratings reaches defined level, the rating is to be substituted by the users one.