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 ...

learn more… | top users | synonyms

0
votes
1answer
23 views

Connection regularity in measure theory and approximation in premeasure

In the measure theory lecture, we defined a measure-theoretic content as follows: $ \mu: \mathscr{C} \rightarrow [0,\infty]$ with the property being additive on disjoint sets and that the empty set ...
6
votes
0answers
56 views

Primitive recursion and $\Delta^0_0$

Until recently I assumed that primitive recursive relations are exactly $\Delta^0_0$ (i.e. bounded) ones, but I learned they're different (the former is a proper superclass of the latter). I have ...
4
votes
0answers
90 views

An “internal” condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?

This is probably quite basic, but I'd like to make sure I got this right. Regarding the proof of Goedel's first incompleteness theorem, say that we have $T$ containing $PA$ effectively axiomatizable ...
3
votes
0answers
77 views

Maths, esp. Godel, and poetry

At the risk of being an interloper: I'm a poet with a bit of mathematical training. Right now I've got a grant from the Arts Council of Northern Ireland to write a collection (loosely) based on the ...
2
votes
0answers
41 views

Is there a standard name for using a function application, rather than a variable, as a summation index, as in $\sum_{f(x)}$?

I am trying to find out whether there is a standard notion of generalizing indexing such as $\sum_i$ to function applications as in $\sum_{f(x)}$. Intuitively, the latter means "iterating over all ...
2
votes
0answers
67 views

Dependence of axioms of Zermelo set theory

I'm reading a book about Zermelo–Fraenkel set theory, and I was told that there are a lot of dependence relation among the commonly used axiom system (in the question What axioms does ZF have, ...
0
votes
0answers
32 views

Separability in Algebra and Topology

I am wondering about the use of the word separablity in two different areas of mathematics, namely algebra and topology. In topology, we call a topological space $(X,\mathscr{T})$ if it contains a ...
0
votes
0answers
28 views

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?