Question

How to formally write this statement on the existence of the limits?

score 123 · Answer 1 · 2020-12-07 22:52:35

123

Views

How to formally write this statement on the existence of the limits?

Published on 07 Dec 2020 - 22:52

score 227 · Answer 2 · 2026-02-23 22:53:35

227

Views

Peano Arithmetic - Decidability

Published on 23 Feb 2026 - 22:53

score 151 · Answer 3 · 2026-03-25 01:38:02

151

Views

Is there a mathematical theory postulating something like the existence of the maximum (natural) number?

Published on 25 Mar 2026 - 1:38

score 658 · Answer 4 · 2020-12-29 17:55:08

658

Views

What is the point of disjoint union?

Published on 29 Dec 2020 - 17:55

score 157 · Answer 5 · 2026-03-25 01:35:35

157

Views

Is there a finitist semantics for transfinite mathematics?

Published on 25 Mar 2026 - 1:35

score 208 · Answer 6 · 2021-01-07 16:27:07

208

Views

Spivak's ambiguous popcorn function

Published on 07 Jan 2021 - 16:27

score 386 · Answer 7 · 2021-01-13 17:04:10

386

Views

Simple examples of undergraduate real analysis that cannot be written in the language of first-order logic

Published on 13 Jan 2021 - 17:04

score 64 · Answer 8 · 2026-03-30 10:41:05

64

Views

Is the length of a line a property of that line, or is it its own mathematical object?

Published on 30 Mar 2026 - 10:41

score 539 · Answer 9 · 2026-03-31 03:26:41

539

Views

the (seeming) loop caused by defining Natural numbers through inductive sets.

Published on 31 Mar 2026 - 3:26

score 223 · Answer 10 · 2021-01-28 16:55:08

223

Views

Interpreting ETCS in ZFC

Published on 28 Jan 2021 - 16:55

score 107 · Answer 11 · 2021-02-05 00:17:16

107

Views

How do you prove that $m\in\Bbb Z$ implies that $m^2$ is even with ZFC?

Published on 05 Feb 2021 - 0:17

score 51 · Answer 12 · 2021-02-08 18:01:50

51

Views

What significance is there if a theorem can be proved in the same system in more than one way?

Published on 08 Feb 2021 - 18:01

score 453 · Answer 13 · 2026-03-29 02:31:24

453

Views

Is there any way to avoid Gödel incompleteness theorem?

Published on 29 Mar 2026 - 2:31

score 71 · Answer 14 · 2026-03-30 12:16:08

71

Views

Examples of other thinkers supporting Lakatos' view of mathematics

Published on 30 Mar 2026 - 12:16

score 215 · Answer 15 · 2026-03-29 20:10:51

215

Views

What does Cohen independence theorem say?

Published on 29 Mar 2026 - 20:10

List Question

How to formally write this statement on the existence of the limits?

Peano Arithmetic - Decidability

Is there a mathematical theory postulating something like the existence of the maximum (natural) number?

What is the point of disjoint union?

Is there a finitist semantics for transfinite mathematics?

Spivak's ambiguous popcorn function

Simple examples of undergraduate real analysis that cannot be written in the language of first-order logic

Is the length of a line a property of that line, or is it its own mathematical object?

the (seeming) loop caused by defining Natural numbers through inductive sets.

Interpreting ETCS in ZFC

How do you prove that $m\in\Bbb Z$ implies that $m^2$ is even with ZFC?

What significance is there if a theorem can be proved in the same system in more than one way?

Is there any way to avoid Gödel incompleteness theorem?

Examples of other thinkers supporting Lakatos' view of mathematics

What does Cohen independence theorem say?

Trending Questions

Popular # Hahtags

Popular Questions