in reply to Re: Re: Programming and math
in thread Programming and math
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.
--???
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