No such thing as a small change | |
PerlMonks |
Re: Re: Re: Programming and mathby Boots111 (Hermit) |
on Aug 11, 2003 at 01:41 UTC ( [id://282718]=note: print w/replies, xml ) | Need Help?? |
Allolex~ While you are right that De Morgan's law is part of logic, I consider logic to be part of Math. This might be a slightly contentious claim, but I know a few logicians who agree with me about this. Plus you can prove some nifty isomorphisms between abelian algebras and various logics. But I have a fairly wide view of what qualifies as Math... Boots --- Computer science is merely the post-Turing decline of formal systems theory. --???
In Section
Meditations
|
|