Timeline for Who first discovered the concept corresponding to the symbol of class comprehension?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Apr 17, 2019 at 13:45 | comment | added | Mauro ALLEGRANZA | And yes; the origin is with Frege's symbol $`\epsilon ϕ(\epsilon)$ for Wertverlauf. | |
| Apr 17, 2019 at 13:44 | comment | added | Mauro ALLEGRANZA | @MichaelBächtold - yes; added ref. | |
| Apr 17, 2019 at 13:43 | history | edited | Mauro ALLEGRANZA | CC BY-SA 4.0 |
added 793 characters in body
|
| Apr 17, 2019 at 13:39 | comment | added | Michael Bächtold | Interesting. Is there any evidence that W&R got the inspiration for their $\hat{x}.\phi(x)$ from Frege's $\grave x \phi(x)$, found in Funktion und Begriff, 1891? | |
| Apr 17, 2019 at 13:32 | comment | added | Emil Jeřábek | @MichaelBächtold There are some references in en.wikipedia.org/wiki/… . | |
| Apr 17, 2019 at 13:19 | comment | added | Michael Bächtold | Why do you believe that the source of Church's $\lambda x. \phi(x)$ was W&R's $\hat{x}.\phi(x)$? Does Church say so somewhere? | |
| Apr 17, 2019 at 13:03 | history | edited | Mauro ALLEGRANZA | CC BY-SA 4.0 |
added 1168 characters in body
|
| Apr 17, 2019 at 12:30 | history | edited | Mauro ALLEGRANZA | CC BY-SA 4.0 |
added 1 character in body
|
| Apr 17, 2019 at 12:23 | history | edited | Mauro ALLEGRANZA | CC BY-SA 4.0 |
added 1 character in body
|
| Apr 17, 2019 at 11:57 | history | answered | Mauro ALLEGRANZA | CC BY-SA 4.0 |