Re: Readings in (some of the) foundations of mathematics --- tree of knowledge
Alan Mackenzie <[email protected]>
| Newsgroups | sci.logic,sci.math,comp.theory,comp.ai.philosophy |
|---|---|
| Organization | muc.de e.V. |
| Message-ID | <[email protected]> |
[ Followup-To: set ] In sci.math olcott <[email protected]> wrote: [ .... ] > A complete finite list of "atomic facts" of general > knowledge tells us everything that can be expressed > in language. This finite list also has all of the > kinds of relations between these facts. Seems doubtful. Falsehoods can also be expressed in language, together with that vast trove of expressions which are neither true nor false. In fact, when it comes to "everything that can be expressed in language", a list of "atomic facts" would appear to be unhelpful, just as much as a list of "atomic falsehoods" would be, whatever that might mean. > -- > Copyright 2026 Olcott -- Alan Mackenzie (Nuremberg, Germany).