Timeline for How to get to the earliest time zone?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 15 at 4:29 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 364 characters in body
|
| Feb 14 at 15:19 | comment | added | Nate River | Thank you for the details. I worked it up myself too using normal coordinates and elementary analysis. | |
| Feb 14 at 15:17 | comment | added | Iosif Pinelis | @NateRiver : Thank you for your appreciation. I have added a more formal proof of the fact that the geodesic must be orthogonal to the meridian. | |
| Feb 14 at 15:15 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 1102 characters in body
|
| Feb 14 at 10:49 | comment | added | Nate River | In order to formally prove your claim that the geodesic must be orthogonal to the meridian, I thought of taking normal coordinates at the candidate destination point, since normal coordinates capture that the manifold is flat up to first order. From there one can argue with standard real analysis. Do you think this would work? Or how would you do it rather? | |
| Feb 14 at 9:33 | comment | added | Nate River | Very slick argument, thank you! | |
| Feb 14 at 9:33 | vote | accept | Nate River | ||
| Feb 14 at 5:21 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 75 characters in body
|
| Feb 14 at 4:51 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
added 130 characters in body
|
| Feb 14 at 4:35 | history | edited | Iosif Pinelis | CC BY-SA 4.0 |
edited body
|
| Feb 14 at 4:29 | history | answered | Iosif Pinelis | CC BY-SA 4.0 |