tag:blogger.com,1999:blog-899946063697780510.post3700094898313877101..comments2024-05-15T23:13:39.598-04:00Comments on Abstract Comics: The Blog: Abstract comics and geometry--a modest proposalAndrei Molotiuhttp://www.blogger.com/profile/17400106944822618816noreply@blogger.comBlogger16125tag:blogger.com,1999:blog-899946063697780510.post-55542471947816254112013-03-17T16:03:51.888-04:002013-03-17T16:03:51.888-04:00Just a note--I have a policy against allowing anon...Just a note--I have a policy against allowing anonymous comments, but this one had substance, so I thought I would let it through. But I hope the commentator comes back and identifies himself or herself.<br /><br />As to the substance of the comment itself--I don't know if the two kinds of visualization are altogether separate. The notion of the blind geometers would seem to confirm Kant's idea of humans having a pre-programmed, so to speak, understanding of Euclidean space--which is to say, an intuition of it; and this understanding can clearly be filled in through touch as well as sight. This would only be of historical interest if Brouwer and some of the other intuitionists hadn't made a similar claim, based on Kant, for the number system too (if I remember correctly). <br /><br />So "visualization" can function as a mental construction of space (in geometry), whether sight assists it or not.<br /><br />As for formalists using visualization--yes, I agree, see what I wrote above about practicing mathematicians. But in terms of the rhetoric and ideology of formalism, clearly such intuition was meant to be thoroughly banned.<br /><br />I'm not sure I follow the notion of the failure to prove the parallel postulate as leading away from visualization--Euclid had never intended it to be proved, since it was an axiom, and therefore failure to prove it cannot be seen as a failure of the Euclidean system. Furthermore, as an axiom, it is clearly based on a visual intuition (albeit only within Euclidean space), foregrounding the priority of such visualization to formal proofs. Interestingly, while the Lobachevskian space is hard (for me, at least, and despite Poincare's attempt) to visualize, Riemannian elliptic geometry is quite intuitive.Andrei Molotiuhttps://www.blogger.com/profile/17400106944822618816noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-22236673585020219102013-03-17T15:48:22.353-04:002013-03-17T15:48:22.353-04:00Thanks, Rosaire!Thanks, Rosaire!Andrei Molotiuhttps://www.blogger.com/profile/17400106944822618816noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-7185788234890532932013-03-16T00:25:52.673-04:002013-03-16T00:25:52.673-04:00This post and the comments are very stimulating. ...This post and the comments are very stimulating. A couple points which might be of interest:<br /><br />One motive for the move away from visualization to symbolic reasoning (and for the emphasis on hidden assumptions in Euclid) was the surely the failure to "prove" the parallel "postulate" and the discovery of non-Euclidean geometries.<br /><br />Also, I think it is important to distinguish visualization in the literal sense from visualization in the metaphorical sense of using imagined structures to intuitively reason about mathematics. I would guess that even avowedly "formalist" mathematicians make use of the latter type of visualization. Only computers "discover" proofs purely through symbolic manipulation - deciding which symbols to manipulate is driven by intuition and "imagery" on some level for any human.<br /><br />A reason to emphasize this distinction is this interesting fact (learned in a psychology talk on spatial reasoning): amongst blind mathematicians, the most popular subdiscipline is geometry. In order for this to be a meaningful data point, some use of "visualization" in the above metaphorical sense must be at stake, yet also this is clearly not visualization in the literal sense. Anecdotally, apparently some blind geometers have claimed they can reason intuitively about space more easily because they are not hampered by the visual bias.<br /><br />(Can there be an abstract comics for the blind? A non-visual abstract comics?)<br /><br />Anyway, fascinating considerations in the above article - thank you for posting it and for the rest of this great blog. Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-78407737674353004092013-03-11T20:32:41.335-04:002013-03-11T20:32:41.335-04:00(removed above because of typos) : these kinds of ...(removed above because of typos) : these kinds of ruminations (above) are what make blogs like this so viable - the pleasure of (over)hearing the personal reactions/ responses / thoughts of (intelligent) others on an esoteric subject is so rare....rappelhttps://www.blogger.com/profile/03569445602513667186noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-77497806857732029152013-03-11T20:30:35.856-04:002013-03-11T20:30:35.856-04:00This comment has been removed by the author.rappelhttps://www.blogger.com/profile/03569445602513667186noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-25082602826586884412013-03-04T18:17:04.102-05:002013-03-04T18:17:04.102-05:00But there was a side effect to this surge of forma...But there was a side effect to this surge of formalism: the way mathematics are communicated (which is usually very different from the way it is done) is very formalistic. Let me cite a long extract of an answer of William Thurston to a question on the forum Mathoverflow:<br /><br />"Mathematical ideas, even simple ideas, are often hard to transplant from mind to mind. There are many ideas in mathematics that may be hard to get, but are easy once you get them. Because of this, mathematical understanding does not expand in a monotone direction. Our understanding frequently deteriorates as well. There are several obvious mechanisms of decay. The experts in a subject retire and die, or simply move on to other subjects and forget. Mathematics is commonly explained and recorded in symbolic and concrete forms that are easy to communicate, rather than in conceptual forms that are easy to understand once communicated. Translation in the direction conceptual -> concrete and symbolic is much easier than translation in the reverse direction, and symbolic forms often replaces the conceptual forms of understanding. And mathematical conventions and taken-for-granted knowledge change, so older texts may become hard to understand."<br /><br />(<a href="http://en.wikipedia.org/wiki/William_Thurston" rel="nofollow">William Thurston</a> was one of the greatest mathematicians from the 70s up to very recently. He passed away in 2012.) <br /><br />What I wanted to say here is that like any other field, maths is prone to fashion, and at some points in its history it was fashionable (for valid reasons) to try to reduce maths to a symbolic art form. But intuitions of any kind, and among them visual intuitions, never really disappeared, although it may not seem apparent in its written form.<br /><br />Now, getting back to abstract comics, I tried to do these "proofs as abstract comics" most of all as an experiment to see whether the fact of putting carefully chosen images in a sequence was sufficiently powerful to convey mathematical "abstract" ideas without using any typographical symbols. Well, I cheat since the title tells half of the story, and I have also been interested in the purely esthetical sensation the final rendering could bring (above all after seing Byrne's book which is a perfect example of something having both an esthetical and an abstract content). I would not dare to say that my comics bring anything new to the way mathematics can be seen, explained, made or thought. I hope, though, that they somehow show something about the "power of the sequence", which is the feature of abstract comics that fascinates me the most.<br /><br />I hope that what I wrote is more or less understandable, please do feel free to correct my english mistakes or shaky language if you like (anyway, can anyone other than me correct it ?)<br /><br /><br />Ibn al Rabinhttps://www.blogger.com/profile/16665229209622941985noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-22702104757262148652013-03-04T18:14:19.251-05:002013-03-04T18:14:19.251-05:00I am quite happy that my "proofs as abstract ...I am quite happy that my "proofs as abstract comics" got you inspired, Andrei, and that you liked Byrne's version of Euclid. And your post contains many quite interesting suggestions. I'll try to give my opinion on some of the points you mention, although I am a little bit unconfortable to write about mathematics from a philosophical/historical point of view for the following reasons: 1) My knowledge of the subject is quite scarce, so what I'll say will be approximative thoughts based mostly on my intuition (for what it's worth), and 2) to answer properly much more than a short post would be needed, and it's easy to draw false conclusions because of too many simplifications or generalizations. (And also, my level in english is probably not good enough for a philosophical discussion.) (And I am not a math professor but rather a high school teacher.) <br /><br />That said, I would agree to some extent with Andrei's claim that mathematics severed the links with visual intuition at some point in its history, I would say at the start of the 20th century. But I don't think it is actually true: my impression is that, due to the birth of new branches of mathematics such as set theory and logic (although some logic did exist during the Greek times) which had lead to paradoxes in the mere fundations (or to-be-fundations) of the subject, there has been a great need for some really rigorous and syntactical ways of defining what are the objects and rules that mathematicians use. <br /><br />This "fundational" work has mainly been done during the first 30 years of the 20th century, and as a result the mathematicians and logicians of that time constructed a system in which every aspect of mathematics could <i> in principle </i> be encoded. But I think that most mathematicians satisfy themselves with the fact that this work having been done, one can completely forget about it and continue to do mathematics, using as much visual intuition as needed, because the tedious checking whether there are no unwritten assumptions is already behind them. (I am simplifying much here.) (I was too long: the rest in the next answer.)<br /><br />Ibn al Rabinhttps://www.blogger.com/profile/16665229209622941985noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-10199662340186941592013-03-03T15:40:53.432-05:002013-03-03T15:40:53.432-05:00Mattias--weird, I had not seen that before! I'...Mattias--weird, I had not seen that before! I've seen some of Xenakis's scores over the years, may even have posted some here, but I've never seen one that looks like that. Cool.Andrei Molotiuhttps://www.blogger.com/profile/17400106944822618816noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-15426078944538772652013-03-02T08:53:27.654-05:002013-03-02T08:53:27.654-05:00"And, if I may, here is a page from my curren...<i>"And, if I may, here is a page from my current project where I did some of the same thing: http://4.bp.blogspot.com/-vq2qYh6nqAo/UI9tWr7KPgI/AAAAAAAABJc/02zJkZKoaWo/s1600/408677_4418786742778_965904097_n.jpg"</i><br /><br />Andrei, do you know this drawing by Iannis Xenakis (a sketch for Erikhton) : <a href="http://2.bp.blogspot.com/_apFpwnMI2hs/TSAgAHdHaNI/AAAAAAAADi8/QzTTfgaz9Jw/s400/Xenakis.jpg" rel="nofollow">http://2.bp.blogspot.com/_apFpwnMI2hs/TSAgAHdHaNI/AAAAAAAADi8/QzTTfgaz9Jw/s400/Xenakis.jpg</a> ; when I saw again this, last day, I thought of some of your comics. Mattias-Fausse-Monnaiehttps://www.blogger.com/profile/12350010507759487605noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-86069874541461907352013-03-01T20:17:01.362-05:002013-03-01T20:17:01.362-05:00Sorry, I meant about 660 for the E. Sorry, I meant about 660 for the E. Andrei Molotiuhttps://www.blogger.com/profile/17400106944822618816noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-8966841238349855502013-03-01T20:09:53.691-05:002013-03-01T20:09:53.691-05:00Warren--thinking about it, and also about what Mat...Warren--thinking about it, and also about what Matthias said--yes, and I think these new principles of narration end up being very musical, by which I mean a kind of inevitability can be established in the same way that a piece of music builds up tension and release through cord changes, and reaches a satisfying conclusion via a return to the tonic. Which also reminds me of the arc of a mathematical proof, with the final tonic being akin to the finally proven theorem... There may be more than a simple metaphorical parallel there, given the strong numerical basis of music. In a way, a piece of music is a passage through a series of groups of numbers (an A chord, for example, being 440 Hz, about 600 for the E, 880Hz for the A above that, etc). So in a way an E7 chord requiring to be resolved into an A is a mathematical relationship between sets of numbers... <br /><br />I will cut my speculation short, I'm tempted to go far afield now.Andrei Molotiuhttps://www.blogger.com/profile/17400106944822618816noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-34754530195181342013-03-01T20:00:08.469-05:002013-03-01T20:00:08.469-05:00Matthias, I did say that visual intuition is not t...Matthias, I did say that visual intuition is not totally absent (despite what the Formalists might have intended) from geometry as actually practiced, and that as a matter of fact there has been a rise in interest in it more recently--which is where I showed your own work! So I actually think we agree on that. I was only using that (attempted) separation as a way of wedging in, so to speak, the possibility of abstract art, and especially sequential art, also picking up, in a way, the Euclidian mantle. <br /><br />The constraints you refer to, in music and math, have been even further exploited and formalized by literary movements such as the OuLiPo (which consisted of writers AND mathematicians) and, in comics, the OuBaPo (the Ouvroir de Bande Dessinee Potentielle). The OuLiPo, for example, worked a lot with combinatorics. And, also, isn't there choice in math too? In set theory, for example, as far as I can tell people choose whether to work in ZFC or NBG or some other axiom system. Which can produce different results. <br /><br />I love the discussion of perspective you mention! Here is an example I always show in class to discuss how comic artists can manipulate line thickness (and line inflection vs. non-inflection) to show depth: <a href="http://i381.photobucket.com/albums/oo253/A280/DSCN4513.jpg" rel="nofollow">http://i381.photobucket.com/albums/oo253/A280/DSCN4513.jpg</a>. And, if I may, here is a page from my current project where I did some of the same thing: <a href="http://4.bp.blogspot.com/-vq2qYh6nqAo/UI9tWr7KPgI/AAAAAAAABJc/02zJkZKoaWo/s1600/408677_4418786742778_965904097_n.jpg" rel="nofollow">http://4.bp.blogspot.com/-vq2qYh6nqAo/UI9tWr7KPgI/AAAAAAAABJc/02zJkZKoaWo/s1600/408677_4418786742778_965904097_n.jpg</a> Andrei Molotiuhttps://www.blogger.com/profile/17400106944822618816noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-41440629190495048662013-02-28T22:21:44.692-05:002013-02-28T22:21:44.692-05:00Much of this is far over my head (at least my litt...Much of this is far over my head (at least my little-kid-interrupted-sleep head) but I am very enthusiastic about your observation that when "normal" comics conventions are jettisoned a new lexicon can be created. I certainly have tried that. I see it in Cubist work as well - a vocabulary that is shifting for sure and so maybe not too useful for math, but still, a language in all that means with all its slipperiness.whttps://www.blogger.com/profile/09826725473614994406noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-53475510663262279192013-02-28T22:18:35.564-05:002013-02-28T22:18:35.564-05:00I have many disorganized thoughts on this.
As for ...I have many disorganized thoughts on this.<br />As for Euclidean geometry: I believe its origins lie in shear necessity: For large scale architecture (temples, pyramids), valid geometric theorems are essential. You need to be sure that your angle is a right angle. This certainty can only be warranted by reason. So, as philosophers used to do, the early geometers subjected themselves to "evident truths" and drew conclusions. It is hard to imagine what it must have felt like.<br /><br />The other side (visual intuition) is much harder for me to understand. I would contest some of your claims. For instance, that interest in visuality. When I use my pictures in (math) talks, people (math people) invariably ask about the significance of the colors. That is an ironic question: They either know or suspect that the slightly sicklish green cannot have a mathematical meaning, and are eager to expose this. Artists have a much better understanding of this, and I think I know why.<br /><br />There is a common ground among artists and mathematicians: Both subject themselves to certain conditions: For the mathematician, it's axions and similar assumed conditions; for the artists, there are choices of medium, mood, or topic. This is more evident in music than in visual arts.<br />The 12 tone music confines the composer to a chosen tone row, and the choice of a Raga confines the Indian musician to scale and certain further limitations in using the material. Both mathematician and artist use these confines to explore possibilities. This process of explorations often leads to discoveries of something unseen or unheard. For instance, if the mathematician decides to consider all polyhedra that have regular polygons as faces such that at any vertex the same number of polygons meet, such an exploration would lead to cube, tetrahedron, and maybe octahedron. But only careful exploration would reveal that there are two more stunning objects, dodecahedron and icosahedron. The surprise is one half of the artistic element.<br /><br />The other half is pure choice, unknown (despised?) to the mathematician. If one were to draw a dodecahedron -- the mathematician would not care about its rendering, as long as it conveys its essence. The artist, however, would realize that there are remaining choices: color, perspective, shading, that affect our senses rather than just our comprehension. Only of they are in some sort of concordance with the phenomenon (the dodecahedron, here), the artist will be satisfied.<br /><br />This becomes rather apparent when looking at older mathematical illustrations (done by artists) of geometric figures. They are clearly not as abundant as today, but usually more sophisticated. For instance, it Hilbert and Cohn-Vossen's book _Geometry and Imagination_ there are perspective renderings of line configurations where the thickness of the line decreases with the distances. Logical and natural, but not so easy in Adobe Illustrator. Over a 100 years ago the artists knew what was important to convey the meaning of an image. It hasn't become easier with computer graphics if we ignore that knowledge.Anonymoushttps://www.blogger.com/profile/01358306028947163950noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-7988872043944480792013-02-28T14:29:38.234-05:002013-02-28T14:29:38.234-05:00Thanks, Matthias! I'll have to look them up. ...Thanks, Matthias! I'll have to look them up. The relationship between shrines and geometry is a little puzzling, I must say. So to speak... :)<br /><br />Any thoughts on this notion of totally formalized, purely abstract geometry, versus visual intuition? I'd love to have more input from mathematicians on this one. (I'm still waiting to hear from Mathieu).Andrei Molotiuhttps://www.blogger.com/profile/17400106944822618816noreply@blogger.comtag:blogger.com,1999:blog-899946063697780510.post-81999854567989646282013-02-28T14:05:10.023-05:002013-02-28T14:05:10.023-05:00Another example of geometry functioning visually a...Another example of geometry functioning visually are the japanese Sangaku -- wooden tablets placed in shrines or temples that contain a geometric puzzle. I would think the spirit is similar. Both in Euclid's elements and in the sangakus there is abstract beauty, but also a hidden statement that you can only decipher when you speak the language.<br /><br />Matthias Anonymoushttps://www.blogger.com/profile/01358306028947163950noreply@blogger.com