User user21820

26 votes

Accepted

Is V, the Universe of Sets, a fixed object?

answered Mar 1, 2018 at 10:06

22 votes

Accepted

What do we gain with higher order logics?

answered Jun 1, 2019 at 5:18

21 votes

Request for examples: verifying vs understanding proofs

answered Jun 10, 2020 at 14:38

18 votes

Cauchy reals and Dedekind reals satisfy "the same mathematical theorems"

answered Jul 16, 2019 at 14:09

17 votes

Every mathematician has only a few tricks

answered Jun 16, 2020 at 16:24

14 votes

Accepted

How strong is this set theory?

answered Mar 11, 2020 at 4:05

12 votes

Revisiting the unreasonable effectiveness of mathematics

answered Jun 10, 2021 at 14:15

12 votes

Unnecessary uses of the axiom of choice

answered Feb 18, 2022 at 15:29

10 votes

Taking a theorem as a definition and proving the original definition as a theorem

answered Sep 27, 2021 at 7:51

9 votes

Object of proven finiteness, yet with no algorithm discovered?

answered Jul 18 at 3:10

8 votes

No canonical isomorphism

answered Apr 24, 2021 at 17:54

7 votes

How to rewrite mathematics constructively?

answered Jan 23, 2021 at 3:39

6 votes

Tiling with similar tiles

answered Jul 19, 2020 at 15:07

5 votes

Why do we need random variables?

answered Sep 24, 2016 at 17:21

5 votes

Virus community spread mathematical modeling

answered Mar 15, 2020 at 17:11

4 votes

Are there proofs of Rice Theorem without using the undecidability of some problem?

answered Apr 27, 2014 at 12:46

4 votes

Can you do math without knowing how to count?

answered Apr 18, 2021 at 8:09

3 votes

Replacement axiom and the von Neumann hierarchy

answered Jan 6, 2023 at 16:01

3 votes

Book recommendation introduction to model theory

answered Jun 10 at 3:34

2 votes

When is it okay to intersect infinite families of proper classes?

answered Jan 31, 2019 at 19:38

2 votes

Is there a three valued logic whose game semantics corresponds to potentially infinite games?

answered May 1, 2019 at 9:43

1 vote

Proving decidability of formula without deciding it

answered Nov 23, 2020 at 12:25

1 vote

A translation of the Cantor set contained in the irrationals

answered Oct 17, 2017 at 14:49

1 vote

Three squares in a rectangle

answered Jul 4, 2021 at 21:42

0 votes

Math talk for all ages

answered Nov 4, 2020 at 9:24

-1 votes

Defining the standard model of PA so that a space alien could understand

answered May 26, 2019 at 10:50

Stack Exchange Network

26 Answers

Is V, the Universe of Sets, a fixed object?

What do we gain with higher order logics?

Request for examples: verifying vs understanding proofs

Cauchy reals and Dedekind reals satisfy "the same mathematical theorems"

Every mathematician has only a few tricks

How strong is this set theory?

Revisiting the unreasonable effectiveness of mathematics

Unnecessary uses of the axiom of choice

Taking a theorem as a definition and proving the original definition as a theorem

Object of proven finiteness, yet with no algorithm discovered?

No canonical isomorphism

How to rewrite mathematics constructively?

Tiling with similar tiles

Why do we need random variables?

Virus community spread mathematical modeling

Are there proofs of Rice Theorem without using the undecidability of some problem?

Can you do math without knowing how to count?

Replacement axiom and the von Neumann hierarchy

Book recommendation introduction to model theory

When is it okay to intersect infinite families of proper classes?

Is there a three valued logic whose game semantics corresponds to potentially infinite games?

Proving decidability of formula without deciding it

A translation of the Cantor set contained in the irrationals

Three squares in a rectangle

Math talk for all ages

Defining the standard model of PA so that a space alien could understand