Beefy Boxes and Bandwidth Generously Provided by pair Networks
Syntactic Confectionery Delight
 
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 examining the Monastery: (5)
As of 2015-07-05 07:47 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    The top three priorities of my open tasks are (in descending order of likelihood to be worked on) ...









    Results (60 votes), past polls