Monthly Archives: April 2025

From Kepler to Ptolemy 13

Prev TOC Next

Latitudes

First thing to note about Ptolemy’s latitude theory: its decoupling from the longitude theory. For longitudes, one projects the orbits into the ecliptic plane. The actual speeds will differ from the projected speeds. However, the effect is small because the inclinations are fairly small (see the table below), and Ptolemy’s longitude computations ignore it. The latitude algorithms use the longitude as an input.

Continue reading

Leave a comment

Filed under Astronomy, History

Nonstandard Models of Arithmetic 32

Prev TOC Next
Previous Paris-Harrington post

[Ed. note: This post was essentially ready two years ago, but I got distracted with other matters. If you’re seeing this for the first time, or want to refresh your memory, posts 8 and 9 introduced the Paris-Harrington theorem. Posts 21 through 24 continued the discussion, in a dialog with Bruce Smith. MW]

Continue reading

Leave a comment

Filed under Conversations, Peano Arithmetic