User Shinrin-Yoku

27 votes

3 answers

962 views

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

real-analysis examples-counterexamples

asked May 31, 2021 at 5:47

8 votes

2 answers

225 views

Is this sequent calculus complete?

logic propositional-calculus

asked Mar 25 at 15:58

3 votes

1 answer

237 views

Is this Hilbert proof system complete?

logic propositional-calculus hilbert-calculus

asked Mar 31 at 11:14

3 votes

2 answers

194 views

Question regarding global minimum property of single variable functions

real-analysis calculus optimization

asked Jun 22, 2020 at 18:13

2 votes

3 answers

567 views

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

real-analysis calculus sequences-and-series limits

asked Jun 26, 2020 at 9:47

2 votes

1 answer

567 views

Differentiability of compositions of non differentiable functions at a point.

real-analysis calculus derivatives

asked Jul 3, 2020 at 7:29

2 votes

1 answer

158 views

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

real-analysis calculus derivatives examples-counterexamples

asked Jul 19, 2020 at 13:43

2 votes

8 answers

326 views

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

real-analysis calculus derivatives

asked Jun 19, 2020 at 16:08

2 votes

1 answer

257 views

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

logic soft-question set-theory

asked Oct 15, 2021 at 13:38

1 vote

1 answer

105 views

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

logic induction propositional-calculus

asked Jan 20 at 11:24

1 vote

1 answer

53 views

Rank of formulas if unique readability fails.

logic propositional-calculus

asked Jan 23 at 17:09

1 vote

0 answers

77 views

Translating independence to the meta-theory. [duplicate]

logic set-theory

asked Jun 24 at 14:56

1 vote

1 answer

207 views

Dominated convergence for infinite product proof

real-analysis sequences-and-series limits convergence-divergence

asked Jun 7, 2020 at 15:47

1 vote

1 answer

213 views

Switching limit and infinite product

real-analysis sequences-and-series limits

asked Jun 10, 2020 at 6:25

1 vote

1 answer

193 views

Is there a precise sense in which ZF is constructive

set-theory axiom-of-choice constructive-mathematics

asked Oct 11, 2021 at 7:42

1 vote

2 answers

202 views

Are these two definitions of a line equivalent?

geometry metric-spaces euclidean-geometry

asked Sep 18, 2021 at 14:55

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

real-analysis calculus functions examples-counterexamples

asked Jul 8, 2020 at 9:14

0 votes

2 answers

64 views

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

real-analysis calculus derivatives

asked Jun 27, 2020 at 18:18

0 votes

1 answer

251 views

Natural deduction question

solution-verification natural-deduction

asked Sep 28, 2021 at 9:30

0 votes

1 answer

139 views

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

real-analysis calculus limits logarithms exponential-function

asked Jun 14, 2020 at 15:46

0 votes

1 answer

125 views

Sum rule for infinite sums

real-analysis calculus derivatives

asked Jun 1, 2020 at 11:14

0 votes

1 answer

264 views

Proving monotonicity of integral

real-analysis calculus integration

asked Jun 15, 2020 at 14:07

0 votes

1 answer

127 views

Derivation of bounds of convergence of infinite tower

real-analysis sequences-and-series infinity

asked Jun 17, 2020 at 18:20

0 votes

1 answer

141 views

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

logic solution-verification propositional-calculus

asked Apr 3 at 16:25

-1 votes

1 answer

135 views

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

logic

asked Oct 26, 2021 at 13:14

-1 votes

4 answers

254 views

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

real-analysis calculus limits proof-writing exponential-function

asked Jun 15, 2020 at 8:03

Stack Exchange Network

current community

your communities

more stack exchange communities

26 Questions

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

Is this sequent calculus complete?

Is this Hilbert proof system complete?

Question regarding global minimum property of single variable functions

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

Differentiability of compositions of non differentiable functions at a point.

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

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

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

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

Rank of formulas if unique readability fails.

Translating independence to the meta-theory. [duplicate]

Dominated convergence for infinite product proof

Switching limit and infinite product

Is there a precise sense in which ZF is constructive

Are these two definitions of a line equivalent?

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

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

Natural deduction question

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

Sum rule for infinite sums

Proving monotonicity of integral

Derivation of bounds of convergence of infinite tower

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

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

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