2
$\begingroup$

I recall reading that it's important to separate mathematics and metamathematics. What exactly does this mean, and why is it so?

I understand that this question may make no sense without more context, but I've been curious about this for a while and can't seem to find where I originally read that.

  • 0
    @KartikAudhkhasi: Unfortunately, I can't. I read this a couple years ago, so I forgot the source. It didn't turn up anything in a Google search, either.2012-09-02

1 Answers 1

2

Metamathematics is a branch of mathematics, so the assertion does not really make sense. It is certainly important not to confuse a formal system with the mathematical tools and ideas used to look into properties of the formal system, or formal systems in general.

  • 0
    Thanks. While I'll probably never know for sure, that seems like a plausible explanation of what the author of whatever I was reading may have meant2012-09-03