Hi all. I've been lurking here for a while now and this is the first post I've seen to which I can actually offer a sensible response ! I saw a TV program...
... IIRC this was and still is an open question in the ATP discipline (automated theorem prover). Have a look at the Pigon Hole problem which was also...
... Look up algorithmic complexity theory (founded independently by Kolmogorov and Chaitin). ... Yes. Too trivial to use. But you omit one important point:...
In a sense, any base is optimal, since most of mathematics, deals only with properties of numbers, and not with their representations. In topology, one hardly...
Another suggestion, even if much more technical: the hierarchy of T-provably total recursive functions in theories T with a recursive ordinal for its ...
It is well known that the Jordan Curve Theorem is ``obvious'' but quite hard to prove (I know the proof in Newman's _The Topology of Plane Sets of Points_.) ...
... Hi chico! Thanks for the link .. i shall follow it .. ! I am sure that such a simple idea as prime matrices would not have gone over looked at all & there...
That's actually an interesting idea you've got there. There is a large field of matrix factorizations (spectral decompositions, polar decompositions, Schur...
I was thinking of rings, Felix. In that case, another reference might be Fraleigh's book. chico ... __________________________________________________ Do You...
Hello All, ... Yes. Too trivial to use. But there is alot of merit in determining the independence of theoreoms form axioms. It isn't hardness. For example if...
It's called synesthesia. web.mit.edu/synesthesia/www/synesthesia.html G. Waleed Kavalec ... To truly understand recursion one must first understand recursion. ...
A possible starting point - the determinant of a product is the product of the determinants. Thus, the "units" of integegral matrices could be those with...
... It quite practical that the circle has 360 degrees: it is easy to divide it into 2,3,4,6,8,10 equal parts. The right angle is 90 degrees, 365/4=91.25 would...
Marx Dániel
dmarx@...
Feb 1, 2002 6:30 pm
4823
Hi Justin! Nice to knwo about a TV show in which I might have aslo appeared;-) ...though I do not always taste the colors it is just sometimes that a clolr...
Quite a lot is actually known about such matrices - they are called unitary or orthogonal, depending whether they have elements in R or C. Regards, Felix....
"Derik Hawley." wrote: [snip] ... But what about the well-ordering theorem? I have never heard of a constructive proof of it. After all, if there were one,...
Hi Klaus! Thank you for your very informative reply! I shall look up the links you mention! For it is clear that till i read up that bit i could not discuss...
Hi Felix! Thanks a lot for your mail & for all the cool references that you have provided! It realy seems I have a quite a lot of reading to do before i...
... that reminds me of Russells proof of 1+1=2.. i personally can't think of more 'obvious' things but the mere fact that it required a page long proof maybe ...
Hi Felix! ... Thanx very much for the encouragement & cool links again! :-) That certainly motivates me to look deeper into them! I was wondering if by...
Hi martin! nice crack at the nut!:-) opens up cool ways to view the prob! However methinks there is more to it than +/-1 determinants..coz if u may have prime...
Hi Marx! ... You are right all the way( this is a practical choice) .. guess the circle department was under the mathematicians & not the famers;-) Well look...
RA thanks for the emails. however it would be better to deal with one idea at a time & then post them sequentially when we have lulls (that part definitely was...
wow, this is very interesting. massive US supercomputer combining resources of 3 labs (livermore, sandia, los alamos), code named "purple". linux under...
Hi VZ! First of all let me thank you for providing us all with this medium for exchanging ideas with some of the most brilliant people around!! I am sure that...
graduate student in CS eh RA??? well you fooled me by all your misspellings & ramblings, I presumed awhile ago you were undergraduate for sure & was ignoring...
... The pleasure is mine. ... Sounds like an interesting idea to me, albeit subject to the same issue of different proofs/different formalizations of proofs. ...
... Well, you can write a normal matrix in spectral decomposed form (as a sum of matrices) or in polar decomposed form (as a positive-defined matrix multiplied...
