Timeline for History of well founded relations
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 16 at 14:02 | comment | added | Joel David Hamkins | But isn't the legitimacy of recursive definition due to Dedekind in 1888? He showed on the basis of axioms of successor that recursive definitions succeed, and this was how he defined addition and multiplication etc. from successor and it was the basis for his categoricity theorem for the second-order theory of the successor operation. | |
| May 26, 2020 at 8:04 | comment | added | Paul Taylor | Welcome to MO. My other question attracted a lot of discussion about Noether, but the relationship is still a historical blur to me. In this question I was looking for the reference for a very specific formulation. It might have been one of her German contemporaries, such as Goedel or Gentzen. | |
| May 25, 2020 at 0:16 | review | Late answers | |||
| May 25, 2020 at 1:27 | |||||
| May 25, 2020 at 0:03 | comment | added | George S Cowan | Oh. I see you're way ahead of me on that. | |
| May 25, 2020 at 0:02 | review | First posts | |||
| May 25, 2020 at 0:25 | |||||
| May 24, 2020 at 23:57 | history | answered | George S Cowan | CC BY-SA 4.0 |