Dear Stephen,
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
specififc definition?
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
conclusion INTO.

##
Advertising

John M
On Sun, Oct 16, 2011 at 12:48 AM, Stephen P. King <stephe...@charter.net>wrote:
> Hi,
>
> I ran across the following:
>
> http://en.wikipedia.org/wiki/Tarski%27s_indefinability_theorem
>
> *"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?
>
> Onward!
>
> Stephen
>
> --
> You received this message because you are subscribed to the Google Groups
> "Everything List" group.
> To post to this group, send email to everything-list@googlegroups.com.
> To unsubscribe from this group, send email to
> everything-list+unsubscr...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/everything-list?hl=en.
>
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.