Dear Friends, I have posted a 97-page paper on the approximate satisfaction of an equation (or a set of equations E) on a metric space (A,d). Of course if...
Dear friends, I just got informed of a paper that was recently posted on arXiv which supposedly proves P=NP. The author is supposed to be a professional...
... This is contribution 46 to the P=NP question in the enumeration at http://www.win.tue.nl/~gwoegi/P-versus-NP.htm As such it is the most recent, the oldest...
Vaughan Pratt
pratt@...
Mar 15, 2009 6:43 am
594
On Sunday 15 March 2009 12:13:05 Vaughan Pratt wrote:
> It will be interesting to see what the patent office decides about his
> software patent: this may be...
Hello Vaughan, it was not criticism, but a simple spontaneous uttering of opinion. I wonder how it should work to downsize algorithms, which are known to have ...
Now I have to thank Vaughan for an intense discussion on nondeterminism, which emerged a week ago, when I spontaneously brought the symbolic Newton method. I...
... Dear all, After reading Petar's post about Aslam's paper, I got some time to spare and went through it. Since Vaughan Pratt asked for "more specific...
Bonjour Nlepatio, Je codirige ton mémoire avec le Dr Celestin Lele. Il faut ajouter son nom et lui donner une copie du memoire pour qu il te fasse part de...
I am sorry for this private message. Please canceled it. Etienne Romuald Alomo Temgoua, Ph.D. 2274, Rue Montgomery, Montreal, QC, H2K 2S1, Canada. Tel....
When reasoning about logic and model theory I came across a stunning question about abstraction. Abstraction normally means subsuming data from the observed...
... "Constants"? I don't know. "Constraints"? Absolutely -- cf. I. Kant. Cheers, -- Fred Linton...
Fred E.J. Linton
flinton@...
Jul 21, 2009 7:45 am
603
Dear Colleague, We are pleased to announce a Special Session on Universal Algebra and Order for the April 2010 AMS Sectional Meeting in St. Paul, Minnesota....
The paper "The Yoneda Lemma as a foundational tool" can be downloaded as http://boole.stanford.edu/pub/yon.pdf Section 1 attempts to bridge the gap between...
Vaughan Pratt
pratt@...
Aug 9, 2009 10:39 am
605
Dear, Over abastraction will lead to chaos. Arun India...
George, As far as I can determine, that's as far back as it goes. There is always the possibility of some unpublished dissertation or the like that we don't...
JB Nation
jb@...
Aug 15, 2009 9:42 pm
607
Hello Arun, do you mean that abstraction is like simplification? Jens...
... Hi Jens, It wasn't clear from your original message what you were asking. However if you were looking for a formal definition of "abstract," one candidate...
Vaughan Pratt
pratt@...
Aug 18, 2009 3:57 pm
609
By abstraction we mean to reduce the constraints of the system under consideration. Arun...
... Here I have to disagree, because abstraction does not omit something [like (Z,+,-,0) -> (Z,+,0)], but replaces instances (of whatever) by generalizations,...
(please circulate, apologies if you receive multiple copies) ============================== ================================================== Second Call for...
Call a distributive lattice rectangular when it is a product of chains. Does there exist a group G (necessarily locally cyclic by a 1938 theorem of my...
Vaughan Pratt
pratt@...
Sep 23, 2009 6:45 am
614
... If a product of chains has a meet-irreducible least element, then it must be a single chain. Hence every subgroup of Q has a distributive subgroup lattice...
Vedic Maths - Tutorial 6 Â Multiplying a number by 11. To multiply any 2-figure number by 11 we just put the total of the two figures between the 2 figures. ...
Dear colleagues, Due to multiple requests full paper submission deadline for ICFCA 2010 has been extended by one week. Please circulate this message. We...
Dear Sir, Â I wonder if you acceept a paper on group theory for publication in the proceedings of 'ICFCA 2010'. Please let me know. Regards Arun India ... ...
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.
