Skip to main content
MathOverflow
exfret's user avatar
exfret's user avatar
exfret's user avatar
exfret
  • Member for 7 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
509
reputation
5k
reached
0
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
question
28
What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers?
Jan 11, 2021
question
7
Definability of ordinals in various signatures
Aug 18, 2020
question
3
Is the following generalization of piecewise continuity equivalent to any other common types of functions on metric spaces?
Jun 15, 2021
question
3
Does this information theoretical thought experiment have a name or corresponding area of research?
Jan 19, 2023
question
2
In practice, how is the Lebesgue measure usually generalized?
May 17, 2021
question
0
Maximizing a vector after a series of matrix multiplications
Aug 29, 2020
question
0
Finding which members of a family of (possibly infinite-dimensional) matrices have trivial null space
Jun 20, 2021
Top network posts
View all network posts
9
Are all turing machines paths predictable?
8
Are space and time hierarchies even comparable?
8
Lower bound on pebbling numbers
5
Turing machines over a structure
5
What research is being done in classical complexity theory?