User user43263

20 votes

4 answers

2k views

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

asked May 19, 2014 at 8:36

10 votes

4 answers

5k views

"Introduction to mathematical logic" book from a formalist perspective

asked Jan 25, 2014 at 15:35

10 votes

4 answers

6k views

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

asked May 7, 2014 at 11:52

10 votes

1 answer

595 views

Is there something like a vision paper in mathematics?

asked Sep 11, 2019 at 13:07

9 votes

2 answers

621 views

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

asked May 27, 2020 at 19:24

2 votes

1 answer

197 views

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

asked May 29, 2020 at 8:21

2 votes

0 answers

292 views

Tracking down an elusive book

asked Aug 6, 2019 at 13:31

2 votes

1 answer

759 views

Highly flexible PhD programs/school (with individual freedom)

asked Sep 2, 2019 at 16:17

0 votes

1 answer

481 views

An informal version of the recursion theorem

asked Nov 25, 2013 at 20:31

Stack Exchange Network

9 Questions

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

"Introduction to mathematical logic" book from a formalist perspective

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

Is there something like a vision paper in mathematics?

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

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

Tracking down an elusive book

Highly flexible PhD programs/school (with individual freedom)

An informal version of the recursion theorem