Talk:Formal system

From Wikipedia, the free encyclopedia

You have new messages (last change).

I have an image I've made that I hope someone can make use of:

http://taoriver.net/img/for_esw/formal_systems.png

I've placed it into the public domain.

-- Lion Kimbro


I've made several attempts to down load it. Times out every time. Mind letting us in on what it is a picture of? Nahaj 00:40:44, 2005-09-08 (UTC)


"It is not assumed that the metalanguage in which proofs are studied is itself less informal than the usual habits of mathematicians suggest."

Sorry? What does this mean?
I think you could rewrite it as "It is assumed that the metalanguage in which proofs are studied is itself at most as formal as the usual habits of mathematicians suggest." But it's not clear who assumes this or why this can be assumed. So I've removed the sentence. -- Felix Wiemann 15:35, 16 August 2006 (UTC)
Retrieved from "http://en.wikipedia.org../../../f/o/r/Talk%7EFormal_system_467e.html"