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 ... ...
Apologies if this is a big yawn to you all but I would like to know if ther is a quick way to determine if r = 6*m*n + m + n where r, m, n are whole numbers....
It's symmetrical and can be seen as a bilinear function f(m,n)=6*m*n+m+n with a relation r=f(m,n) where for n,m>0 f(n+1,m)=f(m,n)+7 f(n,m)=f(m,n) ... Thanks,...
Grp is an example of a variety with an operation that is cancellable. However the number of groups of order n up to isomorphism, for n up to 93, is only ...
Vaughan Pratt
pratt@...
Nov 2, 2009 7:08 pm
623
Apologies if this is triviality but I should like to knoww the proof of such result (Wikipedia): A join-semilattice is distributive if and only if the lattice...
Once again: You have a relation (r,m,n) out of Z**3 with r=f(n,m):=6*m*n+m+n for which you could pose these questions: a) Does at least one solution exist? b)...
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.
