Timeline for Circular, or missing, definition in set theory?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 24, 2018 at 14:30 | comment | added | Frank Quinn | 50 years as an active mathematician may have made me too rigid, but all this strikes me as philosophical tail-chasing. Type theory seems to postpone the problem, not solve it. | |
| May 23, 2018 at 17:14 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 2263 characters in body
|
| May 23, 2018 at 7:55 | history | edited | Goldstern | CC BY-SA 4.0 |
formatting
|
| May 22, 2018 at 11:25 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 290 characters in body
|
| May 22, 2018 at 11:13 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 13 characters in body
|
| May 22, 2018 at 11:08 | history | answered | Zuhair Al-Johar | CC BY-SA 4.0 |