Two interesting hyperlinks to that subject: http://www.dartmouth.edu/~phil/events/TuringTestConference.html http://cogsci.ucsd.edu/~asaygin/tt/ttest.html The...
999
Klaus D. Witzel
kwitzel@...
Jan 3, 2000 11:47 am
My response has two parts. In part one, we have to shed some light on algorithmic objects to which we apply negation. As a model for that I choose (*) z =...
1000
Jeffrey Considine
jconsidi@...
Jan 3, 2000 9:19 pm
My response is a bit down, mixed in with the argument as presented... If I delete stuff, it will get confusing... ... L3 looks funny but I don't think it...
1001
Klaus D. Witzel
kwitzel@...
Jan 4, 2000 12:06 pm
... Same and even harder for me know, so I cut. ... choose [...snip...] ... Given your example g(g) = not g(g) in your other response, L3 means that g(g) = not...
1002
Jeffrey Considine
jconsidi@...
Jan 4, 2000 3:59 pm
... ok... but this limits g to two functions - the boolean identity function and the negation function. These aren't particularly interesting and your original...
1003
Klaus D. Witzel
kwitzel@...
Jan 5, 2000 1:49 pm
... and ... original ... arguments ... Yes, negation is kind of external to the (p:q1...qn) system. Negation comes in some of those flavours (material,...
1004
Jeffrey Considine
jconsidi@...
Jan 6, 2000 4:00 am
Any comments from the peanut gallery? No one else seems to be saying anything at the moment... SuperRyan? jef...
1005
Vladimir Z. Nuri
vznuri@...
Jan 6, 2000 5:52 am
this collection of online books sounds like extremely high quality. I don't recall if I ever posted this. From: "Herbert S. Wilf" <wilf@...> ...
1006
d p
danpeh@...
Jan 8, 2000 2:24 pm
A simple question for defeating most such "machines", at least in present times, is: "How would you explain to a child how to tie her shoelaces?" A human would...
1007
Klaus D. Witzel
kwitzel@...
Jan 10, 2000 9:42 am
I post the below on behalf of my colleague, please feel free to distribute within your organization. And, if you know of other public discussion areas where...
1008
George Herbert
gherbert@...
Jan 15, 2000 10:50 pm
... I'll jump in with with some fresh speculation regarding P=NP. In an earlier post, I noted: What may be more interesting, are some of the claims I have...
1009
Stefan Bruda
bruda@...
Jan 16, 2000 12:36 am
... It seems senseless to me to talk about P and NP in the context of quantum computations, since these classes were defined using classical models od ...
1010
d p
danpeh@...
Jan 18, 2000 12:12 pm
Is anyone interested in discussing NP=PSpace? That seems to be a much better topic, richer, and room for progress, than P=NP. Also, it does seem likely that...
1011
SuperRyan@...
Jan 18, 2000 9:06 pm
... What about NL = co-NL? They were believed to be disparate before proven otherwise in 1985. Granted, they are not classes in the polynomial hierarchy, but...
1012
Klaus D. Witzel
kwitzel@...
Jan 19, 2000 7:58 am
SuperRyan@...> wrote: [...snip...] ... doubt ... = ... show ... 3CNF ... in ... be ... Wrt space/time complexity, the (p:qr) system I'm always using to...
1013
d p
danpeh@...
Jan 19, 2000 11:33 am
... #P is the problem of counting things, like number of acceptable solutions to a boolean expression. #Q is a different level of counting. It counts the ...
1014
Tewfik Bouzid
ahmed_bouzid@...
Jan 21, 2000 3:24 pm
Hello all: Just wanted to let you know of a new web site that seems to cover quite a spectrum of categories in mathematics and enables you to ask question for...
1015
Vladimir Z. Nuri
vznuri@...
Jan 24, 2000 5:40 am
hi.. appreciate the recent posts to the list, thanks for everyone's contribution. here are some ideas I've been mulling over p vs. np lately. consider a...
1016
Klaus D. Witzel
kwitzel@...
Jan 24, 2000 2:34 pm
... In my (p:qr) system, ANDing 2 or more 3CNF clauses (p:p(q:qr))AND(S) gives (p:S(q:S(r:Sr)) [modulo negation] where S can be the result of previous ANDs, so...
1017
d p
danpeh@...
Jan 26, 2000 10:33 am
... You are welcome. ... Good start. ... It´s often called Davis-Putnam, but there are other possibilities. You are right though. Many papers have been...
1018
José Rubens
zrubens@...
Jan 26, 2000 12:33 pm
Hi! I was wondering if someone could help me to answer a simple question concerning continuity. I am a Brazilian philosophy student, and I've been thinking...
1019
Mikhail Adigeyev
madi@...
Jan 26, 2000 1:02 pm
Hi José ... Yes, thats right. For any rational x and y (x+y)/2 is also rational and lies between x and y. ... Yes again. Example: (x+y)/2 + e where e is any...
1020
Klaus D. Witzel
kwitzel@...
Jan 26, 2000 1:42 pm
[...big snip...] ... Are you shure the citation was spelled correctly, AFAIK don knuth would have said "when i gave up email, i became a happy man." ;-)) ...
1021
d p
danpeh@...
Jan 27, 2000 11:17 am
... Point scored! Seriously though, some people may not notice the effect, but when I sit in front the pc for awhile, and write emails, it seems my IQ drops...
1022
Paul E. Black
paul.black@...
Jan 27, 2000 4:35 pm
... Picking an irrational number may be hard. So you can be constructive using e = abs(x-y)/2*pi where pi is the irrational constant. -paul- p.black@......
1023
d p
danpeh@...
Jan 31, 2000 11:18 am
Did everyone give up email so quickly? Electron beams aren´t that deadly... They just aren´t comfortable... I bet Klaus uses an LCD display. -dan ...
1024
d p
danpeh@...
Jan 31, 2000 11:27 am
Quiz question: Can you use a similar approach to show there is always a rational number between two different irrational numbers? And then... once you do that,...
1025
Klaus D. Witzel
kwitzel@...
Jan 31, 2000 1:24 pm
"d p" <danpeh@...> wrote ... Since I read about cyberspace in the SciFi liteature, I wait for my own simstim connector (don't know if that translates...
1026
Jun Yuan
j_yuan@...
Jan 31, 2000 7:20 pm
We can show that there is ALWAYS a rational number between two irrational number by using a similar method. But it does not mean that there is EXACTLY ONE...
1027
d p
danpeh@...
Feb 1, 2000 11:24 am
... It seems to me, if there is "at least" one apple between any two oranges, and "at least" one orange between any two apples, then, there are equal numbers...
