Timeline for Who first discovered the concept corresponding to the symbol of class comprehension?
Current License: CC BY-SA 4.0
23 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
S Jun 27, 2019 at 0:34 | history | suggested | CommunityBot | CC BY-SA 4.0 |
Formatted math
|
Jun 26, 2019 at 21:20 | review | Suggested edits | |||
S Jun 27, 2019 at 0:34 | |||||
Apr 17, 2019 at 11:57 | answer | added | Mauro ALLEGRANZA | timeline score: 3 | |
Apr 14, 2019 at 23:08 | vote | accept | Gérard Lang | ||
Apr 14, 2019 at 23:08 | vote | accept | Gérard Lang | ||
Apr 14, 2019 at 23:08 | |||||
Apr 14, 2019 at 23:06 | vote | accept | Gérard Lang | ||
Apr 14, 2019 at 23:06 | |||||
Apr 14, 2019 at 0:14 | comment | added | JRN | You may also ask history-related questions at History of Science and Mathematics Stack Exchange. | |
Apr 13, 2019 at 22:37 | answer | added | Francois Ziegler | timeline score: 8 | |
Apr 13, 2019 at 22:20 | comment | added | user44143 | You could ask the same thing without the symbol as "Who first discovered the concept of class comprehension used today in set theory?". This would make it clearer that there are multiple set theories to consider (ZFC, NBG, MK, NF), with different accounts of class comprehension. So we also shouldn't expect to find identical concepts in the theories like Zermelo's or Russell's or Frege's that were current when these ideas were more novel. | |
Apr 13, 2019 at 21:00 | history | reopened |
Joseph Van Name Sean Lawton Carlo Beenakker Francois Ziegler Yemon Choi |
||
Apr 13, 2019 at 15:52 | history | edited | Francois Ziegler | CC BY-SA 4.0 |
deleted 4 characters in body; edited tags
|
Apr 13, 2019 at 11:58 | history | edited | Sean Lawton | CC BY-SA 4.0 |
Removed "fluff" as per: https://meta.mathoverflow.net/questions/2208/editing-etiquette
|
Apr 13, 2019 at 11:40 | review | Reopen votes | |||
Apr 13, 2019 at 13:57 | |||||
Apr 11, 2019 at 8:40 | comment | added | Gérard Lang | I completely agree with Emil Jerabek and Noah Schweber, that my question is really about the history of the notion of class comprehension and of the set-builder notation. Gérard Lang | |
Apr 11, 2019 at 8:14 | history | closed |
user44143 Pace Nielsen Andrés E. Caicedo Joseph Van Name R.P. |
Not suitable for this site | |
Apr 10, 2019 at 22:32 | comment | added | user44143 | However you make this precise, van Heijenoort’s Source Book in Mathematical Logic is a good place to look. | |
Apr 10, 2019 at 21:18 | comment | added | Noah Schweber | For what it's worth, the history of set-builder notation itself might be interesting - I can't find much about it after a quick google search. | |
Apr 10, 2019 at 20:00 | review | Close votes | |||
Apr 11, 2019 at 8:14 | |||||
Apr 10, 2019 at 19:28 | comment | added | Emil Jeřábek | Isn’t “the concept corresponding to the symbol of class comprehension” just “class comprehension”? | |
S Apr 10, 2019 at 19:23 | history | suggested | AHusain |
History Tag
|
|
Apr 10, 2019 at 19:11 | comment | added | Qfwfq | Was... that symbol introduced even before it was associated to a clear concept? I don't find the title or the question very clearly phrased | |
Apr 10, 2019 at 19:03 | review | Suggested edits | |||
S Apr 10, 2019 at 19:23 | |||||
Apr 10, 2019 at 18:58 | history | asked | Gérard Lang | CC BY-SA 4.0 |