Reputation
45,138
Next tag badge:
373/400 score
110/80 answers
Badges
4 59 130
Newest
 terminology
Impact
~572k people reached

1d
comment Need help with proof of existence of $\sqrt{2}$
if $q\ge 2$, then $qq\ge 2q\ge 2\cdot 2=4>2$.
1d
comment Need help with proof of existence of $\sqrt{2}$
and what precisely $f(x)=\sqrt x$ is then? You are trying to argue $\sqrt 2$ exists by arguing that $\sqrt x$ exists for which $x$ exactly?
1d
comment Need help with proof of existence of $\sqrt{2}$
You seem to already assume quit a lot about $\sqrt 2$....
1d
answered Need help with proof of existence of $\sqrt{2}$
1d
comment What are some illustrative examples that demonstrate how $\succ$ can differ in behavior from $>$ and/or $\geq$?
note that in the reference the well-below relation is the classical one from domain theory, i.e., it talks about directed sets. Flagg's notion is slightly more general.
2d
answered What are some illustrative examples that demonstrate how $\succ$ can differ in behavior from $>$ and/or $\geq$?
Apr
15
comment Looking for info on power set functor
and I suggest again: you may be interested in topos theory.
Apr
15
answered Consider the following expression about natural number: $\forall n\exists m: m^{2}=n$
Apr
15
answered Does set theory help understand machine learning or make new machine learning algorithms?
Apr
15
answered Why/How are there infinite points in a line segment?
Apr
14
comment Are clopen sets Borel?
you state yourself that open sets are Borel. So certainly clopen sets are Borel.
Apr
12
answered if there is an injection between $A$ and $B$, does there exists an injection between $P(A) $ and $P(B)$?
Apr
12
comment Proving the set identity $(X \cup Y) = X + Y - (X \cap Y)$
You need to be precise about how you model sets with repetition, and then how you define the set operations, and the meaning of equality. Before you do that, the question is too vague (though certainly there is a grain of truth to it).
Apr
12
answered Can a non-constant analytic function have infinitely many zeros on a closed disk?
Apr
12
comment if f:[0,1]$\to$ $\Bbb R$ is continuous and has only rational [respectively, irrational] values, must f be constant? Prove your assertion.
hint: intermediate value theorem + density = qed.
Apr
11
answered Every nonprincipal ultrafilter on $\omega$ is uncountable.
Apr
11
comment ISO information on powerset functor
You may be interested in topos theory. But your question is so vague it's hard to answer.
Apr
11
comment Deriving the value of $\pi$ from a dart board
You can run a one-line R code that will simulate this approach. You'll find that you need about 100,000 darts to get $\pi$ correct to about 2 decimal places. This method is quite inefficient, though cool.
Apr
10
comment Banach Contraction Principle help
have you any thoughts on the matter?
Apr
10
comment Can we get categories like $\mathbf{TopGrp}$ as some kind of a pullback?
sorry, I was on auto-pilot. For abelian groups this works because finite products agree with finite coproducts, but now change from abelian groups to groups and it stops working since the coproduct is much larger than the product.