tag:blogger.com,1999:blog-5688599.post116804099208656117..comments2023-10-12T04:54:05.108-07:00Comments on Deep Freeze 9: Disconnected understandingJP (Pierre) de Vrieshttp://www.blogger.com/profile/02311009024575927588noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5688599.post-1168286534248649462007-01-08T12:02:00.000-08:002007-01-08T12:02:00.000-08:00That's a helpful clarification: makes sense to me....That's a helpful clarification: makes sense to me. Riffing on your point - I can imagine that different branches of mathematics have lead to different kinds of programming via different kinds of logic. I wonder if the different logics contradict each other?<BR/><BR/>I vaguely recall that in "Where Mathematics Comes From," Lakoff & Nunuez discussed different set theories what were in some way contradictory, but I may be mistaken...JP (Pierre) de Vrieshttps://www.blogger.com/profile/02311009024575927588noreply@blogger.comtag:blogger.com,1999:blog-5688599.post-1168058662847617112007-01-05T20:44:00.000-08:002007-01-05T20:44:00.000-08:00I would make that:logic - programming // programmi...I would make that:<BR/><BR/>logic - programming // programming - intuition<BR/><BR/>The reason being I don't really see mathematics as being the subject matter of programming... but rather, it is logic. Logic is a more fundamental subset of mathematics, mathematics uses logic to quantify "things", whereas programming uses logic to represent the systems we have in our head. <BR/><BR/>And that begs the question - still, what separates programing and mathematics? Isn't mathematics using logic to represent systems, as well? <BR/><BR/>I think that mathematics is more closely tied to "reality" than programming is. For example, geometry (of all kinds) tries to mimick, well, the geometry of space (that sounds like a tautology). Number theory.... that belongs more in the realm of metamathematics... <BR/><BR/>So really, this is more enlightening about how mathematics is no longer this monolithic subject we all seem to think of it as. Instead, it is turning out to be a series of gradations between "logic" and "reality/physics". <BR/><BR/>Programming is perhaps in a tangential branch emanating from logic or number theory, but has different beginning propositions than the systems of mathematics have. <BR/><BR/>Anyways, sorry for the ramble. Hope to see you sometime this month!Cipher3Dhttps://www.blogger.com/profile/13017753558768532806noreply@blogger.com