Question

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

score 68 · Answer 1 · 2026-04-11 12:50:12

68

Views

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

Published on 11 Apr 2026 - 12:50

score 113 · Answer 2 · 2026-04-14 14:43:13

113

Views

Using this definition of ordinals, do I need foundation?

Published on 14 Apr 2026 - 14:43

score 155 · Answer 3 · 2026-04-16 08:40:49

155

Views

Uniqueness of the empty set

Published on 16 Apr 2026 - 8:40

score 127 · Answer 4 · 2026-05-10 16:11:57

127

Views

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

Published on 10 May 2026 - 16:11

score 4.2k · Answer 5 · 2026-04-12 21:16:58

4.2k

Views

Translate the following English sentences into symbolic sentences with quantifiers.

Published on 12 Apr 2026 - 21:16

score 244 · Answer 6 · 2026-04-10 22:59:38

244

Views

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

Published on 10 Apr 2026 - 22:59

score 898 · Answer 7 · 2026-04-09 07:17:14

898

Views

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

Published on 09 Apr 2026 - 7:17

score 84 · Answer 8 · 2026-04-14 18:48:58

84

Views

Why we can safely treat objects like mathematical entities?

Published on 14 Apr 2026 - 18:48

score 196 · Answer 9 · 2026-04-17 02:35:44

196

Views

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

Published on 17 Apr 2026 - 2:35

score 190 · Answer 10 · 2026-04-13 18:30:07

190

Views

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

Published on 13 Apr 2026 - 18:30

score 134 · Answer 11 · 2026-05-02 18:29:59

134

Views

Is it possible to prove Regularity with Transfinite Induction only?

Published on 02 May 2026 - 18:29

score 225 · Answer 12 · 2026-04-15 18:33:14

225

Views

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

Published on 15 Apr 2026 - 18:33

score 111 · Answer 13 · 2026-05-10 13:50:15

111

Views

Definition of < in Construction of Reals

Published on 10 May 2026 - 13:50

score 369 · Answer 14 · 2026-03-25 16:45:25

369

Views

Proving Equivalence Relations, Constructing and Defining Operations on Equivalence Classes

Published on 25 Mar 2026 - 16:45

score 77 · Answer 15 · 2026-04-15 10:07:35

77

Views

Category theory using 2-sorted logic

Published on 15 Apr 2026 - 10: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