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.
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.