tag:blogger.com,1999:blog-8946730821757640263.post2227928769852406078..comments2023-03-02T00:49:23.385-08:00Comments on Danna Staaf - Author: Can Jellyfish Do Math?Danna Staafhttp://www.blogger.com/profile/10187299641549075487noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-8946730821757640263.post-8539371123378140522011-11-10T18:17:39.729-08:002011-11-10T18:17:39.729-08:00Wow! Many thanks to John Stillwell for finding thi...Wow! Many thanks to John Stillwell for finding this post and clarifying my confusion over Greek multiplication. Yay, the internet.Danna Staafhttps://www.blogger.com/profile/10187299641549075487noreply@blogger.comtag:blogger.com,1999:blog-8946730821757640263.post-70408952898092785172011-11-10T15:15:36.932-08:002011-11-10T15:15:36.932-08:00Danna, thanks for a very nice writeup of my talk. ...Danna, thanks for a very nice writeup of my talk. I can see now that I should have made it clear that the Greeks wanted to multiply *lengths*, rather than numbers, because they did not believe in irrational numbers, and hence they thought that length was a more general concept. This led them to the idea of <br />multiplying lengths by placing them at right angles to each other,<br />hence the difficulty in multiplying four lengths.Unknownhttps://www.blogger.com/profile/17470128790747538684noreply@blogger.comtag:blogger.com,1999:blog-8946730821757640263.post-30712949929048842452011-11-07T16:56:18.081-08:002011-11-07T16:56:18.081-08:00Hah! I started reading the n-Category Cafe post, a...Hah! I started reading the n-Category Cafe post, and after a little bit I thought, "I wonder who wrote this," and scrolled up. =) <br /><br />"Thus, the ∞-categorical revolution, if carried out in the language of homotopy type theory, will support and be supported by the inevitable advent of better computer-aided tools for doing mathematics."<br /><br />I find this exciting in an I-don't-quite-understand-it-kind of way, but yay!Danna Staafhttps://www.blogger.com/profile/10187299641549075487noreply@blogger.comtag:blogger.com,1999:blog-8946730821757640263.post-11355562500081150902011-11-04T20:09:14.321-07:002011-11-04T20:09:14.321-07:00Well, people are now just starting to think about ...Well, people are now just starting to think about basing math on homotopy theory rather than on sets or numbers. See <a href="http://homotopytypetheory.org/" rel="nofollow">here</a> and <a href="http://golem.ph.utexas.edu/category/2011/03/homotopy_type_theory_i.html" rel="nofollow">here</a> for instance. I don't think anyone has written anything about it for a popular audience, yet, though, so those pages probably won't be comprehensible at all.Anonymousnoreply@blogger.com