Timeline for Has there been any serious attempt at a "circular" foundation of mathematics?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 20, 2021 at 14:03 | comment | added | Kori Peter | Sure, am still learning lots of things including how to ask questions the right way. I meant to question current philosophy on foundations so yea I should do it with pure facts not philosophy. Thanks for the eye-opener! | |
| Feb 18, 2021 at 20:05 | comment | added | Alec Rhea | @KoriPeter I suggest you try to formalize these notions yourself and see what you can come up with, it could be interesting. Also just a heads up that this question is one vote away from being closed as too vague/opinion based, so editing to add clarity or accepting an answer are likely going to be necessary to avoid your question being closed. | |
| Feb 18, 2021 at 15:10 | comment | added | Kori Peter | I think there might be a way to get around the family of diagonalization lemmas, if one views them as formalizable structure as well (say anti-reflection principle), they are just part of the tower which can be considered as (anti) (co) reflection principle. This way they are interpreted into a structure that models all their effects. | |
| Feb 11, 2021 at 14:21 | history | edited | Alec Rhea | CC BY-SA 4.0 |
realized i was thinking of coproducts, not colimits
|
| Feb 11, 2021 at 11:46 | history | answered | Alec Rhea | CC BY-SA 4.0 |