tag:blogger.com,1999:blog-11295132.post114780326016457384..comments2016-08-19T06:50:55.770-07:00Comments on A Neighborhood of Infinity: Monads Without TypesDan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-11295132.post-1148061444502343412006-05-19T10:57:00.000-07:002006-05-19T10:57:00.000-07:00Hi augustss,By "real mathematics" I mean nothing m...Hi augustss,<BR/><BR/>By "real mathematics" I mean nothing more than the mathematics that has historically been considered mathematics. This is the subject I was 'trained' in even though I've been enjoying a lot of computer science recently.<BR/><BR/>But you've got me thinking about the differences between the subjects and I think that there are many that go beyond historical accident. I'll have to see if I can express my thoughts on this in my next posting.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1148058793975143832006-05-19T10:13:00.000-07:002006-05-19T10:13:00.000-07:00So, in your mind, what makes "real mathematics" re...So, in your mind, what makes "real mathematics" real? As compared to computer science?augustsshttp://www.blogger.com/profile/05153404423721072935noreply@blogger.com