hi all.. PF, do you have the URL for this one handy? I think I will read it. what year was it? afaik hartmanis is not active any more in CS although if he is I...
... There is a 'download' button on the page: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR93-1402 the whole PDF takes 1.2MB....
Hi all, In the problems for chapter 9, Sipser gives several problems involving the pad function, which Mike and Piotr have discussed earlier. Most of these...
... From: Michael N. Christoff To: comp-sci-theory@yahoogroups.com Sent: Tuesday, March 04, 2003 2:15 AM Subject: Re: [comp-sci-theory] Sipser problems for...
Hi Mike, ... Hmmm, I don't think you're going to be able to prove that PSPACE is in P! The pad function can move a problem down the space hierarchy, or down ...
Hi Mike, Yes, our earlier posts crossed in the mail, so to speak, so I didn't realize that you were attempting a proof by contradiction. But I don't think...
Hi all, Let me recap the solution for problem 9.21. For reference, here are ... A proof by contradiction for 9.21 would go like this: Assume on the contrary...
Check it out. Its called: Finite Model Theory - a Personal Perspective http://ingenet.ulpgc.es/~ablesa/pdf/tcs93.pdf Gives an overview of what FMT is exactly,...
Hi everyone, I'd like to make an announcement regarding the leadership of this discussion group. For some time now, I've felt that I didn't have as much time...
hi KLVE. a bit perplexed at your announcement, I personally think there is no need to be "present" or post all the time on a mailing list that you start; while...
Welcome everybody. As Kurt has mentioned, he has passed the moderation torch for comp-sci-theory to me - a responsibility I am happy to tackle. I'd like to...
This is a great introduction to the sometimes counter-intuitive world of quantum computing. A good background in mathematics (especially linear algebra) will...
The moderator stepped down, long lives the moderator! Kurt, I always appreciated this list, your idea to have such a list, your get-it-going and especially...
Folks, I am writing a paper on recognition of primes by automata. In this regard I am looking for some interesting approaches to prove that the set of primes...
... From: P To: comp-sci-theory@yahoogroups.com Sent: Monday, March 17, 2003 3:52 AM Subject: [comp-sci-theory] Proving that the set of primes is not a regular...
... lines myself. However, I'd be inetersted to learn more about your paper. I can sort of see hgow you would use the density of the primes to show they are...
hi P. unrecognizability of primes by FSMs is one of the cooler elementary proofs. hopcroft+ullman give it on p 58. they note minsky/papert but do not cite who ...
... The existence of a prime between n and 2n for any n is called Bertrand's theorem. I don't think you could use Bertrand's Theorem to prove that the primes...
Hi, ... According to Ribnboim's "The New Book of Prime Number Records" This was the general form of Nicolas' proof that there exist an infinity of n such that...
Hi all, the home page ( http://aimath.org/ ) of the American Institute of Mathematics features a major breakthrough in prime number theory. Enjoy! /Klaus...
Friday, March 28, 2003 The Berman-Hartmanis Isomorphism Conjecture http://www.fortnow.com/lance/complog/ Just thought I'd post this. It relates to some ideas...
If one were given the task of designing a graphical user interface (gui) to allow people to enter regular expressions, how would you design it? I will post in...
Myopic, over-reaching legislation has already claimed its first victim--LaBrea http://www.eweek.com/article2/0,3959,1032977,00.asp l8s, Mike N. Christoff...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
