wow!! we now have about 137 subscribers. that's a big spike since last time, just a month ago. I'm not too sure why. the list has also been rather quiet. I...
331
Vladimir Z. Nuri
vznuri@...
Jan 1, 1999 10:52 pm
I have posted a very short note on this many months ago, but it has been occupying my thinking recently and I thought I would post some musings. there is a...
332
Kurt L. Van Etten
kvanette@...
Jan 2, 1999 2:04 am
Hi all, I recently joined this list, and thought I should write a short introduction for myself. I have a B.A. in mathematics from the University of South...
333
Mark Stab
mstab@...
Jan 2, 1999 2:19 am
Vlad and all, This is a response to introduce myself. My name is Mark Stab and I joined the egroup for no other reason than that it sounded interesting. I...
334
Herman Rubin
hrubin@...
Jan 2, 1999 1:19 pm
... Turing machines are a "universal", but painfully slow, method of doing computations or proofs. There are many better. In an appropriate language, any...
335
SuperRyan@...
Jan 2, 1999 9:51 pm
<< Along those lines, I wonder if there are any other subscribers to this list who have a similar background and might be interested in forming some type of...
336
Stas Busygin
busygin@...
Jan 2, 1999 10:50 pm
Hi All, My Internet connection works normally now so I'm able to renew the discussion. First of all, please find slightly corrected version (3.0.1.alpha) of...
337
SuperRyan@...
Jan 3, 1999 8:23 am
I know Dan P. has been aching to hear something else about PSPACE and NP, so I thought I'd add at least some little thing. In a theory lecture last semester, a...
338
Vladimir Z. Nuri
vznuri@...
Jan 4, 1999 12:06 am
HR: thanks for your reply. I've seen your posts for many years to sci.math and appreciate you signing up here. I disagree with you on some fundamental points...
339
Vladimir Z. Nuri
vznuri@...
Jan 4, 1999 12:14 am
... hmmm, I am skeptical. this is the kind of thing profs should be challenged on.. not necessarily during class, mind you, but after.. could be you misheard...
340
Vladimir Z. Nuri
vznuri@...
Jan 4, 1999 12:18 am
hi SB, interesting claims as usual. ... not sure what you mean by this. ... this is interesting. again you seem to be claiming you have found a way to...
341
Bernice Barnett
jbb@...
Jan 4, 1999 1:54 am
... How would we Know? The question reminds me of a PhD dissertation, written many years ago by Doug Lenat when he was a candidate at Stanford (1970s). The...
342
Mok-Kong Shen
mok-kong.shen@...
Jan 4, 1999 10:55 am
... Since you mention the name of Lenat, I remember that many years ago he was leading an AI project with the purpose to encode the knowledge of the world or...
343
Klaus D. Witzel
kwitzel@...
Jan 4, 1999 12:29 pm
Welcome Kurt! Kurt L. Van Etten <kvanette@...> wrote: To: theory-edge@egroups.com <theory-edge@egroups.com> Date: Saturday, January 02, 1999 3:03...
344
Naveen Rao
nrao@...
Jan 4, 1999 5:31 pm
Hello I have been a lurker on this list. But could not resist this query. I think that Lenat's project (CYC) has been shelved with a post-mortem which says ...
345
Edward A. Hirsch
hirsch@...
Jan 4, 1999 10:00 pm
Hi everybody! ... I asked Maxim Vsemirnov (Matiyasevich's disciple) for more exact numbers; here's his answer (in my translation from Russian): " From: "Maxim...
346
Bernice Barnett
jbb@...
Jan 5, 1999 5:22 am
... The project you refer to was (and I believe still is) an attempt to create a huge database of common sense knowledge. This means the kind of information...
347
Frode L. Odegard
frode@...
Jan 5, 1999 5:50 am
Dear all, The work Jeff Barnett mentions here is presumably CYC. The commercial result of this work is CYCORP, which is a spin-off from MCC, not MCI :) The...
348
Stas Busygin
busygin@...
Jan 5, 1999 12:39 pm
Hi All, I have finished the aforementioned short paper on SAT01 and updated my site. Please visit it again: http://www.busygin.dp.ua/npc.html I found two...
349
Vladimir Z. Nuri
vznuri@...
Jan 6, 1999 10:20 am
the recent thread on Cyc is very interesting.. there is a very good book called "out of their minds: the life and times of 15 great computer scientists".. of...
350
Vladimir Z. Nuri
vznuri@...
Jan 6, 1999 10:28 am
a person asked me for a good introductory link to SAT.. this is my favorite of all over the web, from American Scientist, a very cool article, and still very ...
351
Stas Busygin
busygin@...
Jan 6, 1999 6:48 pm
I just have received an announcement on exact polynomial algorithm for HCP! Please visit http://www.wlo.net/mission.htm and click "Computer Science" button. It...
352
Jeffrey Considine
jconsidi@...
Jan 6, 1999 8:19 pm
... I just looked at it and it seems unverifiable since no real description of the algorithm is given. I certainly don't have $30,000 in pocket change to get a...
353
Jeffrey Considine
jconsidi@...
Jan 6, 1999 10:35 pm
Another thing that bothers me... Why does the site say ... Finding cycles is an easy problem. Also, the test results on page 10 of the PDF are to determine the...
354
Stas Busygin
busygin@...
Jan 6, 1999 11:05 pm
I already sent them an email about all such troubles. Maybe they will agree for independent testing via email. ... From: Jeffrey Considine <jconsidi@...>...
355
Dan
jdp@...
Jan 7, 1999 12:49 am
... to ... Just so. For up to a couple hundred vertices, there are effective methods, including trying to minimize tree-width, which I'd be happy to describe....
356
Vladimir Z. Nuri
vznuri@...
Jan 7, 1999 8:29 am
I see the author(s) have a table of FOUR runtime datapoints/benchmarks and from that apparently conclude they have a polynomial algorithm. I certainly hope...
357
Kurt L. Van Etten
kvanette@...
Jan 8, 1999 7:42 pm
I wasn't able to access the article from this web site for some reason, but just looking at the table of run times from the home page does not suggest that...
358
Jeffrey Considine
jconsidi@...
Jan 8, 1999 8:16 pm
... This is a very good observation. Going from 10,000 to 20,000 is a factor of 3.4 and going from 15,000 to 30,000 is a factor of 5.4. Since this is a factor ...
359
Vladimir Z. Nuri
vznuri@...
Jan 9, 1999 12:03 am
alas, I think that this list is going to be a "1st point of contact" for bogus P=?NP claims. if any people here are irritated by that, my apologies. on the...
