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.