user avatar
user avatar
user avatar
Shinrin-Yoku
  • Member for 2 years, 2 months
  • Last seen this week
27 votes
3 answers
962 views

Can every continuous function be continuously ''transformed'' into a differentiable function?

8 votes
2 answers
225 views

Is this sequent calculus complete?

3 votes
1 answer
237 views

Is this Hilbert proof system complete?

3 votes
2 answers
194 views

Question regarding global minimum property of single variable functions

2 votes
3 answers
567 views

Can you justify interchange of limit and derivative/integral in this example?

2 votes
1 answer
567 views

Differentiability of compositions of non differentiable functions at a point.

2 votes
1 answer
158 views

Does a function which is oscillating have to have not-continuous derivative?

2 votes
8 answers
326 views

Why is this theorem about derivatives true? $\frac{dy}{dx}= \frac{1}{dx/dy}$

2 votes
1 answer
257 views

What is the intuition for why all of math can be developed using set theory?

1 vote
1 answer
105 views

If a wff is longer then the sum occurrences of atoms and connectives is bigger.

1 vote
1 answer
53 views

Rank of formulas if unique readability fails.

1 vote
0 answers
77 views

Translating independence to the meta-theory. [duplicate]

1 vote
1 answer
207 views

Dominated convergence for infinite product proof

1 vote
1 answer
213 views

Switching limit and infinite product

1 vote
1 answer
193 views

Is there a precise sense in which ZF is constructive

1 vote
2 answers
202 views

Are these two definitions of a line equivalent?

1 vote
2 answers
182 views

Are the solutions of $f(x+h)=f(x)f(h)$of the form $a^x$ even if we consider discontinuous functions

0 votes
2 answers
64 views

Question about the second derivative of functions at a local max/min

0 votes
1 answer
251 views

Natural deduction question

0 votes
1 answer
139 views

Question regarding proof of a limit which equals e ( the compound interest one).

0 votes
1 answer
125 views

Sum rule for infinite sums

0 votes
1 answer
264 views

Proving monotonicity of integral

0 votes
1 answer
127 views

Derivation of bounds of convergence of infinite tower

0 votes
1 answer
141 views

Are these proofs of two theorems regarding the Hilbert system correct?

-1 votes
1 answer
135 views

Is $\large \frac{\varphi}{\psi\to \varphi}$ a correct derivation using just $(\to I)$?

-1 votes
4 answers
254 views

Proving the existence of number such that $\lim_{h\to 0}(x^h-1)/h=1$