Network profile

Jason Rute

Reputation

4,854

4.9k
4.5k
4.2k

2018
2019
2020
2021

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

1

16

43

Newest

Self-Learner

Next badge

0/1

Impact

3 posts edited

2 helpful flags

228 votes cast

Answers (51)

Votes Activity Newest

42	The most outrageous (or ridiculous) conjectures in mathematics
41	Two (probably) equal real numbers which are not proved to be equal?
24	Can a group be a universal Turing machine?
12	Computabillity of packing of spheres with different radii
12	How do we express measurable spaces using type theory?

View more →

Reputation (4,854)

+10	Generalizations of the Tietze extension theorem (and Lusin's theorem)
+10	What mode of convergence is this?
+10	De Finetti's theorem, the pointwise ergodic theorem, and reverse martingales
+10	A Model where Dedekind Reals and Cauchy Reals are Different

View more →

Questions (30)

Votes Activity Newest

31	Is the area of the Mandelbrot provably computable?
21	Prospects for reverse mathematics in Homotopy Type Theory
17	What proofs cannot be relativized
15	Generalizations of the Tietze extension theorem (and Lusin's theorem)
14	Is there a known primitive recursive upper bound on the nth “Zhang prime”

View more →

Tags (0)

This user has not participated in any tags

Bookmarks (16)

Votes Activity Newest Views Added

66	Is there a 0-1 law for the theory of groups?
37	Is there a computable ordinal encoding the proof strength of ZF? Is it knowable?
33	Two groups that are the automorphism groups of each other
31	Is the area of the Mandelbrot provably computable?
28	Dynamical properties of injective continuous functions on $\mathbb{R}^d$

View more →

Accounts (7)

	MathOverflow	4,854 rep	1 gold badge16 silver badges43 bronze badges
	Mathematics	544 rep	2 silver badges15 bronze badges
	TeX - LaTeX	257 rep	2 silver badges9 bronze badges
	Theoretical Computer Science	256 rep	2 silver badges5 bronze badges
	Stack Overflow	151 rep	1 silver badge4 bronze badges

Badges (25)

Recent Class Name

Self-Learner	Mortarboard
Yearling × 9	Nice Answer × 9
Popular Question × 7	Enlightened × 2
Populist	Nice Question × 11
Good Answer × 3	Good Question

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (228)

all time			by type
218	up		94	question
10	down		134	answer

MathOverflow works best with JavaScript enabled