Register to Post Thread

Set Theory, Logic, Probability, Statistics

- Fundamentals: Set theory, logic and proofs. Probability and statistics
RSS Feed Icon
Meta Thread / Thread Starter Last Post Replies Views
Jan16-12 Greg Bernhardt
Please post any and all homework or other textbook-style problems in one of the Homework & Coursework Questions...
Feb23-13 09:25 AM
1 31,962
I am currently trying to prove the following: An equation in X with righthand member \oslash can be reduced to one...
Jun7-10 04:25 AM
3 3,074
I want to learn how to prove the Zorn's lemma. Can anyone here help me?
Aug13-12 03:27 AM
8 3,675 i wonder if anyone could explain the proof for theorem 4.3 i have understood...
Feb24-12 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...
Sep8-10 10:32 AM
1 1,052
Could someone point me to a book that has a proof of the above statement? Thanks in advance!
Apr4-10 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...
Jul4-11 07:40 PM
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...
May25-13 12:59 PM
13 1,132
Let \varphi and \psi both be formulae, and let \Gamma be a set of formulae. If \Gamma \cup \{\varphi\} \models...
Aug1-06 06:54 AM
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...
Jul13-12 04:19 AM
1 910
Hi all. I need to prove or disprove if process Y_n=1/2*X_n+1/4*X_{n-1}+1/8*X_{n-2} are stricly stationary. X_n,n\in R...
Apr7-14 04:14 PM
1 242
How do we prove in propositional calculus : ......p^(qvr) <===> (p^q)v(p^r) semantically and syntactically
Sep20-08 03:45 AM
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...
Jan26-09 11:24 AM
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...
Nov26-10 05:55 PM
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?
Oct3-04 03:34 AM
0 6,488
Hey guys, long time lurker, first time poster! Just having some trouble with something..Im probably just looking at...
May24-09 11:00 PM
4 9,742
Proof of Ira Gessel's Lattice Path Conjecture
Jun26-08 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...
Oct31-12 07:17 AM
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...
May6-14 08:57 PM
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...
Sep29-11 09:08 AM
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....
Oct27-12 01:01 AM
2 799
The proof that poisson process has exponential interarrival time is common place. The proof which i am trying to do is...
Mar2-08 07:49 PM
2 9,715
How would one show a morphism is an epimorphism iff it is surjective (ONTO)?
Nov17-13 10:16 AM
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...
Oct30-12 07:50 PM
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. ...
Sep22-08 10:53 PM
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...
Apr8-05 01:25 PM
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...
Mar9-07 12:27 PM
5 10,306
Hi I want to prove this using momentgenerating functions. I would like to do this without going in to the standard...
Dec4-11 10:57 AM
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...
Dec1-09 06:51 PM
2 1,884
A-(B\bigcapC)=(A-B)\bigcup(A-C) If A-B={xlx\inA and x\notinB} A-C={xlx\inA and x\notinC} then...
Jun19-13 04:04 PM
4 1,129
Hi there. I want to show that this is a variance matrix: I think I can do this by...
Mar5-12 07:06 PM
0 1,023
Hey all, Can anyone prove this theorem? Let N (natural numbers) ---> X be an onto function. Then X is...
Nov28-07 12:38 PM
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...
Feb2-12 10:12 PM
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...
Nov10-12 09:46 AM
2 688
Please take a look at this proof: The thing I do not get is how they...
Jul10-13 02:43 PM
5 759
I recall reading somewhere that the mean value of a continuous variable is situated at a point that acts as a fulcrum...
Apr26-12 11:08 PM
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...
Oct27-07 04:35 PM
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...
Nov2-11 10:53 AM
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 ...
Dec16-08 11:21 PM
9 1,678
Let: 1)P be one place operation 2)K be one place operation 3) c be a constant let :
Oct31-11 12:04 PM
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...
Jul19-12 07:34 PM
7 1,473

Register to Post Thread
Bookmark and Share

Display Options for Set Theory, Logic, Probability, Statistics Mentors
Showing threads 2001 to 2040 of 6801 Mentors : 2
Forum Tools Search this Forum
Search this Forum :
Advanced Search