network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year, 7 months |
| seen | Jan 29 at 20:00 | |
| stats | profile views | 19 |
|
Oct 2 |
comment |
Continuous function from $[0,1]$ to $[0,1]$ whose fibers are infinite It would be interesting to see how the plot of such a function would look like. |
|
Oct 2 |
awarded | Yearling |
|
Sep 29 |
comment |
Prove: If $\lim_{n\to\infty}a_n = L$ and $a_n > a$ for all $n$ then $L \geq a$ Suppose by contradiction that $L<a\leq L+\epsilon \ \forall \epsilon$... |
|
Sep 25 |
accepted | Equal scores in a round-robin tournament implies wins=losses? |
|
Sep 25 |
comment |
Equal scores in a round-robin tournament implies wins=losses? Nice solution! So is $n=8$ actually the minimum $n$ such that the statement is false? |
|
Sep 25 |
asked | Equal scores in a round-robin tournament implies wins=losses? |
|
Aug 26 |
accepted | Deciding whether $2^{\sqrt2}$ is irrational/transcendental |
|
Jul 22 |
awarded | Commentator |
|
Jul 22 |
comment |
Deciding whether $2^{\sqrt2}$ is irrational/transcendental @J.M.: As far as I understand it the Hilber's problem is to decide wheter it is trascendental, not to decide whether it is irrational. |
|
Jul 22 |
comment |
Deciding whether $2^{\sqrt2}$ is irrational/transcendental @Pink Elephants : Thanks, very interesting, but is there an easy way to prove irrationality without such a theorem? |
|
Jul 22 |
asked | Deciding whether $2^{\sqrt2}$ is irrational/transcendental |
|
May 3 |
awarded | Scholar |
|
May 3 |
comment |
Geometrical construction of the product on $\mathbb R$ Thak you, the notes are very nice. |
|
May 3 |
accepted | Geometrical construction of the product on $\mathbb R$ |
|
May 3 |
asked | Geometrical construction of the product on $\mathbb R$ |
|
Nov 23 |
revised |
Adequacy theorem for propositional calculus added 84 characters in body |
|
Nov 23 |
comment |
Adequacy theorem for propositional calculus I was also thinking about this: assume you could actually build up the complete consistent extensions in a constructive way, would it provide a general way to cosntruct a proof for a tautology? I guess it wouldn't. |
|
Nov 23 |
revised |
Adequacy theorem for propositional calculus deleted 2 characters in body |
|
Nov 23 |
comment |
Adequacy theorem for propositional calculus I was thinking about a tree with root $T_0$ and the $T_n$'s as nodes with branches when you can choose both $\phi_n$ and $\lnot \phi_n$, but now I realize you don't have to make any choice. |
|
Nov 22 |
comment |
Find x in $4^{\sin^2x}+4^{\cos^2x}=8$ You should ask yourself whether you could have $4^a+4^b=8$ with $a<1$ and $b<1$. |
