Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [meta-math]

Meta-theory is the term for the theory in which mathematics is formalized (often PA, ZFC or similar theories). Meta-mathematical statements are statements which are evaluated at the level of the meta-theory rather than the theory. This tag is for questions regarding meta-mathematical theories, and related topics.

Meta-theory is the term for the theory in which mathematics is formalized (often PA, ZFC or similar theories). Meta-mathematical statements are statements which are evaluated at the level of the meta-theory rather than the theory. This tag is for questions regarding meta-mathematical theories, and related topics.

333 questions
0
votes
1 answer

Alternatives for Integers in fundamental mathematics?

I think this may be a very stupid question but here goes: I have a basic understanding of complex numbers and know that you can raise a number to a complex power, etc. But it seems to me that regular integers remain in a privileged position in…
Jeff
  • 273
0
votes
0 answers

What makes an abstraction valid?

Suppose that in the real world we have $n$ finite boxes and we are thinking about what arangements are there, so we abstract it to something that mathematics can tell us about, in this case, the permutations of $n$ elements, and most of the times…
Garmekain
  • 3,124
  • 13
  • 26
0
votes
1 answer

construction of the R set from Dedekind method

I'm currently looking a way to understand how Dedeking is building R from Q set. How can i formally build R set from the Dedeking method ? I mean, from the Q set. Can we see each real number as an element of P(Q) ?
toto
  • 165
0
votes
1 answer

For someone who loves mathematics - the more theoretical, the better - what type of engineering would you recommend?

I'm thinking there must be a type of engineering where math is strongly involved. What type of engineering would you suggest?
CaptainFantastic
  • 27
1
2