Timeline for Is this proof of Basel identity known?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Oct 7, 2018 at 21:32 | history | edited | Fedor Petrov | CC BY-SA 4.0 |
Basel's replaced by Basel
|
| Oct 7, 2018 at 21:06 | comment | added | Gerhard Paseman | How about the identity of the unknown Gottfreid Basel? Is it still famous? Gerhard "If Not, It Should Be" Paseman, 2018.10.07. | |
| Oct 7, 2018 at 20:14 | comment | added | Mizar | Yes, but I cannot tell if the proofs are really isomorphic. Computing the Fourier coefficients of $x$ involves taking a double primitive, but the operator $S$ and its behaviour on powers of $x$ doesn't really appear in that proof. | |
| Oct 7, 2018 at 20:08 | history | edited | Mizar | CC BY-SA 4.0 |
added 138 characters in body; edited tags
|
| Oct 7, 2018 at 20:00 | comment | added | Fedor Petrov | looks similar to the proof with expanding the function $x$ in this basis of sines, and applying Parceval idnetity | |
| Oct 7, 2018 at 18:58 | comment | added | Franz Lemmermeyer | The identity of the famous Gottfried Basel is still unknown. | |
| Oct 7, 2018 at 18:49 | history | asked | Mizar | CC BY-SA 4.0 |