Beefy Boxes and Bandwidth Generously Provided by pair Networks
good chemistry is complicated,
and a little bit messy -LW
 
PerlMonks  

Re: Re: Re: Programming and math

by Boots111 (Hermit)
on Aug 11, 2003 at 01:41 UTC ( #282718=note: print w/ replies, xml ) Need Help??


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.
--???


Comment on Re: Re: Re: Programming and math
Re4: Programming and math
by dragonchild (Archbishop) on Aug 11, 2003 at 13:17 UTC
    Symbolic logic is no more a subset of Mathematics than it is a subset of Philosophy. Symbolic logic is a discipline unto itself. There are several different symbolic logics, most convertible one to the other.

    And, symbolic logic is not the sole necessity to be a good programmer, but more on that in the main thread.

    ------
    We are the carpenters and bricklayers of the Information Age.

    The idea is a little like C++ templates, except not quite so brain-meltingly complicated. -- TheDamian, Exegesis 6

    Please remember that I'm crufty and crochety. All opinions are purely mine and all code is untested, unless otherwise specified.

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://282718]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others pondering the Monastery: (13)
As of 2014-09-18 13:48 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    How do you remember the number of days in each month?











    Results (116 votes), past polls