Objective Evidence Never Found

To the best of my knowledge, no TuringComplete paradigm/technique/tool has ever been proven objectively better than another overall for software development and maintenance, outside of machine performance. In the 50 or so years of computer and algorithm research, not a single specimen proof exists [DemandForEvidence]. They all "degenerate" into psychology, a soft science about subjectivity itself.

If you disagree, please give citations and page numbers. {I believe it more likely that you actively resist obtaining knowledge that would contradict this idea of yours, and your resistance to proof is the only reason everything "degenerates" into psychology for you. (If you disagree, please give citations and page numbers. :-) If this claim of yours has ANY validity, you should be able to objectively prove that that some universally recognized 'awful' TuringComplete tool, such as the CellularAutomaton or InterCal, is FULLY equivalent with regards to such objective (but non-performance) considerations as correctness-provability, security guarantees, portability, asymptotic code volume, code-change costs, and objective resistance to known common forms of programmer fault. Indeed, I'm quite certain the opposite has been proven many times, that you have received full proofs for many of them, that plenty more such proofs are readily available via ACM, and that you promptly 'thumbed your nose' at all such proofs and insisted that it was all psychology (despite your complete lack of evidence for your own claim). Hell, you even think that 'programmer fault' is just a matter of psychology.}

There are similar topics to this, but this one emphasizes the "never". The never-ness is telling. Some "absolutists" here complain that I offer no evidence that benefits are subjective. While I believe it contradictory to expect objective evidence of subjectivity, the lack of objective proof for the entire field spanning more than 50 years is a piece of evidence I can offer, as a bonus. So, there you go.


{There are similar topics to this, but this one has TopMind making an even more absolute claim without a shred of evidence. Some "intelligent" people might note that "objective proof" means to TopMind something that convinces him despite his stubborn biases; anything less is merely "evidence" and no amount of 'mere' evidence ever will convince someone who is unwilling to be convinced. That which TopMind doesn't wish to see, he'll never see. That's psychology for you. Only if TopMind considers lack of omniscience, lack of perfect foresight, all programmer faults both typographical and logical, communications faults, etc. to be issues of 'psychology', would his primary claim have even a fighting chance at validity. As is, the most he can claim is that he's never found an objective proof he's psychologically willing to comprehend and accept.}

[ToDo: move material from AbsolutismHasGreaterBurdenOfProof into here]

Notable Past Attempts:

Re: GoTo's:

Do you need to see some proven case studies where jumping from one procedure to another is scientifically bad or evidently bad? There are several written case studies of why GoTo's can be avoided and replaced with better alternatives - is this not enough evidence and proof? How about if we find some program that cost a company millions of dollars because of GoTo's, would that be evidence?

Identifying where GoTo was useful (GoodUseOfGoto) and where it was not was the progress made by banning it (aim high). Once we aim too high and realize we aimed too high (Wirth and Dikjstra) then we simply make a small exception to our high aims. Without such articles as GoTo Considered Harmful, people might still be coding in unstructured Basic with BrainDamage. Aiming high and trying to ban the GoTo was good, regardless of whether or not there are very special cases for an occasional GoTo. Similarily, aiming high for normalization is better than sloppily coding MySql spreadsheets - even if in exceptional cases you cannot use normalization to its fullest potential. Writing an article such as "MySql Considered Harmful" or "ImproveDatabasesOrElse" is a high aim and it serves a purpose just as "GoTo Considered Harmful" served a purpose.

That might be true, but that is still not objective. The reasons I personally like blocks over lots of goto's is generally psychological. Blocks are usually better MentalIndexability for me and indentation offers visual cues. But, your association of goto's with wide-tables is silly. If anything, narrow tables are more pointer-centric. --top

{Tables are not pointer centric - you might be thinking about implementation details again. A database could even use BrainFuck as its underlying implementation and still be a proper database, whether it uses pointers or not - what's your point? Pun intended. Tables are all different shapes and sizes - narrow, wide. Please explain what you mean by narrow tables - you use narrow tables yourself when you first start making a table initially, do you not? A table starts out small - so it is using pointers when you first start building your business app, but stops using pointers as it gets wider? What the hell?}

{And the reason we like evolution better than creationism is purely psychological too. Err wait a minute, can that be right? There are actual papers written about GoTo which prove that goto is unstructured. There are logical reasons why unstructured programming is bad, just like there are scientific reasons why drinking gasoline is bad, or producing an unstructured house is bad (since it is harder to maintain). One could argue that an unstructured house is just as good as a structured one, because psychologically some person might prefer living in an unstructured home made of straws and snot, instead of bricks and mortar. Seriously, give me evidence right now, that unstructured homes are bad? Who is to say? Where is the evidence? There isn't any immediately available, but it could be found if you actually looked it up. You could do science tests on bricks and mortar and study how easy it is to maintain a brick house versus a straw house - and you can also do science studies on programs, studying how easy it is to maintain a program with gotos versus a structured one with less gotos. The structured program would win, like the brick home, and it would win objectively. Objectively a structured home is better than an unstructured home. Structured programming (reducing goto's) is objectively better than unstructured programming - but it doesn't mean unstructured programming isn't TuringComplete too! With an unstructured home built with straws and snot (instead of bricks and mortar), you could still build a complete home. Home Complete! Turing Complete! See DenyingObjectiveEvidence}

You keep stating this about goto's all over this wiki, but never prove it. Learn to factor your rants and link instead of repeat them all over. (See OnceAndOnlyOnce.) You know our friend science: Here's my metrics....Here's why I chose these metrics...Here are the numerical results...Here's why the numerical result show blocks are better than goto's, etc.

If you had actually taken the time to read the structured programming articles and actually digest what they were saying (instead of relating it to psychology, which has absolutely nothing to do with it) then you wouldn't keep saying there is no evidence against gotos.

I agree a productivity study could be done, but it hasn't yet. The existing evidence is NOT based on productivity studies. I'm just the messenger.

There are no productivity studies done on booleans either - therefore booleans are probably bogus.

What? I never said lack of study means a tool is no good. Where the hell did you get that? I'm only asking those with strong absolutism opinions to provide real rigor for their claims before trashing other people who disagree. Basically you insulted me for disagreeing with you, and that triggered me to ask for more rigor from you. That's fair and common. Note that capitalism relies heavily on ArgumentFromPopularity, for good or bad. It's the model we chose to use as a society for measuring "goodness". -t

See also: ObjectivityIsAnIllusion, ThereIsNoObjectiveEvidenceThatKeyboardsAreUseful

CategorySubjectivityAndRelativism, CategoryEvidence

View edit of March 14, 2012 or FindPage with title or text search