365 reputation
312
bio website
location
age
visits member for 2 years, 8 months
seen yesterday

Aug
6
answered Proper Set Theory Transformation
Aug
6
answered Set Theory Laws
Jul
30
answered Types versus kinds and sorts
Jul
28
answered Question about proving that a finite intersection of big unions is a big union of finite intersections
Jul
27
answered How do I write a rigorous proof of the following problem: $(A \triangle B) \cup C \neq (A \cup C) \triangle (B \cup C)$
Jul
26
answered Proving the properties of big union of unions for indexed sets
Jul
26
answered If the same message is sent to Alice and Bob who are using different public keys, how can somoene following the channel find $m$
Jul
26
answered Need help with checking my proof related to equivalence mod n.
Sep
1
asked Prove that $D_r \circ D_s = \{ (x,y) \in \mathbb{R}^2 \ | \ |x-y|<r+s \}$, where $D_a = \{ (x,y) \in \mathbb{R}^2\ | \ |x-y| < a \}$
Aug
24
asked Is it true that $\forall b \forall c \forall x ((x^2 + bx + c \neq 0) \rightarrow b^2 - 4c < 0)$?
Aug
21
asked Indicating when $|x + y + z| = |x| + |y| + |z|$ holds
Aug
20
asked Prove that if $x^n = y^n$ and $n$ is even, then $x = y$ or $x = -y$
Aug
5
asked If $\forall \mathcal F(\bigcup \mathcal F = A \Rightarrow A \in \mathcal F)$ then A has exactly one element
Aug
1
answered Some questions about the Jech's book (Generalized De Morgan's law and distributive law )
Jul
31
answered Proof for the symmetric difference?
Jul
31
asked An incorrect proof by exhaustion
Jul
24
asked A proof by contradiction
May
22
asked If $x^2\equiv 1 \pmod{n}$ and $x \not\equiv \pm 1 \pmod{n}$, then either $\gcd(x-1,n)$ or $\gcd(x+1,n)$ is a nontrivial factor of n
May
21
asked RSA cryptosystem: If $k$ is a multiple of $\phi(N)$, then $k=2^t r$ with $r$ odd and $t\geq1$
Jun
30
asked Is $3^n - 2^n$ composite for all integers $n \geq 6$?