4,380 reputation
11867
bio website
location
age
visits member for 2 years, 1 month
seen 34 mins ago

Apr
11
accepted Why $¬¬\bot \not\in PROP$?
Apr
7
accepted Where is this formula for generating pythagorean triples coming from?
Mar
24
accepted How can I simplify this boolean equation for the multiplexer a little further?
Mar
10
accepted Is there a name for this kind of function?
Mar
10
accepted How to obtain all the rational numbers without repetitions?
Mar
10
accepted Is it true that there is no algorithm to approximate the least upper bound?
Feb
9
accepted Why can't I obtain values of Sine/Cosine with $f(x)=\sqrt{1-x^2}?$
Jan
26
accepted What's the right moment to learn Set Theory?
Jan
26
accepted Is there a proof of the irrationality of $\sqrt{2}$ that involves modular arithmetic?
Jan
26
accepted Since the conception of Set Theory, was Russell's Set the only problematic set found?
Jan
26
accepted Misconceptions about Cantor's diagonal argument?
Jan
26
accepted What's the successor of $\emptyset$? Do we need to assume that $\emptyset \in \emptyset$ for the successor to exist?
Jan
26
accepted Doubts on the axiom of union?
Jan
24
accepted $(X \supset A)\wedge (X \supset B)|(Y\supset A) \wedge (Y \supset B)\to Y\supset X$|Prove that $X=A \cup B$.
Jan
4
accepted What's the name/purpose of this process, precisely?
Jan
4
accepted What's the proof that the sum and multiplication of natural numbers is a natural number?
Dec
20
accepted The Cauchy-Schwarz Master Class, Problem $1.2$
Nov
6
accepted When proving that there is not rational number $m/n$ equal to $\sqrt{2}$, why does $m$ and $n$ must be not both even?
Oct
31
accepted Barbeau's Polynomials, Exploration 2
Oct
28
accepted How to solve this class of problems?