I am just a simple german student of computer science and math. Here is one of my wild ideas, the first one I posted here. Please excuse my bad english. You...
2246
Michiro Nasu
nasu@...
Jan 1, 2001 1:52 pm
Hi Guenter and all! very fine view! we are in the silver world everything shining. we had a good rest. let's continue. we had better slightly amend the...
2247
Francisco Antonio Doria
fadoria@...
Jan 1, 2001 1:57 pm
... Depends on the kind of logic that you use. If you add Carnap's rule, you can settle it. Also, as I said yesterday, if you extend the underlying language...
2248
Peer Stelldinger
peer@...
Jan 2, 2001 12:07 pm
I have some questions to you: - Are there some unprovable DECIDABLE problems? I think yes... (first there seemed to be a contradiction, but I cannot find one) ...
2249
Jairo Alberto Cárd...
jcardenas@...
Jan 2, 2001 2:53 pm
Dear friends of the list, i have the following question: Suppose there exists some difficult problem. All you know about the problem is that, given an input of...
2250
Francisco Antonio Doria
fadoria@...
Jan 2, 2001 6:26 pm
... To me this seems to be a *contradictio in terminis*. But as J. Spencer has once written a delicious piece on `Unprovable theorems,'' can you elaborate on...
2251
Francisco Antonio Doria
fadoria@...
Jan 2, 2001 6:28 pm
... Not enough to give you an answer... May be exponential, may be in NP; more data is needed. chico...
2252
Francisco Antonio Doria
fadoria@...
Jan 2, 2001 6:32 pm
... If P=NP is independent, say, of PA, then P<NP (not P=NP) is true. Therefore what you say doesn't proceed. You won't be able to `guess' a good algorithm. ...
2253
eiffelpgmr@...
Jan 2, 2001 7:42 pm
... problem ... algorithm ... is not ... There are definitely some problems which are not in P. The famous P=NP? discussion attempts to resolve your question...
2254
Robert Solovay
solovay@...
Jan 2, 2001 7:48 pm
I don't think this follows. The statement "P < NP" is Pi^0_2. So it could be independent of PA and true or independent of PA and false. ... ...
2255
Jairo Alberto Cárd...
jcardenas@...
Jan 2, 2001 7:58 pm
thanks for your support, but i don´t have more data, only exist this question without comments or hints. Thanks, Jairo...
2256
Michiro Nasu
nasu@...
Jan 2, 2001 10:26 pm
Hi Guenter and all! the time has come. The hilltop is very near. the weather is fine. however we have a few things left behind. first we change the definition...
2257
Michiro Nasu
nasu@...
Jan 2, 2001 11:36 pm
sorry! this is apparently my mistake. ... distinct. correctly, a "cycle" is a closed path such that the initial vertex equals the end vertex and every vertex...
2258
Vladimir Nuri
vznuri@...
Jan 3, 2001 1:19 am
hi all, I'm happy to see the list running on semi-autopilot. I'm typing this msg on a 90mhz pentium!! a few comments on recent traffic. DM asked me why DP's...
2259
Francisco Antonio Doria
fadoria@...
Jan 3, 2001 8:58 am
... Let me retract my previous remark. Of course Solovay is correct: P < NP is Pi^0_2. Let me spell it out in full in an intuitive way: ``for each [poly...
2260
Dan Pehoushek
danpehous@...
Jan 3, 2001 2:13 pm
Dear Edgers, Here is a little more empirical data, illustrating the potential for exponential sized Q expressions. At the least, it shows empirically that...
2261
Jairo Alberto Cárd...
jcardenas@...
Jan 3, 2001 3:49 pm
Deterministic algoritm is, each time a certain set of input is presented (Example n), the algorithm gives the same results as any other time the set of input...
2262
Dan Pehoushek
danpehous@...
Jan 3, 2001 5:04 pm
Just for the record, the idea that "switching the order of the variables" does not change the total number of valid quantifications did not come from empirical...
2263
Michiro Nasu
nasukun@...
Jan 4, 2001 9:13 pm
Hi Guenter and all! today is the day to stand our banner<<theory-edge>> on the hilltop T14. first we take a light breakfast. (of course noodles, what i like!) ...
2264
Arne Smith
Gahada@...
Jan 5, 2001 1:13 pm
I hope you don't mind a Biology post. As anyone who has looked at Biosci will note, the field has split into innumerable smaller and smaller enclaves. Yes,...
2265
Jonathan Graehl
jonathan@...
Jan 5, 2001 7:15 pm
... Beg pardon, but while this is a stimulating argument, how exactly does it explain human evolution? Perhaps courtship (of which there are surely non-vocal...
2266
philmogris@...
Jan 6, 2001 8:56 am
Expand your business with Email Marketing! Market your product or service to MILLIONS! Don't waste another minute... Click Reply with your name, telephone...
2267
Michiro Nasu
nasukun@...
Jan 6, 2001 8:37 pm
Hi Guenter and all! we make a small correction for the proof of T142. algorithm A in T14 is modified rather widely. T142: given 2-connected graph G(V,E), the...
2268
barrymosely@...
Jan 6, 2001 9:05 pm
Interested in a new Investment Opportunity? Are you tired of all the rest? Well look no further!!! This is the start of an EXPLO$IVE OPPORTUNITY! IT'S SIMPLE! ...
2269
Stas Busygin
busygin@...
Jan 6, 2001 10:58 pm
Hi Michiro, Guenter, and All! Let me ask you the most exciting question: have you proved that there is an odd rivet cycle in a graph iff the graph contains an ...
2270
Michiro Nasu
nasukun@...
Jan 7, 2001 3:02 am
Hi Stas! you wrote, ... no. your assertion of course not hold. "there is an odd rivet cycle in a graph if the graph contains an odd hole or antihole" is true. ...
2271
Michiro Nasu
nasukun@...
Jan 7, 2001 3:11 am
... is wrong. correctly, then |Vm|/|Em| exactly equals to |V|/|Es| respectively. as well since m.n....
2272
Stas Busygin
busygin@...
Jan 7, 2001 12:14 pm
Hi Michiro! Sorry for the ignorance; I've recalled your starting message on the conjecture where you explained your plan: ...
2273
Dan Pehoushek
danpehous@...
Jan 7, 2001 9:58 pm
I have a good start on the QSpace paper. It is in latex. If someone would like to read it, please drop me a note, and I will send you a draft. It is about 13...
2274
superryan@...
Jan 8, 2001 3:07 am
i'm interested in giving comments on your paper. -ryan...
