[FOM] Object-Oriented Formal Mathematical Languages

Victor Makarov viktormakarov at hotmail.com
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





More information about the FOM mailing list