Math

tommy's simple irreducibility test
tommy's simple irreducibility test for nonlinear integer polynomials. p(x) is irreducible if - p(x) is. lim x-> oo p(x) = +oo or - oo. let poly(x) be p(x) or - p(x) such that the limit gives +oo. let q be ceiling [max real x for poly'(x) = 0] let P(x) be poly(x) / gcd(poly(q^2+1),poly(q^2+2),...) let ... 9 Aug 2010 17:55

Pens�e erron�e
You expect that the Tunze must work, exactily, like the Standard. With this type of wrong thought, you will not be able to approach the acquaintance of the Tunze Theory. Sorry. Socratis. Vous pr�tendez que la Tunze doive fonctionner, exactement, comme le Standard. Avec ce type de pens�e erron�e, vous n... 9 Aug 2010 15:42

rectangular unitary matrices
Call a mxn matrix "rectangular unitary" if each of its lines is a unit complex vector and each two of its rows is orthogonal. Denote V^t the transpose of a matrix V. For a square matrix W, let S(W) be the sum of all its entries (obs. and not the sum of the absolute values of the entries). I'm interested in prov... 10 Aug 2010 00:29

Meaning, Presuppositions, Truth-relevance, Godel's Theorem andthe Liar Paradox
Daryl McCullough wrote: I guess there are two kinds of philosophy: the kind that takes murky concepts and attempts to make them clear, and the kind that takes clear concepts and attempts to make them murky. Identifying the presuppositions in natural language is an example of the first, inserting pr... 9 Aug 2010 13:28

Meaning, Presuppositions, Truth-relevance, Godel's Theorem and the Liar Paradox
Newberry says... http://www.scribd.com/doc/35519023/Meaning-Presuppositions-Truth-relevance-Godel-s-Theorem-and-the-Liar-Paradox I took a look at the paper. I understand the idea about presuppositions. The example from the paper: "All John's children are asleep". Rather than rendering it as Ax jc(x) -> as(x... 13 Aug 2010 00:37

Meaning, Presuppositions, Truth-relevance, G�del's Theorem and the Liar Paradox
In article <6b4407fe-f953-48eb-a22c-f9ab8de8519c(a)g6g2000pro.googlegroups.com>, Newberry says... On Aug 8, 1:54=A0pm, Aatu Koskensilta <aatu.koskensi...(a)uta.fi> wrote: Newberry <newberr...(a)gmail.com> writes: This sentence: =A0 =A0 ~(Ex)(Ey)(Pxy & Qy). =A0 =A0 =A0 (3.3.1) Pxy means tha... 13 Aug 2010 08:08

An exact simplification challenge - 105 (AppellF1, EllipticE/K)
Hello, Sqrt[2*(1 + Sqrt[2])]* (AppellF1[-1/2,-1/2,-1/2,1/2,-2*(Sqrt[2]+1),2*(Sqrt[2]-1)] + 4*AppellF1[1/2,1/2,1/2,3/2,-2*(Sqrt[2]+1),2*(Sqrt[2]-1)]) + 4*(-EllipticE[-3 - 2*Sqrt[2]] + (1 + Sqrt[2])*EllipticE[Pi/8, 4 - 2*Sqrt[2]] + EllipticK[-3 - 2*Sqrt[2]]) ... 9 Aug 2010 07:55

Boolean Boogie
Let B be a Boolean ring and a, a point in B. Is there a prime ideal that exclude a? Please don't use the Boolean ring representation theorem, as the question is a key step in a proof of the theorem. ... 10 Aug 2010 13:36

primes as sums of 2 squares
Can a prime be a sum of 2 squares in more than one way? quasi ... 9 Aug 2010 11:13

symmetric functions as sums of 2 squares
Prove or disprove: If f in K(x,y,z) is a symmetric rational function such that f = g^2 + h^2 for some g,h in K(x,y,z), then g^2 and h^2 are symmetric. quasi ... 10 Aug 2010 18:02