User Daniels Krimans

14 votes

6 answers

3k views

Set theoretic concepts in first order logic

asked Apr 4, 2018 at 6:33

8 votes

1 answer

987 views

Change of domain of a function to change variable in the limit

asked Feb 18, 2017 at 11:47

8 votes

1 answer

820 views

Choosing formal system for mathematics

asked Nov 26, 2018 at 3:44

7 votes

1 answer

3k views

Book request for first order logic

asked Mar 20, 2018 at 16:57

7 votes

2 answers

474 views

If there is a linear function $g$ which is at least as good of an approximation as any other linear $h$, then $f$ is differentiable at $x_0$.

asked Jul 29, 2020 at 1:54

6 votes

2 answers

881 views

Convincing yourself about choice of axioms for predicate calculus

asked Feb 22, 2019 at 2:02

5 votes

2 answers

3k views

Showing propositional logic is consistent

asked Mar 14, 2018 at 13:32

5 votes

2 answers

1k views

Finite axiomatization of first order logic theories

asked Aug 30, 2018 at 18:19

5 votes

1 answer

138 views

Necessity of universal quantifier in predicate calculus

asked Oct 2, 2018 at 20:18

4 votes

1 answer

1k views

Why do we need/use proof theory?

asked Nov 29, 2018 at 3:31

4 votes

2 answers

511 views

What does it mean for metatheory to be some formal system

asked Oct 30, 2018 at 4:58

4 votes

1 answer

148 views

Why is residues modulo 2 a model for natural numbers

asked Jul 19, 2018 at 9:04

4 votes

3 answers

439 views

Worrying about logic and foundations too much [closed]

asked Mar 4, 2018 at 16:55

4 votes

2 answers

251 views

First papers of famous mathematicians

asked Mar 26, 2019 at 5:40

4 votes

1 answer

361 views

Understanding importance of Godel's incompleteness theorem

asked Oct 13, 2018 at 23:28

4 votes

1 answer

106 views

Algorithm to solve $p(x)f''(x) + q(x)f(x) = 0$ where $p(x), q(x)$ are polynomials

asked Nov 9, 2020 at 20:22

4 votes

1 answer

292 views

On computing $\nabla^2 (1/4 \pi |x|)$ in three dimensions using mollifiers.

asked Aug 13, 2021 at 19:34

4 votes

1 answer

381 views

Computing Fourier transform of $|x|^{-\alpha}$ in $\mathbb{R}^n$ by approximating it with Schwartz functions

asked Mar 7, 2022 at 19:07

4 votes

1 answer

255 views

Chain rule and generalized composition of multilinear maps

asked Apr 17, 2022 at 20:46

3 votes

1 answer

239 views

Olver "Application of Lie Groups to Differential equations" Proposition 2.18.

asked Mar 5, 2021 at 7:16

3 votes

1 answer

101 views

Ternary function in axiomatization of category theory

asked Jan 10, 2019 at 6:05

3 votes

1 answer

2k views

Proving sum of integrals is integral of sums.

asked Apr 9, 2020 at 19:49

3 votes

0 answers

127 views

Solving ODE knowing general solution of a linear ODE.

asked Oct 27, 2020 at 3:57

3 votes

0 answers

118 views

Solving third order linear ODE using symmetric square basis

asked Oct 28, 2020 at 18:11

3 votes

1 answer

189 views

Kleene "Introduction to Metamathematics" problem on parentheses

asked Jul 10, 2018 at 20:14

3 votes

1 answer

140 views

Number theoretical assumptions in metamathematics and axiomatization of PA

asked Oct 18, 2018 at 2:05

2 votes

0 answers

222 views

Proving fundamental theorem of arithmetic using primitive recursive functions

asked Oct 22, 2018 at 21:54

2 votes

1 answer

264 views

Why Godel's theorem influences Hilbert's programme?

asked Oct 29, 2018 at 21:23

2 votes

2 answers

274 views

Can truth in first order theories be defined without set theory?

asked Dec 2, 2018 at 20:51

2 votes

0 answers

301 views

Books on logic and ZFC set theory for physicist

asked Mar 15, 2018 at 0:48

Stack Exchange Network

91 Questions

Set theoretic concepts in first order logic

Change of domain of a function to change variable in the limit

Choosing formal system for mathematics

Book request for first order logic

If there is a linear function $g$ which is at least as good of an approximation as any other linear $h$, then $f$ is differentiable at $x_0$.

Convincing yourself about choice of axioms for predicate calculus

Showing propositional logic is consistent

Finite axiomatization of first order logic theories

Necessity of universal quantifier in predicate calculus

Why do we need/use proof theory?

What does it mean for metatheory to be some formal system

Why is residues modulo 2 a model for natural numbers

Worrying about logic and foundations too much [closed]

First papers of famous mathematicians

Understanding importance of Godel's incompleteness theorem

Algorithm to solve $p(x)f''(x) + q(x)f(x) = 0$ where $p(x), q(x)$ are polynomials

On computing $\nabla^2 (1/4 \pi |x|)$ in three dimensions using mollifiers.

Computing Fourier transform of $|x|^{-\alpha}$ in $\mathbb{R}^n$ by approximating it with Schwartz functions

Chain rule and generalized composition of multilinear maps

Olver "Application of Lie Groups to Differential equations" Proposition 2.18.

Ternary function in axiomatization of category theory

Proving sum of integrals is integral of sums.

Solving ODE knowing general solution of a linear ODE.

Solving third order linear ODE using symmetric square basis

Kleene "Introduction to Metamathematics" problem on parentheses

Number theoretical assumptions in metamathematics and axiomatization of PA

Proving fundamental theorem of arithmetic using primitive recursive functions

Why Godel's theorem influences Hilbert's programme?

Can truth in first order theories be defined without set theory?

Books on logic and ZFC set theory for physicist