user avatar
user avatar
user avatar
user76284
  • Member for 7 years, 1 month
  • Last seen this week
30 votes

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

14 votes
Accepted

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

12 votes

Mathematics based only on real numbers

7 votes

Do mathematical objects disappear?

6 votes

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

6 votes

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

6 votes

Emergence of the discrete from the continuum

4 votes

Type Theory with no Base Types

4 votes

Provably undecidable number inequality?

4 votes

Is regularization of infinite sums by analytic continuation unique?

2 votes

weakening naive comprehension to avoid the paradoxes

2 votes

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

1 vote

Induction vs. Strong Induction

1 vote

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

1 vote

Can we meaningfully ascribe values to these divergent integrals?

0 votes

Looking for a complete exposition of the Burali-Forti paradox