<br><br><div><span class="gmail_quote">On 7/9/07, <b class="gmail_sendername">Dan Piponi</b> <<a href="mailto:email@example.com">firstname.lastname@example.org</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
On 7/8/07, Thomas Conway <<a href="mailto:email@example.com">firstname.lastname@example.org</a>> wrote:<br>> The basic claim appears to be that discrete mathematics is a bad<br>> foundation for computer science. I suspect the subscribers to this
<br>> list would beg to disagree.<br><br>Wearing my tin foil hat for the moment, I think that there is a<br>conspiracy by some computer scientists to drive a wedge between<br>mathematicians and computer scientists. You can see hints of it in
<br>many places where both mathematicians and computer scientists hang out<br>and there have been quite a few recent articles setting up mathematics<br>and computer science as somehow in competition with each other.<br><br>
Many of the structures studied by mathematicians are algebraic. Many<br>of the structures studied by computer scientists are coalgebraic (eg.<br>the web itself can be seen as a vast coalgebraic structure). </blockquote><div>
<br>Okay Mr. Piponi, as a math geek I can't let that comment about the web slide without further explanation. Is it just the idea that coalgebras can capture the idea of side affects (a -> F a) or is there something more specific that you're thinking of?