[FOM] Object-Oriented Formal Mathematical Languages
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.
More information about the FOM