A recent customer meeting regarding loading trucks and their requirements, leads me to the following scare:
Most "software" practitioners just totally ignorant of so much thoery of computation/philosophy/etc. Stuff that relates at the most fundamental level to what we do every day. Forget about easy crap like The Halting Problem, which I'm sure anyone educated on-the-job is clueless about, even though it is a critically-important result.
My shit always terminates! Does a segfault count? So are you just bitter about having a degree or what? Anyway, what a downer. Just write more tests then.
After recalling an anecdote where a bunch of idiots thought they could solve the equivalent of the Halting Problem for Ladder Logic (yes that project segfaulted), and my latest trip down Wikipedia Lane, I might just do. Spend some time on these gems and get back to me:
- Goedel's Incompleteness Theorems,
- Paraconsistent Logic,
- Curry's Paradox,
- Russel's Paradox,
- And don't forget The Halting Problem.
And that is barely scratching the surface....
Paradoxes, what self-contradicting crap! Big Deal! Those are topics so lofty they shit marble!
Yes, ignore them at your own risk. However, I'm sure people out there are churning out logic like all of the above on a routine basis, in blissful ignorance, then wonder why "it doesn't work".
I thought Ignorance was Bliss.
And don't forget Freedom is Slavery!
No comments:
Post a Comment