Has anyone read or discussed the recent effort to prove the consistency of ZFC + P=NP? I would be very interested in that. Maybe the author would be willing...
18
Vladimir Z. Nuri
vznuri@...
Jun 3, 1998 3:20 am
I really like the title of this conference: "Frontiers between decidability and undecidability" in the Czech republic, August 24-25. ...
19
Vladimir Z. Nuri
vznuri@...
Jun 3, 1998 3:27 am
hello, one of my favorite "theory-edge" type articles is one by Brian Hayes in the american scientist magazine, march/april 97, on Satisfiability. you can find...
20
Vladimir Z. Nuri
vznuri@...
Jun 5, 1998 12:19 am
JDP helped me understand some ideas about the #p/#q proof that he's mentioned in recent posts. ... From: JDPeh@... Date: Mon, 1 Jun 1998 17:10:12 EDT To:...
21
Gloria Martinez Vidal
martine@...
Jun 5, 1998 8:30 am
Hi Vladimir, hi everybody! I'm Gloria and I'm writing from Spain...So, excuse me if my English isn't very good. This is the second time Vladimir ask what it's...
22
Mok-Kong Shen
mok-kong.shen@...
Jun 5, 1998 8:38 am
... Though I subscribe to the list, my knowledge background is yet too meager to be able to post things interesting. However, since the channel is idle...
23
Stefan Bruda
bruda@...
Jun 5, 1998 5:55 pm
Hi all, This is mainly as a response to Mr. Nuri's request concerning the low traffic on the list. Well, it's hard to make me write something these days, since...
24
Vladimir Z. Nuri
vznuri@...
Jun 5, 1998 9:45 pm
well!! after beating the bushes a few emails flew out. I appreciate the posts. I haven't gotten any mail from anyone who said they aren't getting posts so far,...
25
Vladimir Z. Nuri
vznuri@...
Jun 5, 1998 10:01 pm
admin: if everyone could be careful about attaching meaningful subjects, that would help others. thanks; == MKS writes about Rheingold's paper saying that...
26
julio
julio@...
Jun 5, 1998 10:58 pm
Hello all and Vladimir. ... Yes, that's it, at least in my case. I'm a software developer, with some (poor) theoretical knowledge ranging from semiotics, to...
27
Stefan Bruda
bruda@...
Jun 6, 1998 4:58 pm
Hi. As I promised in my previous message, here are the URLs for the two papers in discussion: http://www.qucis.queensu.ca/~bruda/www/cf-pcgs1 (HTML) ...
28
Vladimir Z. Nuri
vznuri@...
Jun 7, 1998 5:25 am
hi everyone. the two papers that Stefan posted are very interesting! but I can't help feeling there might be an error, either in the papers or my...
29
Mok-Kong Shen
mok-kong.shen@...
Jun 9, 1998 3:05 pm
... What you wrote isn't very clear. Some elaboration would be desirable for understanding. M. K. Shen ... Read this list on the Web at...
30
julio
julio@...
Jun 10, 1998 2:56 am
... Right, here we go... Let's firstly see it in 1-D. The scenary: - n objects are given; - they are placed on a 1-D grid (sort of ruler), where integer coords...
31
Conrad Eaton
ceaton@...
Jun 10, 1998 5:51 am
Hello all, I don't know what I am doing here, but I find the subject interesting. I am a "hobby" mathematician, presently with primary interests in number ...
32
Vladimir Z. Nuri
vznuri@...
Jun 11, 1998 1:53 am
hi Julio, thanks for the post. it's a very complex problem you have there... it sounds a lot like physics to me. I thought mistakenly somehow it had to do with...
33
julio
julio@...
Jun 11, 1998 3:37 pm
Hello Vladimir and all. ... No, the motivation behind the mathematical problem - because, physical metaphor apart, it is NOT but a mathematical problem - has...
34
Stefan Bruda
bruda@...
Jun 11, 1998 11:18 pm
... Hi. You have no reason of being perplexed. Indeed, the two papers are not reconciliable. Actually, this is the reason I posted the URLs and tried to start...
36
Stefan Bruda
bruda@...
Jun 11, 1998 11:23 pm
Sorry for posting it twice (worst of all, three times for mr. Nuri), but I hit "reply", it put both the list's and mr. Nuri's addresses, I didn't notice and...
37
Vladimir Z. Nuri
vznuri@...
Jun 11, 1998 11:54 pm
Julio: you seem to be saying that you don't want to reveal too much about your problem because you have commercial interests. you seem to be asking me for...
38
Vladimir Z. Nuri
vznuri@...
Jun 12, 1998 12:07 am
Stefan: the languages you are working with are very sophisticated obviously. it seems like you ought to be able to reduce "parallel" languages to "sequential"...
39
julio
julio@...
Jun 14, 1998 5:45 pm
... Well, this is a tough matter. My humble opinion is that we should see it as part of how things work, unless we want to discuss the good or evil of economy...
40
Vladimir Z. Nuri
vznuri@...
Jun 16, 1998 12:24 am
hi Julio; when I wrote that it was a pity that commercial interests sometimes get in the way of theoretical knowledge, it wasn't meant to refer to you...
41
Vladimir Z. Nuri
vznuri@...
Jun 16, 1998 2:13 am
as usual I have been brainstorming on this problem and have also found some neat resources. what seems to me like a great insight is research being done that ...
42
Vladimir Z. Nuri
vznuri@...
Jun 16, 1998 2:14 am
here's an interesting approach to SAT and P=?NP. in the last message I mentioned that the size of boolean circuits that solve problems is intricately related...
43
Stefan Bruda
bruda@...
Jun 17, 1998 1:48 am
Hi All. Vladimir's post about neural networks reminded me about a couple of papers I read some time ago. I found them by chance, but they seemed to me very ...
44
Vladimir Z. Nuri
vznuri@...
Jun 17, 1998 9:55 pm
interesting finds, Stefan!! and you can't beat the prestige of Science for results. do the authors actually show/prove in the paper that their neural networks...
45
Vladimir Z. Nuri
vznuri@...
Jun 17, 1998 9:59 pm
have been having a conversation with DJ below who is very knowledgeable on boolean circuits and complexity theory relative to them. he gave me permission to...
46
JDPeh@...
Jun 18, 1998 12:52 pm
... Well, I think circuits are very interesting, but, I believe they are a waste of effort (when thinking about p=np). Before answering the p==np question,...
47
Vladimir Z. Nuri
vznuri@...
Jun 19, 1998 3:11 am
JDP ... actually it seems to me that P==NP is more important than Pspace, but I agree Pspace is an important question, and might be easier to resolve than p...
