Skip to main content
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