
Please post any and all homework or other textbookstyle problems in one of the Homework & Coursework Questions...

Feb2313 09:25 AM
micromass

1 
31,962 
I am currently trying to prove the following:
An equation in X with righthand member \oslash can be reduced to one...

Jun710 04:25 AM
CompuChip

3 
3,074 
I want to learn how to prove the Zorn's lemma.
Can anyone here help me?

Aug1312 03:27 AM
quantum123

8 
3,675 
http://bildr.no/view/1115383
i wonder if anyone could explain the proof for theorem 4.3 i have understood...

Feb2412 02:34 PM
georg gill

2 
915 
Hi guys,
My question is to prove that the set of algebraic numbers is countable, then also prove that the set of...

Sep810 10:32 AM
CompuChip

1 
1,052 
Could someone point me to a book that has a proof of the above statement?
Thanks in advance!

Apr410 02:10 AM
Jon Richfield

8 
6,978 
I'd like to know how to prove (or show that it is reasonable) that the probability that a random vector (X, Y) assumes...

Jul411 07:40 PM
ndrue

12 
1,844 
P(x) = "x is Provable"
axiom 1 : P(x)→x "Statement x can be proven true."
1. (x∧¬x) consider a contradiction
2. x...

May2513 12:59 PM
lugita15

13 
1,132 
Let \varphi and \psi both be formulae, and let \Gamma be a set of formulae.
If \Gamma \cup \{\varphi\} \models...

Aug106 06:54 AM
honestrosewater

8 
2,416 
Hi, i had recently come across the proof of the strong law of large number.
Inside the proof , it assumed the random...

Jul1312 04:19 AM
chiro

1 
910 
Hi all. I need to prove or disprove if process Y_n=1/2*X_n+1/4*X_{n1}+1/8*X_{n2} are stricly stationary. X_n,n\in R...

Apr714 04:14 PM
mathman

1 
242 
How do we prove in propositional calculus :
......p^(qvr) <===> (p^q)v(p^r) semantically and syntactically

Sep2008 03:45 AM
CompuChip

5 
4,644 
If we have a pythagorean triple a^2 + b^2 = c^2 and we need to show that a and b both cannot be odd. I found a proof...

Jan2609 11:24 AM
Focus

1 
1,159 
How can I prove that
P( there exist a t>0 : the changeP_t is not in {0,1} ) = 0
where (P_t)_t>0 is a piosson Proces...

Nov2610 05:55 PM
mathman

1 
798 
I can't seem to find proofs of formulas used in this area of maths. Does anyone know any place to find them?

Oct304 03:34 AM
Ethereal

0 
6,488 
Hey guys, long time lurker, first time poster!
Just having some trouble with something..Im probably just looking at...

May2409 11:00 PM
mrwicky

4 
9,742 
Proof of Ira Gessel's Lattice Path Conjecture

Jun2608 05:08 PM
Count Iblis

0 
1,237 
Hello all,
I'm practicing proofs and I'm stuck. Here it is:
Prove that there are infinitely many solutions in...

Oct3112 07:17 AM
Klungo

30 
1,916 
So I thought up a "proof" for infinite primes. I'm assuming I did something wrong, but I don't know what, it would be...

May614 08:57 PM
m84uily

10 
474 
I'm trying to read this proof, and I'm stuck on the inequality on page 27 following the statement "It follows that...

Sep2911 09:08 AM
Fredrik

2 
2,118 
Below is a proof of one of the key steps in Godel's first incompleteness theorem. It appears to prove the theorem....

Oct2712 01:01 AM
andrewkirk

2 
799 
The proof that poisson process has exponential interarrival time is common place. The proof which i am trying to do is...

Mar208 07:49 PM
mmehdi

2 
9,715 
How would one show a morphism is an epimorphism iff it is surjective (ONTO)?

Nov1713 10:16 AM
PSarkar

3 
944 
Hello all I've been practicing proofs and would like to know if I'm on the right track. Here it is:
If the sum of...

Oct3012 07:50 PM
nicnicman

6 
662 
Hi ,my lecturer ask me to prove ~(p^q) = ~pv~q i.e ~(p^q) is equivalent to ~pv~q,without using the true tables.
...

Sep2208 10:53 PM
poutsos.A

4 
10,704 
hi there
i just need a hint for this question please :
By giving a suitable map to or from N (thats a natural...

Apr805 01:25 PM
gravenewworld

7 
7,516 
I have been reading some books about the proof of the Central Limit Theorem, all of them use the uniqueness of moment...

Mar907 12:27 PM
ljxaa

5 
10,306 
Hi I want to prove this using momentgenerating functions. I would like to do this without going in to the standard...

Dec411 10:57 AM
skwey

1 
1,050 
I'm trying to prove that the axiom of choice is equivalent to the following statement:
For any set X and any...

Dec109 06:51 PM
leetaxx0r

2 
1,884 
A(B\bigcapC)=(AB)\bigcup(AC)
If AB={xlx\inA and x\notinB}
AC={xlx\inA and x\notinC}
then...

Jun1913 04:04 PM
mathman

4 
1,129 
Hi there. I want to show that this is a variance matrix:
http://i.imgur.com/kQuTL.png
I think I can do this by...

Mar512 07:06 PM
Kuma

0 
1,023 
Hey all,
Can anyone prove this theorem?
Let N (natural numbers) > X be an onto function. Then X is...

Nov2807 12:38 PM
Coin

8 
2,194 
Hey there. I'm asked to prove:
If X1,...Xn are random variables defined on a set Ω and B1,...,Bn C R1 then prove...

Feb212 10:12 PM
Kuma

0 
1,231 
Hello all. I have a question regarding the statement
If S(m)=S(n), then m=n, where S(m)=m\cup{m}, the successor of...

Nov1012 09:46 AM
StatOnTheSide

2 
688 
Please take a look at this proof:
http://s12.postimg.org/qa24fgbq5/proof.jpg
The thing I do not get is how they...

Jul1013 02:43 PM
verty

5 
759 
I recall reading somewhere that the mean value of a continuous variable is situated at a point that acts as a fulcrum...

Apr2612 11:08 PM
chiro

10 
1,671 
Prove the following:
If f : A \rightarrow B and g : C \rightarrow D , then f \cap g : A \cap C \rightarrow B...

Oct2707 04:35 PM
Jacobpm64

7 
3,393 
Let:
1) P be one place operation
2) H be two place operation
3) G be two place predicate
4) k, m be two...

Nov211 10:53 AM
solakis

2 
947 
\forall a\forall b\leq b <>a^{2}\leq b^{2})].
or in words: for all a and for all b , if a>0 and b>0 then ...

Dec1608 11:21 PM
MathematicalPhysicist

9 
1,678 
Let:
1)P be one place operation
2)K be one place operation
3) c be a constant
let :

Oct3111 12:04 PM
CompuChip

2 
1,293 
Given :
a)
1) c is a constant
2) P and K are one place operation symbols
3) G and H are a two place...

Jul1912 07:34 PM
xxxx0xxxx

7 
1,473 