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.

305 questions
Filter by
Sorted by
Tagged with
43 views

Numbers/cardinal numbers [closed]

so i had two classes this semester abstract algebra and philosophy of math. I enjoyed them both but there is one thing that i have been trying to understand all the semester and just can't get ...
32 views

How do I view latex source code in answers or questions as rendered form or images? [migrated]

Is it normal to see only the latex source code in questions and answers where they are typed? My perspective: https://i.gyazo.com/1682f307c1ef8eb53f95ed1868afe3fe.png Is there any way to render this ...
51 views

Is there a mathematical system that is: complete, consistent, and decidable?

I know very little about modal logic (only some set theory) in mathematics, but I am aware that there exists a completeness theorem, incompleteness theorem, and the axiom choice, and that maths is not ...
51 views

What is the link between interpretability hierarchy and consistency strength

I am trying to understand this definition https://plato.stanford.edu/entries/independence-large-cardinals/#IntHie of Interpretability Hierarchy and how it relates to the concept of Consistency ...
41 views

A question about the seventh formative criteria in Bourbaki's Theory of Sets

CF7. Let $\boldsymbol{A}$ be a relation (resp. a term) in a theory $\mathcal{T}$, and let $\boldsymbol{x}$ and $\boldsymbol{y}$ be letters. Then $(\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}$ is a ...
66 views

Are the naturals really a subset of the real numbers? [duplicate]

Ok, so this question seems obvious, right? But what I mean is the numbers in the way they are logically / axiomaticaly defined in the foundations of Mathematics. As far as I know, the naturals are in ...
32 views

If a metatheory proves consistency of a theory, will consistency of the metatheory suffice?

I'm going to call a metatheory reasonable if it's consistent and whenever there exists a proof for a sentence $\phi$ from a theory $T$ the metatheory proves $T\vdash \phi.$ Suppose that some ...
75 views

why Gödel use $[R(n);n]$ in his introduction?

in "on formally undecidable propositions of principia mathematica and related systems"'s introduction, Gödel used the notation $R(n)$ and $[R(n); n]$ to state the unprovable formula meaning &...
68 views

Meta-Definition of Convergence

So, just recently I realized that the idea of convergence is not "all encompassing"... Let me explain. I thought that the topological definition of convergence was the most basic one in the ...
135 views

Why isn't math proofs just a computer trial and error?

I already asked a similar question, but I recently began a course of Logic and it gave me not an answeat but a refination of my question, which I redefine here. My thinking is the following: Suppose ...
76 views

What formal logic has the smallest metatheory?

I'm currently studying A Concise Introduction to Mathematical Logic (Third Edition) by Wolfgang Rautenberg. What sparked my interest in logic is my interest in foundations in general, so I was ...
50 views

Definition by generalized recursion, Peter Hinman's Foundations of mathematical logic

I'm reading the Foundations of mathematical logic by Peter Hinman, and something is unclear to me in his applications of theorem 1.2.14. Here's the theorem: Let $\mathcal{X}=(X,X_0, \mathcal{H})$ be ...
75 views

how universal is Conway's game of life? is it reasonable to expect that a technological alien civilization would recognize, say, a glider?

This is a philosophical one, so apologies if it's not appropriate. I can think of several reasons that Conway's Game of Life would be rediscovered by any mathematically inclined biological life forms. ...
86 views

Can metalogic and model theory be formalized?

All of mathematics formulated using ZFC can be "formalized" in the sense that each statement could be translated into a logical string, and each proof can be translated into a formal proof. ...
57 views

Establishing First Order Logic and basic results with PRA

I am just beginning my study of mathematical logic (I’ve worked through the first 7 chapters of Kleene’s Introduction to Metamathematics) and like many others who are studying FOL for the first time, ...
22 views

Method for calculating exponents and beyond with logarithmic growth provided a memorized set of smaller problems

This question is very hard to word so I'm sorry about that, but here goes a try. With Addition Let's assume I have all addition facts from 1-10 memorized. When doing $125+126$ i will employ these ...
131 views

Is there a category (or rather a mathematical theory) for which we know a lot about, but not whether its object class is empty or not?

this is a bit of a vague question so let me describe a bit what motivates it: Yesterday I was reading the Wikipedia article about perfect numbers, where I find the section https://en.wikipedia.org/...
100 views

How to prove the consistency of a collection of axioms?

Is there a way to prove the consistency of some chosen axioms? In the two senses following: In each mathematical logic book, there is a special kind of deduction system, which include some logical ...
33 views

Demonstrate a nondenumerable set of consistent extensions of $\mathbf{Q}$ that are pairwise inconsistent.

Given that for any $n \in \mathbb{N}$, there are $2^n$ consistent, axiomatizable extensions of $\mathbf{Q}$ that are pairwise inconsistent, show that there is a nondenumerable set of such consistent ...
42 views

47 views

What is the intuitive reason why there is no recursively related notation-system which gives a name to every constructive ordinal?

The Question: I found this claim in Douglas Hofstadter's book 'Gödel, Escher, Bach'. The author says that this result was proven by Church and Kleene. Correct me if I am wrong, but I interpret this ...
156 views

In what formal system is Godel's Incompleteness Theorem (or similar statements of undecidability) proven?

For example, consider the proof using Rosser's trick as shown on wikipedia. https://en.wikipedia.org/wiki/Rosser%27s_trick#The_Rosser_sentence That proof isn't inside the arithmetical theory T, but in ...
67 views

Why is everything geometrical modeled on $\Bbb R$?

The reals naturally arise when discussing limiting processes of rational numbers like trying to compute roots or $\pi$. Similarly I have read that axioms of Euclidean geometry (I mean those not ...
128 views

What is the difference inbetween $\leftrightarrow$, $\iff$, and $\equiv$? [duplicate]

What is the difference inbetween $\leftrightarrow$, $\iff$, and $\equiv$ ? Especially when used in the same text. My thought about that was that it has something to do with object language and meta ...
91 views

A question about undecidable sentences with purely mathematical contents

I'm struggling with the idea that the continuum hypothesis does indeed have a purely mathemathical/set theoretical meaning, but is neither provable nor disprovable in ZFC (according to Gödel and Cohen)...
65 views

133 views

Physics and Riemann hypothesis [closed]

I was reading the article "Quantum physics sheds light on Riemann hypothesis" from Bristol University (http://www.bristol.ac.uk/maths/research/highlights/riemann-hypothesis/) and stopped ...
62 views

Error in Kleene "Introduction to Metamathematics" parentheses lemmas?

In the classic book, Introduction to Metamathematics by Steven Kleene, Lemma 2 of Section 7 (chapter 2), seems to me to be false. I am wondering if I am missing something. Here is the context: The ...
166 views

What does it really mean for a model to be pointwise definable?

(Note: I'm only an amateur in logic, so I'm sorry for any weird terminology or notation, or excessive tedious details. Most of what I know is from Kunen's Foundations of Mathematics.) I'm trying to ...
I'm having trouble with exercise *135b in Introduction to Metamathematics by S. C. Kleene. The ask is to show that: $\vdash 0<a^{'}$. Here is how I would do it. Assume $a=b$. With Axiom 17 and ...