Hello Vaughan, the task of defining a measure for rationals still keeps me busy, because the meaning is getting more general than I had initially thought of....
Dear All, I am in the process of putting on my personal home page the various mathematical songs (typically produced at conferences) to which I contributed....
Brian Davey
B.Davey@...
Feb 16, 2009 4:52 am
586
Brian, I think that conference was in February 1988. Bill ... and then ... written, but ... Conference ... I¹m not...
Hi Jens, Rudolf Wille's concept lattice idea is probably the most familiar framework for knowledge to the readers of this list, and they'd be in a better...
Vaughan Pratt
pratt@...
Feb 16, 2009 6:31 pm
588
On Saturday 14 February 2009 21:31:28 Jens Doll wrote:
> the task of defining a measure for rationals still keeps me busy,
> because the meaning is getting...
Thank you for this firework of imaginations. I am now aware of the different types of logic, which scientific disciplines use. There seems to be only one...
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...
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.
