J Moore has sent the following source material information pertaining to his ACL2 seminar talk May 3, 2015 on his recent trip to Copan, Honduras, and Mayan hieroglyphs.
As I noted at the beginning of my talk, my history of the Mayans and of the decipherment was grossly simplified. Please see the material below for accurate details.
Also, I should note that the Mayan number system was base 20, as I described. However, in their Long Count dates (as on the monument I showed) the digit corresponding to the power 20^2 = 400 actually has the value 360 to more closely align with the number of days in a year. But don't be fooled: the Mayans knew the average year was about 365.25 days long and they had calendars other than the Long Count that were more or less consistent with the agricultural seasons.
My talk on the visit to Mayan ruins in Copan, Honduras, included some photographs I took (not shown here). But I also relied on the following source material.
The wikipedia page on Copan is a good introduction to the site:
https://en.wikipedia.org/wiki/Cop%C3%A1nYou can find a PBS Nova documentary on Copan narrated by David Stuart at:
http://www.pbs.org/wgbh/nova/maya/copan.htmlA wonderful history of decipherment of the Mayan script:
Breaking the Maya Code, Michael D. Coe, Thames and Hudson, NY, 1992, ISBN 0-500-27721-4
[By the way, there is a movie of the same name narrated by Coe that is quite highly rated.]
A textbook on how to read Mayan script:
Reading the Maya Glyphs, Michael D. Coe and Mark Van Stone, Thames and Hudson, NY, 2001, ISBN 0-500-05110-0
There are various online Mayan dictionaries, e.g.,
http://research.famsi.org/mdp/mdp_index.phpPhotos of the Dresden Codex can be found online. I found this URL particularly helpful in understanding the eclipse table (and from here you can find Andreas Ful's photographic reproduction of the codex):
http://www.bibliotecapleyades.net/ciencia/dresden/dresdencodex03.htmThe Harvard University Peabody Museum's 1890s expedition that uncovered the Hieroglyphic Stairway and took high quality glass plate photographs (which are posted here):
https://www.peabody.harvard.edu/node/2079Our tour was arranged through:
http://www.mayafieldworkshops.com/David Stuart's home page at UT is:
https://www.utexas.edu/finearts/aah/about/people/david-stuartDavid and his graduate students teach courses on reading Mayan glyphs.
I am particularly indebted to David Stuart for his inspiring tour of Copan. Thank you David.