Question

Is applied statistical mathematics also can be explained by the zfc set theory?

score 65 · Answer 1 · 2018-09-27 08:33:17

65

Views

Is applied statistical mathematics also can be explained by the zfc set theory?

Published on 27 Sep 2018 - 8:33

score 110 · Answer 2 · 2018-10-08 15:18:31

110

Views

Using this definition of ordinals, do I need foundation?

Published on 08 Oct 2018 - 15:18

score 151 · Answer 3 · 2018-10-08 18:17:03

151

Views

Uniqueness of the empty set

Published on 08 Oct 2018 - 18:17

score 126 · Answer 4 · 2026-03-24 23:55:08

126

Views

What part of arithmetic can be founded on recursive functions and without unbounded quantification?

Published on 24 Mar 2026 - 23:55

score 4.2k · Answer 5 · 2018-10-15 22:42:39

4.2k

Views

Translate the following English sentences into symbolic sentences with quantifiers.

Published on 15 Oct 2018 - 22:42

score 241 · Answer 6 · 2018-10-18 06:42:02

241

Views

Are there number systems that fix divide-by-zero?

Published on 18 Oct 2018 - 6:42

score 895 · Answer 7 · 2018-10-19 19:36:11

895

Views

How do we know our definitions don't lead to contradictions

Published on 19 Oct 2018 - 19:36

score 82 · Answer 8 · 2026-03-25 04:37:59

82

Views

Why we can safely treat objects like mathematical entities?

Published on 25 Mar 2026 - 4:37

score 193 · Answer 9 · 2018-10-24 18:51:56

193

Views

Category of functors $[C,D]$ and Grothendieck universes

Published on 24 Oct 2018 - 18:51

score 187 · Answer 10 · 2018-10-24 19:21:18

187

Views

Formal definition of a functor in $\mathsf{ZFC}$

Published on 24 Oct 2018 - 19:21

score 128 · Answer 11 · 2026-03-17 20:36:07

128

Views

Is it possible to prove Regularity with Transfinite Induction only?

Published on 17 Mar 2026 - 20:36

score 223 · Answer 12 · 2026-03-25 10:56:54

223

Views

Model for the type-theoretic axiom of choice in Coq.

Published on 25 Mar 2026 - 10:56

score 105 · Answer 13 · 2026-03-25 06:24:57

105

Views

Definition of < in Construction of Reals

Published on 25 Mar 2026 - 6:24

score 368 · Answer 14 · 2026-03-17 20:55:59

368

Views

Proving Equivalence Relations, Constructing and Defining Operations on Equivalence Classes

Published on 17 Mar 2026 - 20:55

score 75 · Answer 15 · 2018-11-14 21:07:51

75

Views

Category theory using 2-sorted logic

Published on 14 Nov 2018 - 21:07

List Question

Is applied statistical mathematics also can be explained by the zfc set theory?

Using this definition of ordinals, do I need foundation?

Uniqueness of the empty set

What part of arithmetic can be founded on recursive functions and without unbounded quantification?

Translate the following English sentences into symbolic sentences with quantifiers.

Are there number systems that fix divide-by-zero?

How do we know our definitions don't lead to contradictions

Why we can safely treat objects like mathematical entities?

Category of functors $[C,D]$ and Grothendieck universes

Formal definition of a functor in $\mathsf{ZFC}$

Is it possible to prove Regularity with Transfinite Induction only?

Model for the type-theoretic axiom of choice in Coq.

Definition of < in Construction of Reals

Proving Equivalence Relations, Constructing and Defining Operations on Equivalence Classes

Category theory using 2-sorted logic

Trending Questions

Popular # Hahtags

Popular Questions