|
Why can't a computer program be proven just as a mathematical statement can? A mathematical proof is built up on other proofs, which are built up from yet more proofs and on down to axioms - those truths truths we hold as self evident.
Computer programs...
Started by 4thSpace on
, 27 posts
by 27 people.
Answer Snippets (Read the full thread at stackoverflow):
Godel's Theorems notwithstanding...What would is it that you can take previous proven works and use them to show the truth of your program?
The "previous be proven: apart....
There are statements which cannot be proven true or false.
|
|
Hello,
I've noticed something about my coding that is slightly undefined. Say we have a two dimension array, a matrix or a table and we are looking through it to check if a property is true for every row or nested dimension.
Say I have a boolean flag ...
Started by Improfane on
, 7 posts
by 7 people.
Answer Snippets (Read the full thread at stackoverflow):
In a lot of other languages, there is a convention of puttng "p" ... .
In Ruby and Scheme you can use a question mark in the name: isThisTrue? .
Then it's answered "yes" or "no" but it's always meaningful .
Make the property name something like isThisTrue.
|
|
Why do people say that paranomal activities have never been proven real?
Started by Jerry on
, 13 posts
by 13 people.
Answer Snippets (Read the full thread at yahoo):
They think at "proofs" - some are not valid,....
Some people - including a lot of the answers here - are completely closed-minded .
Actually, it's only proven to those who've experienced it, not the scientific world or anyone else be proven..
|
Ask your Facebook Friends
|
Are there any scientific studies that have compared agile to other software development methodologies? I think agile is a nice way of working, but is there any scientific basis for it?
I'm looking for something like this , except this study only deals...
Started by compie on
, 10 posts
by 10 people.
Answer Snippets (Read the full thread at stackoverflow):
No, it's not scientifically....
What is proven reports).
They're almost impossible to do.
So what I'm trying to say is, don't believe studies that have "proven" that one methodology/tool/anything works better than others.
Many more factors.
|
|
Is there any scientific data available regarding the impact on delivery time due to switching between tasks?
Peopleware (IIRC) suggests it's half an hour per switch, but I feel it could be a lot higher.
Started by RickMeasham on
, 5 posts
by 5 people.
Answer Snippets (Read the full thread at stackoverflow):
Scientifically proven (as solidly as, say, evolution, or global warming, though of course you'll always find.
|
|
I have been looking for cloud computing / storage solutions for a long time (inspired by the Google Bigtable). But I can't find a easy-to-use, business-ready solution.
I'm searching a simple, fault tolerant, distributed Key=>Value DB like SimpleDB ...
Started by Martin K. on
, 13 posts
by 13 people.
Answer Snippets (Read the full thread at stackoverflow):
Instead.
You might want to look at hypertable which is modeled after google's bigtable .
Battle proven.
|
|
I learned that it is from the devil to test String equality with == instead of String.equals() , because every String was a reference to its own object.
But if i use something like
System.out.println("Hello" == "Hello");
it prints true.
Why?
Started by Mulmoth on
, 3 posts
by 3 people.
Answer Snippets (Read the full thread at stackoverflow):
Public class Test { public static void main(String[] args) { String x = "hello"; String y = new String(x); System.out.println(x == y); // ... .
It's still a bad thing to do - you'll still be testing reference equality instead of value equality .
It doesn't.
|
|
Suppose that a group wants to encrypt some information, then share the encryption key among the group members in a way that requires the consensus of the group to decrypt the information. I'm interested in a variety of scenarios where the breadth of consensus...
Started by erickson on
, 6 posts
by 6 people.
Answer Snippets (Read the full thread at stackoverflow):
Shamir's secret sharing The wikipedia article links to some actual code, as well as the original academic... .
I've seen code implementing it on the internet, but have never seen actual applications .
I have always been fascinated by this secret sharing technique .
|
|
Has it been proven a person known to be Jesus at least existed? So basically has it been proven that there was a man known to be Jesus who was crucified by the Jews for claiming to be the Son of God.
And presumably the questionable part being whether...
Started by oh_1993 on
, 20 posts
by 14 people.
Answer Snippets (Read the full thread at thestudentroom):
And yes, he is also on....
Re: Has it been proven a person known to be Jesus at least existed?
Yes, he's on facebook Re: Has it been proven a person known to be Jesus at least existed?
only when i was smashed out of my face the other day..
|
|
Proven Power Built & Tuned: H22 Hondata S300 500+whp! CP pistons/Crower Rods
Honda Mains/Rod Barrings
Proven Power custom turbo kit
break in tune
Proven Power LLC
8602 Temple Terrace Hwy C14
Temple Terrace FL 33637
813-988-DYNO(3966)
H22A dyno tune engine...
Started by NeKe1point0 on
, 15 posts
by 10 people.
Answer Snippets (Read the full thread at tamparacing):
NICE Cant wait to see this beast run! DC (5) CREW MEMBER #30
Proven Power FTW
Originally Posted! www.mcgtile.com - Professional Marble and Tile Installation
Racing Integration
Proven Power We still have that mint a4 block for sale we'll ....
|
