I haven't followed this thread, but you only get uncountable languages (languages with an uncountable number of expressions) if: 1) You allow for infinite...
... And further, since languages and TM's are made of the same material {0,1}^n, why should there be any difference between the cardinality of languages and...
The set of all TMs is countable, but, say, you can generalize them as follows: couple each machine to an infinite, arbitrary oracle. The new set is ...
5121
Joshua Zelinsky
lord_bern@...
Mar 1, 2002 2:32 pm
Okay, Now everyone agrees that there are aleph_0 turing machines and aleph_1 languages. There are clearly only aleph_0 proofs in a system of finite axioms....
... Well, I don't want to be pessimist, but graphs under 100 vertices are usually easy to solve. I think only 4 graphs on the 80 have less than 100 vertices....
Chico and Klaus, I misread the original discussion this way too. The discussion is not about uncountable languages - languages whose set of expressions is...
OK, but as you can see (re my Clifford algebra example) there are many nontrivial interesting uncountable languages. Notice that the set of all recursively...
hi everyone. it would be really great if anyone going to conferences could drop us a quick line about your experiences. it really amazes me how little dialogue...
In a message dated 3/2/02 1:05:10 PM Eastern Standard Time, ... Josh, Cantor showed that there are sets that are not countable (not recursively enumerable)....
... I'm familiar with the dimacs format. Its easy to work with & make conversions. But At this point I'm not interested in finding fast solutions. I'm only...
... The reason to make a computer program is not for speed, but to be able to test your conjecture on larger graphs. You can't test manually your ideas on a...
Heya Beagle, could you explain how your algorithm works on the following graph? I have some troubles understanding each decision you make along the way... and...
5132
theory-edge@yahoogrou...
Mar 3, 2002 1:00 am
Hello, This email message is a notification to let you know that a file has been uploaded to the Files area of the theory-edge group. File :...
Heya Jim, I uploaded 5 graphs under 100 vertices for the maximum clique problem. To test your conjecture, you will of course have to reverse the graphs. As I...
... I agree. I also suggest to view at least three areas in which we use language [borrowed that from a philosopher]: 1] descriptive, used to "generate"...
Hi all, This cfp is being posted ahead of the next cfp batch, because of the extremely close date (March 14-16). Regards, Felix. ... [more details snipped -...
hi all. a friend ordered wolframs "a new kind of science" off of amazon, it is supposedly available in march last I heard. I wondered if anyone has heard...
In the paper there are a lot of definitions, not extremely easy to understand. In some places an algorithm is cited, but I was not able to find the definition...
hey guys I just came to know of this group and couldn't resist! I am doing my PhD at the univ of michigan, ann arbor. Does anyone know of the use of...
In a message dated 3/5/02 8:37:12 PM Eastern Standard Time, ... Hello, ... This is P(x). List a set. If it can be done, then the set is called recursively...
hi everyone excuse me for my bad english I thing all well defined languages over an arbitrary alphabet are context sensitive languages(i.e they can be decided...
5143
mathieu capcarrere
msc@...
Mar 6, 2002 1:36 pm
... Maybe the lack of buzz is due to the fact that it's been announced for the following quarter every month for the past 4 years. SO nobody it's believing ...
... Sorry. TM? Transcendental Meditation? -- Phlip http://www.greencheese.org/InMildDefenseOfTheGnats -- Creationism: The belief that God is too stupid to be...
... From: mathieu capcarrere [mailto:msc@...] ... As a CA researcher, I quite agree with that, at least as far as it comes to revolutionize science....
5146
Adam M Johansen
amj26@...
Mar 6, 2002 3:24 pm
... Nice idea, but I suspect, "Turing Machine". Adam -- "Most modern calendars mar the sweet simplicity of our lives by reminding us that each day that passes...
Taking advantage of Spring break and a lull in traffic here, let me pose an analog vs digital question. Consider the sorting method called interpolation sort....
