DEFINITION. A human expert is defined as f from A to {0,1}, g from the set of natural numbers to A, and one that computes any given URM-computable function. ...
104
Sung Yang
sung@...
Nov 2, 1999 1:18 am
The following information may be related to the definition of human experts: A function d from A to {0,1} is a virus detection function iff there exists x in V...
105
chess@...
Nov 2, 1999 2:51 pm
This is very good! I think tightening up the formalism this way will help us to evaluate what, if anything, can be proven now that couldn't have been proven...
107
Sung Yang
sung@...
Nov 3, 1999 12:57 am
Thanks for your suggestions. You have made a point on the definition of VDh and NDh. ... As you see, the VDh and NDh are defined at the end. This is clearly no...
108
Sung Yang
sung@...
Nov 3, 1999 4:20 am
... A is the set of all programs (as mentioned in the paper). For URM, Check these out. Shepherdson, J.C. and Sturgis, H.E., "Computability of recursive...
109
Vesselin Bontchev
bontchev@...
Nov 3, 1999 1:48 pm
... Sorry, but I don't see it. You define "human expert" in the terms of VDh and NDh. What are NDh and VDh? Subsets of ND and VD. How are these subsets...
110
Sung Yang
sung@...
Nov 4, 1999 12:55 am
Let’s talk about the errors in computations and the invalid functions. We intend to enumerate even natural numbers including zero. We can do so by using a...
111
chess@...
Nov 4, 1999 9:19 pm
... clearly ... Sorry, I must just be missing it. Where are VDh and NDh defined? Are you referring to the statement "VDh is a subset of V and NDh is a subset...
112
Sung Yang
sung@...
Nov 5, 1999 1:01 am
... NDh and VDh are subsets of N and V respectively instead of ND and VD. We can symbolically express the definitions of VDh and NDh. VD<=VDh<=V ND<=NDh<=N In...
113
Vesselin Bontchev
bontchev@...
Nov 5, 1999 1:30 am
... So, to summarize, by "human expert" you mean "human expert who never makes mistakes", right? Well, that's hardly realistic. Furthermore, what's the point...
115
Sung Yang
sung@...
Nov 6, 1999 12:53 am
... I agree that the definition of human experts uses the function f and f relies upon the definitions of VDh and NDh. However, I do not see VDh and NDh are...
116
Sung Yang
sung@...
Nov 6, 1999 1:01 am
... The following contains definition of VDh and NDh. (sorry I did not highlight them in my previous message.) ... Please also refer to one of my previous...
118
Sung Yang
sung@...
Nov 6, 1999 1:09 am
Why "If (VDh U NDh)=A then VDh=V and NDh=N."? Any set of viruses is a subset of V. Any set of nonviruses is a subset of N. So are VDh and NDh. The set of all...
119
Sung Yang
sung@...
Nov 6, 1999 1:36 am
For unsubscribe, please send an email to: "computer-virology-unsubscribe@egroups.com" You can also find additional information about use and customization of...
120
chess@...
Nov 8, 1999 5:14 pm
... Sorry, but I'm still confused. "VDh is a subset of V... VD is a subset of VDh" is a pair of facts, but it doesn't constitute a *definition* of VDh. ...
123
Sung Yang
sung@...
Nov 12, 1999 1:27 am
Some people have already concluded and claimed that the theorems are false or invalid because the theorems contradict their common sense or intuition. If the...
124
Sung Yang
sung@...
Nov 12, 1999 1:36 am
I suggest you to read the paper, which have explicitly stated why your idea described below is not applicable to the definition of VDh at all. I have been...
126
Terry Newton
wtnewton@...
Nov 13, 1999 2:02 pm
... I've stayed out of this while you guys go at it (lovely reading though:) however I must object to this point. The purpose of all this is supposed to be to...
127
Vesselin Bontchev
bontchev@...
Nov 15, 1999 1:58 pm
... Well, that's precisely the point Dave made. The theorems, as presented here, apply only to detection of known *samples* of known viruses - not to detection...
128
Terry Newton
wtnewton@...
Nov 15, 1999 3:53 pm
... Sorry to be confused :) but I thought the question was is it possible for a program to answer if any given sample (unknown I'd presume or indeed it is not...
129
Vesselin Bontchev
bontchev@...
Nov 15, 1999 4:09 pm
... Known sample, not unknown. Remember, the theorems that were presented here were based on lemmas about substring matching. They obviously talk about known...
130
chess@...
Nov 15, 1999 9:41 pm
... Not quite, unfortunately! If a virus was just a string of bits, it would be trivial to tell whether or not a given program contains the virus, since you...
131
chess@...
Nov 15, 1999 9:57 pm
... I have read the paper, of course, in some detail. In the posting that you cite, I do not put forth any "idea" about VDh; I am simply asking what the...
132
Sung Yang
sung@...
Nov 16, 1999 3:29 am
You’re making more claims that you can not prove, as usual and I expected. If the claims were truth, you would have provided proofs of them. I noticed your...
135
Sung Yang
sung@...
Nov 17, 1999 1:01 am
I'd like to respond to your serious intention to know about our discussion topic, the theorems, and your objections to the theorems. Can I make a suggestion to...
136
chess@...
Nov 17, 1999 4:12 pm
... I'll think about that, but in general that's not how science or mathematics works. You have put forward a set of putative proofs. I have suggested that...
137
Sung Yang
sung@...
Nov 18, 1999 2:16 am
If I correctly understood your objections about the theorem 3.5. You have made, at least, one or two contrary statements regarding the theorem 3.5 (please...
138
chess@...
Nov 18, 1999 5:16 pm
... I claim A. ... I did exactly that in my previous posting, but I would be glad to try to express it even more clearly, if that would help you to understand....
139
Sung Yang
sung@...
Nov 19, 1999 1:22 am
... Two statements found in the proof of theorem 3.5 have just been claimed to be false. I read the ideas that you provided to support the claims. Can you ...
143
Sung Yang
sung@...
Nov 24, 1999 1:49 am
... The definition is completely different from the actual concept of detection that is thoroughly used in the paper as you can read and find from almost each...
