this is the eighth post in my series examining my recent TM related research. I showed how I created a macro system that allowed me to express the a+b == b+a...
904
Vladimir Z. Nuri
vznuri@...
Sep 3, 1999 7:35 am
this is the ninth post in my series examining my recent TM related research. this is an abbreviated simulation file of the a+b == b+a TM, showing every...
905
Mati Tombak
mati@...
Sep 3, 1999 8:53 am
Hi, I was on my vacation and could not react to benchmarks postings. Dan, you were fantastically quick and the Q-expression for Dedekind is very interesting. ...
906
d p
danpeh@...
Sep 4, 1999 12:57 am
... Great! I believe that "counting" the solutions to boolean expressions is, in general, as hard as the hardest satisfiabiliy problems. That is, if counting...
907
Vladimir Z. Nuri
vznuri@...
Sep 4, 1999 1:51 am
... I always find it slightly confusing that all algorithms in complexity theory are given as languages. but we really should be formal about this. I am a bit ...
908
Jeffrey Considine
jconsidi@...
Sep 4, 1999 3:45 am
... This formula would work but could be exponentially large since the number of solutions x can be exponential... jef...
909
Vladimir Z. Nuri
vznuri@...
Sep 6, 1999 4:10 am
... good point. qualify x (number of solutions) to be a polynomial then....
910
Vladimir Z. Nuri
vznuri@...
Sep 6, 1999 4:23 am
I thought I would lay out a few final thoughts on nonhalting machine detection for anyone who is still following this line of thinking, or for any future...
911
stephen mooney
mooney@...
Sep 11, 1999 10:51 pm
Could anyone assist me with a mathematical equation or formula derived from the following description of an hierarchical structure of numbers and arrows which...
912
Vladimir Z. Nuri
vznuri@...
Sep 14, 1999 5:10 am
many of the tao OS goals are realized in what goes under the heading of "persistent objects". here's some good research leads from M.S... working at M.S.!!...
913
Vladimir Z. Nuri
vznuri@...
Sep 14, 1999 5:39 am
hi everyone.. oops, wrong address. that last msg was not meant for this list. sorry about that. I am back from a bit of an absence.. I intend to cull some old...
914
Vladimir Z. Nuri
vznuri@...
Sep 16, 1999 7:47 pm
From: "Andrew McCallum" <mccallum@...> Subject: CS research paper search engine Date: 25 Aug 1999 20:54:59 GMT To:...
915
Vladimir Z. Nuri
vznuri@...
Sep 16, 1999 7:48 pm
From: "LIIN Webmaster" <liinwwwa@...> Subject: REMINDER: The Computer Science Bibliography Collection Date: 30 Aug 1999 20:17:14 GMT To:...
916
Vladimir Z. Nuri
vznuri@...
Sep 16, 1999 7:48 pm
From: "Cris Moore" <moore@...> Subject: deterministic chaos and predictability Date: 24 Aug 1999 21:15:53 GMT To: "comp.theory@..."...
917
Vladimir Z. Nuri
vznuri@...
Sep 16, 1999 7:48 pm
From: "chaitin@..." <chaitin@...> Subject: A Century of Controversy over the Foundations of Mathematics Date: Fri, 27 Aug 1999 12:07:18...
918
Vladimir Z. Nuri
vznuri@...
Sep 16, 1999 7:48 pm
From: "Antti Ylikoski" <antti.ylikoski@...> Subject: Manuscript of dissertation may interest readers Date: Sun, 05 Sep 1999 10:09:32 GMT To:...
919
Vladimir Z. Nuri
vznuri@...
Sep 16, 1999 7:48 pm
From: "Ulrich Junker" <junker@...> Subject: 1st CFP: CP-AI-OR'00 (Integration of AI and OR in CP) Date: 2 Sep 1999 15:35:06 GMT To:...
920
Vladimir Z. Nuri
vznuri@...
Sep 16, 1999 7:52 pm
From: "Greg Kuperberg" <greg@...> Subject: Re: Wiles's FLT Proof Date: 31 Aug 1999 19:18:14 -0700 To: "sci.math.research@..."...
here's some very neat URLs that I really like: 1. http://www.nytimes.com/library/tech/98/04/cyber/articles/21peer.html "physics on the web is putting science...
923
Vladimir Z. Nuri
vznuri@...
Oct 3, 1999 6:03 am
supposedly a new breakthrough in neural network techniques that has led to an algorithm for the recognition of human speech that is *superior* to the accuracy...
924
Vladimir Z. Nuri
vznuri@...
Oct 3, 1999 6:05 am
I saw this on a mailing list and also someone sent it to me. I don't know if this is real. any discussion would be interesting. "caveat emptor".. it sounds...
925
Vladimir Z. Nuri
vznuri@...
Oct 3, 1999 6:15 am
I have been in contact with Paul Bruckman over his potential goldbach proof. just FYI, he has retracted it after finding a subtle error with the help of some...
926
Vladimir Z. Nuri
vznuri@...
Oct 3, 1999 7:31 am
genetic algorithms have become very sophisticated and impressive. here are some recent results. researchers used them to create lego bridges, and the end...
927
Vladimir Z. Nuri
vznuri@...
Oct 3, 1999 7:41 am
berger, one mentioned in the article, has a very excellent resume & research credentials. here's another article with more info ...
928
Andrew Eremin
a.eremin@...
Oct 4, 1999 9:31 am
... Hi, this is my first post to the list. I came across Pollack and Funes work last year while researching my MSc project. As I remember while some classical...
929
stephen mooney
mooney@...
Oct 4, 1999 10:04 am
I consider my paradigm which integrates science as the ultimate algorithm. See my web page at <users.netcon.net.au/paradigm>. Stephen Mooney...
930
Vladimir Z. Nuri
vznuri@...
Oct 5, 1999 1:59 am
From: Robert Hettinga <rah@...> Subject: Rumor of a working quantum computer Date: Thu, 30 Sep 1999 12:33:07 -0400 To: cypherpunks@...,...
931
Vladimir Z. Nuri
vznuri@...
Oct 5, 1999 2:00 am
From: Robert Hettinga <rah@...> Subject: Quantum confidential Date: Mon, 4 Oct 1999 16:25:11 -0400 To: cypherpunks@... ... Robert A....
932
Vladimir Z. Nuri
vznuri@...
Oct 6, 1999 3:50 am
From: "E C D L Account" <isx637@...> Subject: Announcement of results Date: Sat, 02 Oct 1999 14:59:04 +0100 To: nv_papers@... Message from...
