as long as we are not omniscient (good condition for impossibillity) there
is no TRUTH. As Bruno formulates his reply:
there is something like "mathematical truth" - but did you ask for such
Now - about mathematical truth? new funamental inventions in math (even
maybe in arithmetics Bruno?) may alter the ideas that were considered as
mathematical truth before those inventions. Example: the zero etc.
It always depends on the context one looks at the problem FROM and draws
On Sun, Oct 16, 2011 at 12:48 AM, Stephen P. King <stephe...@charter.net>wrote:
> I ran across the following:
> *"Tarski's undefinability theorem*, stated and proved by Alfred
> Tarski<http://en.wikipedia.org/wiki/Alfred_Tarski>in 1936, is an important
> limitative result in mathematical
> logic <http://en.wikipedia.org/wiki/Mathematical_logic>, the foundations
> of mathematics <http://en.wikipedia.org/wiki/Foundations_of_mathematics>,
> and in formal semantics <http://en.wikipedia.org/wiki/Semantics>.
> Informally, the theorem states that *arithmetical truth cannot be defined
> in arithmetic*."
> Where then is it defined?
> You received this message because you are subscribed to the Google Groups
> "Everything List" group.
> To post to this group, send email to firstname.lastname@example.org.
> To unsubscribe from this group, send email to
> For more options, visit this group at
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at