# People who do foundations of maths?

## Do you feel the conjecture is right?

• ### No

• Total voters
18
HallsofIvy
Homework Helper
It was that fact that you had interpreted it so incorrectly, apparently equating "finitary" with "foundations of mathematics" that made me conclude that you did not know what "Foundations of Mathematics" is. The quote you give says nothing about "Foundations of Mathematics"

CRGreathouse
Homework Helper
It was assuming that foundationns of maths is conrete compared to maths which is often abstract.

Numerical analysis is concrete; number theory is fairly concrete; foundations of mathematics is very abstract. The term "general abstract nonsense" is used of category theory (a branch of foundations) to poke fun at its abstractness!

You are right, though, that FOM is very precise. It has to be -- unlike in number theory, there's no much intuition to be had at this level!

It was that fact that you had interpreted it so incorrectly, apparently equating "finitary" with "foundations of mathematics" that made me conclude that you did not know what "Foundations of Mathematics" is. The quote you give says nothing about "Foundations of Mathematics"

I did give an indication that my generalization was wrong in an earlier post.

You are right, though, that FOM is very precise.

Now my opinion is that FOM should be easier because of nothing else except the higher precision. However, I haven't tried FOM and it might turn out to be just as hard or harder even with this precision (by being more abstract).

CRGreathouse