Search the web
Sign In
New User? Sign Up
theory-edge · cutting edge in algorithmics/mathematics
? Already a member? Sign in to Yahoo!

Yahoo! Groups Tips

Did you know...
Want your group to be featured on the Yahoo! Groups website? Add a group photo to Flickr.

Best of Y! Groups

   Check them out and nominate your group.
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.

Messages

  Messages Help
Advanced
Messages 9039 - 9068 of 14331   Oldest  |  < Older  |  Newer >  |  Newest
Messages: Simplify | Expand   (Group by Topic) Author Sort by Date ^
9039
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...
Giu1i0 Pri5c0
gpmap
Offline Send Email
Jan 1, 2004
12:49 pm
9040
hi all. happy new year. I bet 2004 is gonna be a wild ride. cnn tech predictions for 2004 ...
V.Z. Nuri
vznuri
Offline Send Email
Jan 1, 2004
10:08 pm
9041
... 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 ...
Nagi Hanna Nahas
wahchelc
Offline Send Email
Jan 1, 2004
11:48 pm
9042
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...
aujus_1066
Offline Send Email
Jan 2, 2004
1:15 am
9043
... 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...
aujus_1066
Offline Send Email
Jan 2, 2004
1:38 am
9044
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.....
vznuri
Offline Send Email
Jan 2, 2004
1:39 am
9045
... 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...
aujus_1066
Offline Send Email
Jan 2, 2004
2:18 am
9046
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...
aujus_1066
Offline Send Email
Jan 2, 2004
3:55 am
9047
... I was thinking of the statement, but I wonder if the statement itself could be taken to be a proof. -- Eray Ozkural (exa) <erayo@...> Comp....
Eray Ozkural
examachine
Offline Send Email
Jan 2, 2004
5:38 am
9048
... 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...
puffinry23
Offline Send Email
Jan 2, 2004
4:09 pm
9049
... I should make it clear that I'm referring to "comon-order.pdf" here. "comon-conj2.pdf" is okay, as far as I know. Robin...
puffinry23
Offline Send Email
Jan 2, 2004
4:19 pm
9050
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"...
vznuri
Offline Send Email
Jan 2, 2004
6:02 pm
9051
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...
vznuri
Offline Send Email
Jan 2, 2004
7:27 pm
9052
... 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...
aujus_1066
Offline Send Email
Jan 2, 2004
7:55 pm
9053
... 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...
ropestretcher
Offline Send Email
Jan 2, 2004
9:42 pm
9054
... 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...
Eray Ozkural
examachine
Offline Send Email
Jan 2, 2004
9:51 pm
9055
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...
Nagi Hanna Nahas
wahchelc
Offline Send Email
Jan 2, 2004
10:01 pm
9056
... 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...
ropestretcher
Offline Send Email
Jan 2, 2004
10:17 pm
9057
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,...
aujus_1066
Offline Send Email
Jan 2, 2004
11:22 pm
9058
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...
V.Z. Nuri
vznuri
Offline Send Email
Jan 2, 2004
11:28 pm
9059
... 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...
Eray Ozkural
examachine
Offline Send Email
Jan 3, 2004
3:11 am
9060
... 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...
aujus_1066
Offline Send Email
Jan 3, 2004
4:01 am
9061
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...
George Herbert
herbegd
Offline Send Email
Jan 3, 2004
6:49 am
9062
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...
George Herbert
herbegd
Offline Send Email
Jan 3, 2004
7:11 am
9063
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. &...
vznuri
Offline Send Email
Jan 3, 2004
8:56 pm
9064
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,...
vznuri
Offline Send Email
Jan 3, 2004
9:06 pm
9065
... 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...
ropestretcher
Offline Send Email
Jan 3, 2004
9:58 pm
9066
... 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 ...
ropestretcher
Offline Send Email
Jan 3, 2004
10:18 pm
9067
new years viruses http://msnbc.msn.com/id/3861286/ crossfertilization of hollywood & video games continues. atari hires ridley scotts film company ...
V.Z. Nuri
vznuri
Offline Send Email
Jan 3, 2004
10:33 pm
9068
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. ...
vznuri
Offline Send Email
Jan 3, 2004
10:59 pm
Messages 9039 - 9068 of 14331   Oldest  |  < Older  |  Newer >  |  Newest
Advanced
Add to My Yahoo!      XML What's This?

Copyright © 2009 Yahoo! Inc. All rights reserved.
Privacy Policy - Terms of Service - Guidelines - Help