[FOM] Object-Oriented Formal Mathematical Languages

Tue May 4 17:30:05 EDT 2004

On Thu, 29 Apr 2004 09:40:19, Thomas Forster wrote:

>Surely the deep message of the paradoxes and incompleteness theorems is
>that all attempts to construct encyclopaedias in this sense is doomed?

The paradoxes and incompleteness theorems do not ban constructing of 
practical formal mathematical languages. By the way, Goedel  beleived that 
Leibnitz had designed such a language. See the book "The Universal Computer: 
the Road from Leibnitz to Turing" by Martin Davis, p.133.

Victor Makarov

http://home.nyu.edu/~yvm204/vm/vm.htm