From the online biography of Hugh Everett (http://www.hep.upenn.edu/~max/everett/), the man who started the Many Worlds Interpretation of quantum mechanics...
... I think interest in the problem is bound to increase , because it can be stated in an elementary way , it is on the web ,it has a prize of 2000 $, a ...
Here is another counterexample to the conjecture that a comonoid with a point removed is still a comonoid. The interesting thing about this new counterexample...
... The time isn't quite ripe, as I don't quite see the big picture yet, but here is something for those who can't wait. It's kind of a follow-on to the...
hi mark. very nice to hear from you, glad you are still out there, but a pity you dont hang around. if you could cite the MIT phd by name, it would help.....
... It was mostly oriented toward combinatorial properties of finite posets. ... For topology, T1 is a very weak property. Most of the time you need to use at...
I'm using the notation from Robin's comon-conj2.pdf paper. Defn: A limit ordinal alpha is a "first-level" limit ordinal iff alpha = beta + omega for some...
... I should warn potential readers that the paper consists almost entirely of erroneous proofs of false propositions. I left it in the archives on the grounds...
hi all. I went thru an old folder I had of comonoid posts. a few feeble musings. (given my general background in countable infinites, ie "discrete mathematics"...
the following bothers me. it seems we ought to be able to resolve this 1.5 problem based on the key question that follows, which is not intrinsic to...
... Consider the following poset: (1,1) < (1,2) < ... < (1,99) < (1,100) < ... < (2,0) where the points are {(1,N) : N >= 1} union {(2,0)}. The words...
... I'm not sure. Let's take one formulation of Goedel's theorem: There is a true (first order) statement about natural numbers which is not a theorem of...
... Pardon me if I'm thinking in very broad intuitive terms. I know that a proof and its statement are normally distinct entities. Let's say we have a program...
I was trying to get a good grasp on Mark's last few messages before I post but I'll reply to VZ before I understand all the things Mark has written. Sorry...
... There is nothing obviously wrong with thinking in very broad intuitive terms. (Are you referring to a distinction between a proof and a statement of a...
I'm trying to formulate the ordinal analysis needed to express when omega-1 cuts are required. Here is what I've come up with so far: For an ordinal alpha,...
hi all re: comonoids. maybe someone should save me from myself here & start a new mailing list on it. it surprises me there is so much interest in something so...
... Thanks. Proof of a theorem and statement of a theorem is what I wished to refer to. ... OK. Please bear with me, I'm not a mathematician just a lousy...
... The key thing is to get Vaughan to bless the list change. I don't want to post my wonderful proof on another list, and then have someone else copy it here...
Eray, ... I recall that the Boyer-Moore theorem prover was used to verify one of Goedel's incompleteness theorems. I believe that the automated system...
Eray, ... How would you know whether the program was not halting or just taking a very long time? Although I might like to, I can't wait an infinite time to...
hi mark. I nominate either you or vaughan to set up a yahoo list for the problem if you intend to stick with it until it is solved, as apparently you do. &...
hi eray. there is a way to formalize both g"odels argument and also the TM halting argument to suggest they are basically identifying the same logical concept,...
... The remark wasn't intended to be so critical. Since it was you who turned me onto Haskell and Objective CaML, I personally think you're great. (No sarcasm...
... First show that for any ordinal alpha, if there is a cofinal embedding of beta into alpha, where beta=suffix(beta), then beta <= suffix(alpha). This ...
hi all, this just turned up on blogdex.. I usually batch my posts but this deserves immediate posting. its a sort of mass datamining infrastructure concept. ...
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.
