3 ms·
Yes I should point out that I am a noob in this area, so you might be right in calling me out. My understanding is that CT was invented in part to provide a rob
by ak_111 11mo ago
Yes I should point out that I am a noob in this area, so you might be right in calling me out. My understanding is that CT was invented in part to provide a robust foundation for algebraic geometry, so it is quite ironic that people are now involved in trying to rework the foundation of the foundation.
- anon291 11mo agoNot really. For many years mathematics rested on traditional first order logic and traditional naive set theory. That was revisited at the begining of the twentieth century.