Beefy Boxes and Bandwidth Generously Provided by pair Networks
"be consistent"
 
PerlMonks  

Comment on

( #3333=superdoc: print w/ replies, xml ) Need Help??

Programming is harder than rocket science, because it still doesn't have a firm mathematical machinery behind it. Yes, there is lambda calculus and other calculi, theory of infinite and finite automata, Boolean algebra, and other strands in mathematics that define the entire field. But what we miss is useful things rocket engineers can use: analysis and algebra. Set up the initial conditions and requirements as equations, and derive a solution, for instance (say) solving Newton's laws of motion for an accelerating rocket engine. We don't have any of that, much less laws of motion.

There are several reasons why there is no such thing:

  • Social resistance. Your job is secure if you don't frame and divulge your knowledge explicitly.
  • Artificial complexity. It seems to be human nature to create order where it is not really needed (in terms of reaching the goal).
  • Real complexity. Many requirements are impossible to express with mathematical precision; some are fuzzy, some change frequently, some have temporal qualities that cannot be encoded in predicate logic, etc.
  • A part of programming is an art. Perhaps due to inadequate notation, or deficiencies in education, or simply because it requires a certain way of thinking that not everyone can do, you do need tacit knowledge to do anything.

So even if you tried to be precise about the requirements, you will be swamped by (unnecessary) detail and complexity. Perhaps we just need to develop better abstractions.

--
print "Just Another Perl Adept\n";


In reply to Re: Programming is more like: by w-ber
in thread Programming is more like: by Arunbear

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post; it's "PerlMonks-approved HTML":



  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • Outside of code tags, you may need to use entities for some characters:
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.
  • Log In?
    Username:
    Password:

    What's my password?
    Create A New User
    Chatterbox?
    and the web crawler heard nothing...

    How do I use this? | Other CB clients
    Other Users?
    Others wandering the Monastery: (7)
    As of 2014-09-30 23:24 GMT
    Sections?
    Information?
    Find Nodes?
    Leftovers?
      Voting Booth?

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











      Results (386 votes), past polls