User user76284 - MathOverflow

user76284

Member for 8 years, 6 months
Last seen this week

Meta user

16 Answers

Score Activity Newest

31 votes

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

answered Sep 27, 2021 at 5:38

14 votes

Accepted

Notation for the set of all injections from $A$ into $B$

answered Oct 25, 2019 at 16:43

12 votes

Mathematics based only on real numbers

answered May 22, 2020 at 22:06

7 votes

Do mathematical objects disappear?

answered Aug 8, 2017 at 22:27

6 votes

Does any method of summing divergent series work on the harmonic series?

answered Jun 29, 2019 at 3:11

6 votes

Does any method of summing divergent series work on the harmonic series?

answered Dec 2, 2019 at 3:15

6 votes

Emergence of the discrete from the continuum

answered Aug 27, 2020 at 1:55

5 votes

Is regularization of infinite sums by analytic continuation unique?

answered May 13, 2020 at 3:12

4 votes

Provably undecidable number inequality?

answered Apr 12, 2020 at 0:38

4 votes

Type Theory with no Base Types

answered Aug 12, 2020 at 20:33

2 votes

weakening naive comprehension to avoid the paradoxes

answered May 11, 2020 at 6:01

2 votes

Induction vs. Strong Induction

answered Mar 22, 2020 at 23:05

2 votes

Does any method of summing divergent series work on the harmonic series?

answered Jul 1, 2019 at 5:59

1 vote

A set of divergent integrals that I think, equal to $-\gamma$

answered Mar 28, 2021 at 20:42

1 vote

Can we meaningfully ascribe values to these divergent integrals?

answered Apr 8, 2021 at 5:40

0 votes

Looking for a complete exposition of the Burali-Forti paradox

answered Apr 15, 2020 at 23:21