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

-1
votes
1answer
26 views

poisitive definite matrix imply matrix of full rank? [on hold]

Is a positive definite matrix always of full rank? while is given that the characteristic roots are pisitive
2
votes
1answer
88 views

Has the Gödel sentence been explicitly produced?

I do not pretend to know much about mathematical logic. But my curiosity was piqued when I read Hofstadter's Gödel, Escher, Bach, which tries to explain the proof of Gödel's first incompleteness ...
2
votes
0answers
45 views

Where can I find an ontology of algebraic structures?

A group is a monoid where every element admits an inverse, A ring is a monoid under multiplication that distributes over a commutative group A field is a ring whose non-zero elements form a group ...
3
votes
3answers
334 views

The standard role of intuitive numbers in the foundations of mathematics

In my career I've been formed mostly in the formal side of mathematics, that is, standard set theory and every classical branch of mathematics that uses set theory. However, I am not pretty sure about ...
3
votes
2answers
89 views

Can a non-classical logic be used as a meta-logic to develop classical logic?

I have read much about non-classical logics such that paraconsistent logics , relevance logics , substructural logics , non-monotonic logic and so on. I think that the meta-logic logicians use to ...
3
votes
2answers
122 views

General view of Theorems

I'm trying to see almost all theorems ( at least the non-existential ones ) as affirming that some formula ( mostly of first-order logic language ) is a logical consequence of other formulas. So, ...
0
votes
0answers
32 views

First-Order Logic: Non-Normal Model of Sentences True in all Normal Models?

Let $\mathcal{L}$ be a first-order language with quantifier $\forall$, connectives $\neg$ and $\rightarrow$, a two-place predicate $E$ and a one-place function symbol $f$. There are no other ...
2
votes
0answers
41 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 ...
1
vote
1answer
48 views

What exactly is a property?

How is a property $P$ formally defined in mathematics? I mean for example if $f$ is a morphism from an object $X$ to $Y$ in some category, then somehow I feel that "has codomain $Y$" is too broad to ...
2
votes
1answer
41 views

Are all theorems of minimal arithmetic theorems of a given theory?

I am working on some metamathematics revision and the following question came up. Let the theory $R_0$ be axiomatized by the following axiom schemata which hold for all $n,m \in \mathbb{N}$: ...
1
vote
2answers
78 views

Use of propositional logic connectives in the meta-language

I have a doubt that might seem a bit confusing so i will try to explain it the clearer i can. Suppose we have an expression "A o B" in the meta-language, where 'o' refers to those logical ...
5
votes
2answers
79 views

What is gained by internalizing LST (the language of set theory)?

I'm reading up on Gödels constructible universe L in the book "Constructibility" by Devlin, and by comparing his text with texts like Kunen and Jech, there is one thing in particular that he's doing ...
2
votes
3answers
63 views

Satisfiability Proof Question

Exercise: Prove that $\Gamma\models A$ iff $\Gamma\cup\{\neg A\}$ is not satisfiable. Proof: We must prove two clauses: $\Gamma\models A\Rightarrow \Gamma\cup\{\neg A\}$ is not satisfiable ...
-4
votes
1answer
90 views

Is there an “end”? [closed]

This question may seem silly, but I nevertheless think that it is worth wondering over: is mathematics itself finite? As I understand, mathematics is a study of form and existence under constraints, ...
5
votes
1answer
103 views

Do metatheoretic results carry between mutually interpretable theories?

If two theories A and B are mutually interpretable, in the sense of there existing a translation procedure from A to B and from B to A, does it follow that whatever metatheoretic results (e.g., ...
2
votes
4answers
168 views

Stats is not maths?

How mainstream is the claim that stats is not maths? And if it's right, how many people don't agree? Given that it's all numbers, taught by maths departments and you get maths credits for it, I ...
0
votes
2answers
134 views

Is there a useful application of Peano arithmetic?

If there is, can someone provide an example of how Peano arithmetic can be used to solve a real-world problem? If not, can someone provide an example of any axiomatic system other than ZFC that can ...
10
votes
4answers
446 views

Clarification of a remark of J. Steel on the independence of Goldbach from ZFC

On page 424 of the following paper: S. Feferman, Harvey M. Friedman, P. Maddy and John R. Steel, ``Does Mathematics Need New Axioms?'' The Bulletin of Symbolic Logic, Vol. 6, No. 4 (Dec., 2000), pp. ...
1
vote
2answers
241 views

The mathematics of mathematical knowledge

It's been many years since I did any real mathematics but last night after pondering the process involved in my mathematical journey I had an idea about the abstraction of how mathematical analysis ...
2
votes
1answer
123 views

question about Godel numbering

I have a question about Godel numbering, it is trivial but I would like to know how can you know the length of an expression through its Godel number. ¿? I think you can use a recursive function but ...
5
votes
5answers
642 views

Is mathematics the only language that is not subject of interpretation?

Do you know any other "language" that is used by people except mathematics and is not subject of interpretation? By subject of interpratation I mean e.g. that 1 000 000 people will undertand that 1 + ...
1
vote
1answer
79 views

A Simpler Characterization of Inductive Definitions?

While reading appendix A of John Harrison's "Handbook of Practical Logic and Automated Reasoning" a somewhat advanced theorem is appealed to as a prerequisite for characterizing when an inductive ...
2
votes
2answers
785 views

Is Gödel's theorem invalid? [closed]

Right now I've skim through Gödel's theorem is invalid by Diego Saá on arXiv (freely available). As it seems very plausible, I ask for any references and scrutinizations of the paper.
6
votes
3answers
354 views

Meaning and example(s) of Qiaochu's quote.

I happen to come across this page http://math.uchicago.edu/~chonoles/quotations.html which contains some beautiful quotes by various mathematicians and I came across Qiaochu's quote as claimed by the ...
3
votes
2answers
569 views

What branch of mathematics is most needed in the industry or how one can make living with mathematics (apart from teaching)?

If you learn carpentry or programming you have the clear options of becoming a carpenter or programmer. But what if you learn mathematics? I know that there are some financial institutions out there, ...
10
votes
2answers
285 views

Are there formal systems that can not be proved to be complete or incomplete?

I'm reading GEB and was thinking about this. Are there any formal systems where the proof of their completeness/incompleteness is unprovable? This question could go ad infinitum. Could there be any ...
2
votes
1answer
108 views

Separation of mathematics and metamathematics

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 ...
3
votes
2answers
81 views

Does a “solution map” system like this already exist?

I was doing this simple Calc 1 problem and it took me forever to get it right and it was embarrassing. I could see that the problem was easy but I just couldn't 'see' what I was doing. I couldn't ...
8
votes
1answer
683 views

How to address mistakes in published papers?

I have recently discovered some mistakes in a published maths article. I have contacted the author pointing out politely my concerns, but I got no specific answer, just a "polite" one, that the ...
5
votes
3answers
216 views

Has anyone ever tried to develop a theory based on a negation of a commonly believed conjecture?

I know that plenty of theorems have been published assuming the Riemann hypothesis to be true. I understand that the main goal of such research is to have a theory ready when someone finally proves ...
6
votes
3answers
148 views

If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?

I am looking for either a proof of counterexample of this: Lemma: Let $\pi$ be a faithful interpretation of $PA$ into $ZFC$, and let $PA'$ be the image of $PA$ under $\pi$. If there is a $T$ with ...
4
votes
0answers
82 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 ...
2
votes
2answers
234 views

Is there a way of defining the notion of a variable mathematically?

I know that the notion of "set" is one that cannot be defined mathematically since it is the fundamental data type that is used to define everything else (and the definition which says that "sets" are ...
2
votes
1answer
266 views

Mathematical structures and signature

From Wikipedia: In mathematics, a structure on a set, or more generally a type, consists of additional mathematical objects that in some manner attach (or relate) to the set, making it easier ...
58
votes
8answers
3k views

Why are all the interesting constants so small?

A quick look at the wikipedia entry on mathematical constants suggests that the most important fundamental constants all live in the immediate neighborhood of the first few positive integers. Is ...
12
votes
6answers
963 views

Geometric proof of existence of irrational numbers.

It is easy, using only straightedge and compass, to construct irrational lengths, is there a way to prove, using only straightedge and compass, that there are constructible lengths which are ...
29
votes
5answers
1k views

Why is it considered unlikely that there could be a contradiction in ZF/ZFC?

EDIT: No answer addresses the "bottleneck" question. It's not surprising to me because the question is vague. But I would like to know whether that is indeed the reason, or perhaps something else. ...
3
votes
1answer
242 views

What are metatheory, metalanguage and meta-…

I have been reading the Wiki articles for metatheory and metalanguage, but not sure if I have understood what they are about. Some accessible examples may help clarify a bit, I guess. Do metatheory ...
5
votes
3answers
328 views

Are “axioms” in topology theory really axioms?

If I understand correctly, axioms are those statements that we assume to be true, instead of proving to be true. I have seen that in topology theory, various axioms of countability and separation ...
2
votes
2answers
150 views

A theorem about inductive inference

In the book 'Introduction of the theory of Statistics' by Mood,Graybill,Boes (third edition)on page 220 (Chapter 6 on Sampling) you can read: 'Inductive inference is well known to be a hazardous ...
12
votes
2answers
596 views

How rare is it that a theorem with published proof turns out to be wrong?

There is a story I read about tiling the plane with convex pentagons. You can read about it in this article on pages 1 and 2. Summary of the story: A guy showed in his doctorate work all classes of ...
7
votes
3answers
218 views

Is there a way to prove that a theorem has no elementary proof? Or to prove that something may have no proof?

Recently I was trying to prove something, more or less elementarily, but eventually started going in circles. My prof said that the proof involves mathematical tools that I've not seen yet, and that ...
8
votes
2answers
875 views

Definition of “non-constructive proof”

I was wondering if it is possible to define exactly what a non-constructive (nc) proof is. I have often seen the concept associated with the use of principles such as the axiom of choice or the law of ...
5
votes
1answer
318 views

Mathematical structures

Preamble: My previous education was focused either on classical analysis (which was given in quite old traditions, I guess) or on applied Mathematics. Since I was feeling lack of knowledge in 'modern' ...
2
votes
1answer
221 views

Truth and undecidability

I believe this is more of a philosophical question. Given a consistent theory T and a statement S independent of T. Can S be true or false in T? (I don't see any contradiction with that) I read that ...
8
votes
3answers
1k views

Proposition vs Theorem

What is the distinction between a proposition and a theorem? How do people decide which of the 2 to use in, say, textbooks? Somehow I think proposition sounds less serious... Thanks.
25
votes
3answers
914 views

Rejecting infinity

I've heard about mathematicians who defend a strictly finite conception of mathematics, with no room for infinity. I wonder, how is it possible for these people to do this? Are there any concepts that ...
11
votes
1answer
344 views

Formalizing metamathematics

I am reading historical/philosophical stuff on the concept of "metamathematics" and am by now quite confused. Several questions emerged, but they are probably somehow confused and interrelated, I ...
3
votes
0answers
893 views

New branches of math? [closed]

I have been wondering if math would be more enjoyable, if one was able to start a new field and come up with all the definitions, methods, etc. rather than starting where someone else ended. ...
2
votes
0answers
227 views

Statements about logic (=“metalogic”(??)) [closed]

Sometimes there are statements about logic e.g. "That's not logical" and I can neither prove nor disprove a statement about logic with no definition for logic itself. It's just a negation and it's ...