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

7
votes
3answers
226 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 ...
9
votes
2answers
1k 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 ...
15
votes
3answers
625 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
248 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
2k 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.
28
votes
3answers
1k 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 ...
12
votes
1answer
385 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 ...
15
votes
6answers
3k views

Why bother with Mathematics, if Gödel's Incompleteness Theorem is true?

OK, maybe the title is exaggerated, but is it true that the rest of math is just "good enough", or a good approximation of absolute truth - like Newtonian physics compared to general relativity? How ...
6
votes
6answers
1k views

Why some people don't like proofs by contradiction [duplicate]

Possible Duplicate: Are the “proofs by contradiction” weaker than other proofs? I have been active on this site for two months and on a few occasions I noticed that some people ...
18
votes
7answers
1k views

Definition of definition

I was wondering if there is a good way to "define" what definition means exactly in mathematics. Since the answers may be subjective or philosophical, I want to ask only for references on this topic. ...
7
votes
1answer
141 views

Are there any strongly axiomatizable logics that are not compact?

I mean here a logic in the sense of a language and semantics. By strongly axiomatizable I mean strongly sound and strongly complete. So I'm basically asking if there is a particular deductive system ...
9
votes
1answer
1k views

Fiction “Division by Zero” By Ted Chiang

Fiction "Division by Zero" By Ted Chiang I read the fiction story "Division by Zero" By Ted Chiang My interpretation is the character finds a proof that arithmetic is inconsistent. Is there a ...
10
votes
5answers
2k views

Common misconceptions about math

YARFMO (Yet another reposting from Mathoverflow) ;-) The more you know about math the more you find conceptions previously thought correct to be false: 1.) math is not as exact as many believe - in ...
1
vote
1answer
193 views

Making meaning of mathematical “bridges”

I apologize for posting such an untechnical question, but with responses it could surely be posed in a better form. I'm a math noob, but I've seen (as we all have) a few examples of "connections" ...
36
votes
3answers
1k views

What is your method?

Many young, and not so young, mathematicians struggle with how to spend their time. Perhaps this is due to the 90%-10% rule for mathematical insight: 90 pages of work yield only 10 pages of useful ...
8
votes
6answers
1k views

Is It True that We Can Never Be Sure of Validity of a Mathematical Proof?

The reason I ask this is because difficult mathematical proofs are just not plain self-evident. You would need a few years of intensive study before you can get to the point of understanding the ...