user43263's user avatar
user43263's user avatar
user43263's user avatar
user43263
  • Member for 10 years, 4 months
  • Last seen more than a month ago
17 votes
4 answers
2k views

Expressing the Lebesgue integral using categories + the difficulty of describing estimates in category theory

11 votes
4 answers
5k views

'Category-theory'-free areas of pure math, 'category-theory'-loaded areas of applied math

10 votes
1 answer
574 views

Is there something like a vision paper in mathematics?

9 votes
2 answers
609 views

What is the state-of-the-art for solving polynomials systems over fields that are not algebraically closed?

9 votes
4 answers
5k views

"Introduction to mathematical logic" book from a formalist perspective

2 votes
0 answers
279 views

Tracking down an elusive book

2 votes
1 answer
724 views

Highly flexible PhD programs/school (with individual freedom)

2 votes
1 answer
163 views

Existence of solutions of polynomials systems (and their "rough" shape) over $\mathbb{R}$ & friends with positive-dimensional ideals

0 votes
1 answer
461 views

An informal version of the recursion theorem