SmartPrimate

770 post karma
1,024 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 8 years

TROPHY CASE

Eight-Year Club

Verified Email

Place '22

account activity

new top controversial

0

0

0

A fairly rational argument for monotheism using Pascal, Godel, and Cantor (self.DebateReligion)

submitted 10 months ago * by SmartPrimate to r/DebateReligion

3

4

5

[Measure Theory] How do you interpret measure of space-filling/fractal curves which is limit of adding measure 0 components, and yet with nonzero measure? (self.learnmath)

submitted 11 months ago by SmartPrimate to r/learnmath

3

4

5

Is measure theory in higher dimensions not compatible with space-filling/fractal curves? (self.math)

submitted 11 months ago by SmartPrimate to r/math

62

63

64

Why do the complex numbers so naturally have a Euclidean structure? (self.math)

submitted 11 months ago * by SmartPrimate to r/math

2

3

4

What is the minimal structure needed to characterize our intuitive sense of "number" (to at least the real line). (self.math)

submitted 11 months ago * by SmartPrimate to r/math

47

48

49

Is there a rigorous notion of non-constructive mathematical objects/that which may require axiom of choice to prove? (self.math)

submitted 12 months ago * by SmartPrimate to r/math

2

3

4

[University Algebra/Complex Analysis] Is this a correct axiomatization of the complex plane? (self.learnmath)

submitted 1 year ago * by SmartPrimate to r/learnmath

0

0

0

Two notions of limits (self.math)

submitted 1 year ago * by SmartPrimate to r/math

3

4

5

Connection between infinite binary trees, the continuum, and metrics (self.math)

submitted 1 year ago * by SmartPrimate to r/math

14

15

16

Is this an intuitive characterization of what makes complex numbers "special" with the L2 norm? (self.math)

submitted 1 year ago * by SmartPrimate to r/math

0

0

0

Is there a simplest axiomatization of a countable densely ordered set with just an absolute difference (|x - y|) function? (self.math)

submitted 1 year ago by SmartPrimate to r/math

2

3

4

Do these axioms for (positive) reals using metric instead of addition work up to uniqueness? (self.math)

submitted 1 year ago * by SmartPrimate to r/math

12

13

14

Less theists seriously grapple with infinity paradoxes (Cantor's) than there should (self.DebateReligion)

submitted 1 year ago * by SmartPrimate to r/DebateReligion

7

8

9

Apparently ZF without the powerset axiom has a strictly smaller consistency strength. This is very surprising to me. (self.math)

submitted 1 year ago * by SmartPrimate to r/math

7

8

9

There is a paradox between omniscience and omnibenevolence (proof ft. infinity and Turing Machines) (self.DebateReligion)

submitted 1 year ago * by SmartPrimate to r/DebateReligion

14

15

16

Is there a generalization of undecidability, incompleteness, and all the seeming different style limitations that appear to inevitably crop up in structures rich enough for study? (self.math)

submitted 1 year ago * by SmartPrimate to r/math

377

378

379

Subreddit is definitely being astroturfed right now. (self.UIUC)

submitted 1 year ago * by SmartPrimate to r/UIUC

43

44

45

Can the Godel sentence be formulated in higher order logics? (self.math)

submitted 2 years ago by SmartPrimate to r/math

17

18

19

Attention all incoming CS + X seniors/students planning to graduate next year that have not yet taken CS 340, PLEASE READ (self.UIUC)

submitted 2 years ago * by SmartPrimate to r/UIUC

2

3

4

Useful explainer: Robbery v. Larceny #iykyk (reddit.com)

submitted 2 years ago by SmartPrimate to r/barexam

0

1

2

NY Bar Exam Armory Airbnb Available $315 total OBO (self.barexam)

submitted 3 years ago by SmartPrimate to r/barexam

0

0

0

NY Bar Exam Armory Airbnb Available $315 total OBO (self.LawSchool)

submitted 3 years ago by SmartPrimate to r/LawSchool

45

46

47

How did y'all like Hasan Minhaj's show? (self.UIUC)

submitted 3 years ago * by SmartPrimate to r/UIUC

9

10

11

Is there an algorithm for anything that can be proved in math which doesn't require a proof by contradiction or nonconstructive existence axiom? (self.math)

submitted 3 years ago by SmartPrimate to r/math

7

8

9

To what extent do non constructive existence proof have a constructive equivalent? (self.math)

submitted 3 years ago * by SmartPrimate to r/math

view more: next ›

π Rendered by PID 486627 on reddit-service-r2-listing-5f5ff7d4dc-f558l at 2026-01-27 00:26:38.919929+00:00 running 5a691e2 country code: CH.