Skip to main content
Marco Disce's user avatar
Marco Disce's user avatar
Marco Disce's user avatar
Marco Disce
  • Member for 12 years, 7 months
  • Last seen this week
  • Rome, Italy
10 votes
2 answers
3k views

Gödel's ontological proof and "modal collapses"

7 votes
1 answer
5k views

Deciding whether $2^{\sqrt2}$ is irrational/transcendental [duplicate]

7 votes
2 answers
965 views

"Constrained" numerical solutions of ODEs with conservation laws?

6 votes
2 answers
92 views

A set of the plane recursively including "crosses"...

5 votes
2 answers
216 views

Most simple way to prove $2^n \geq A n^k$?

5 votes
4 answers
10k views

Can I approximate sine and cosine without derivatives?

4 votes
2 answers
324 views

Explicit example of countable transitive model of $\sf ZF$

3 votes
0 answers
73 views

How slowly can $f$ grow to have $\lim_{a\to +\infty}\frac{1}{a}\int_0^a \sin(f(x)+t)dx=0$?

3 votes
2 answers
87 views

When $\frac 1 n \sum^n_{k=1} a_k \to 0 \implies \sum \frac 1 k a_k<+\infty$

3 votes
1 answer
595 views

Nonlinear regular bijection from $\mathbb Q$ to itself

3 votes
3 answers
2k views

Adequacy theorem for propositional calculus

2 votes
1 answer
320 views

Waiting time for 2 events to be both happened (so far) in independent trials

2 votes
4 answers
80 views

Numerical property $P(n)$ such that $\forall n P(n)$ is false but a counterexample is difficult to find

2 votes
0 answers
1k views

Defining perpendicular lines in the 3D space

1 vote
1 answer
109 views

Locus of points $P$ on the plane such that $\overline{AP}=\lambda \cdot \overline{BP}$

1 vote
0 answers
443 views

Spherical triangles and congruence criteria

1 vote
2 answers
326 views

100 blue eyed islanders - how to prove the waiting time cannot be less than 100?

1 vote
2 answers
42 views

Simple existence proofs without bounds

1 vote
1 answer
2k views

Equal scores in a round-robin tournament implies wins=losses?

1 vote
0 answers
62 views

Solutions for $y'(x)=y(x+a)$? [duplicate]

1 vote
0 answers
80 views

Counting decompositions of an integer into a sum of k numbers

0 votes
1 answer
562 views

Geometrical construction of the product on $\mathbb R$ [duplicate]

0 votes
2 answers
112 views

Is Cohen's model of $\mathsf{ZF}+\neg \mathsf{AC}$ transitive?

0 votes
3 answers
77 views

Proving a second order special limit without derivatives