Re: Tarski's metatheorem

[Hong Lam Vu <vuh000@goofy.zdv.Uni-Mainz.de>]

Hi folks,

I once mentioned the name of Alfred Tarski in a msg related to
Thie^.n-A'c. Being not a mathematician, I can not understand your
discussion about his metatheorem. So in this msg I would like to focus on
his theory (?) on metalanguage.

This theory is related to the Epimenides paradox that says: "A Cretan
says: 'All Cretans lie'". As I observed, many philosophers are still bored
with this kind of paradox. Tarski solved the problem by introducing the
new term 'meta language'. When you are talking about a language, you say
it in a meta language. Hencefore, when you are raising your opinion about
the Cretans, you should say it from the point of view of an outsider,
if you do not want to make any contradictions.

My questions to you mathematicians are: 

- Does this theorem have applications in the queen of sciences (math)?
- Can this theorem be proved?

Cheers,
La^m.