We don't bite newbies here... much PerlMonks

Re: Re: Programming and math

by allolex (Curate)
 on Aug 11, 2003 at 00:15 UTC ( #282707=note: print w/replies, xml ) Need Help??

in reply to Re: Programming and math

That's not math, that's symbolic logic! (Which, to be fair, a lot of people learn in math classes.) And even though De Morgan probably had some mathematical application in mind, De Morgan's rules are a reformulation of some of Occam's teachings, which (al)most certainly did not have mathematics as their basis. And while knowing about finite state automata may be useful for some applications, I don't really see them as something that can't be learned along the way, should a programmer ever need to know how to implement them. In any case, a lot of smart programmers come up with this kind of thing on their own and are often surprised to hear it has a name. :)

(That said, possessing more knowledge only enhances your ability to solve problems.)

--
Allolex

Replies are listed 'Best First'.
Re: Re: Re: Programming and math
by Boots111 (Hermit) on Aug 11, 2003 at 01:41 UTC
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.
--???
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.

Re: Re: Re: Programming and math
by Anonymous Monk on Oct 03, 2003 at 20:47 UTC
Argh

argh?

--
Allolex

Create A New User
Node Status?
node history
Node Type: note [id://282707]
help
Chatterbox?
and all is quiet...

How do I use this? | Other CB clients
Other Users?
Others contemplating the Monastery: (4)
As of 2017-08-22 00:23 GMT
Sections?
Information?
Find Nodes?
Leftovers?
Voting Booth?
Who is your favorite scientist and why?

Results (326 votes). Check out past polls.

Notices?