Liste des Groupes | Revenir à s logic |
On 29.05.2025 02:25, Ben Bacarisse wrote:This still does not define what are the natural numbers that areWM <wolfgang.mueckenheim@tha.de> writes:I have often published it.Every n that can be expressed by digits should be known to you.But the important fact, since it's /your/ proof, is what that means to
/you/ and I can not know that.
Definition: A natural number is "identified" or (individually) "defined" or "instantiated" if it can be communicated such that sender and receiver understand the same and can link it by a finite initial segment to the origin 0. All other natural numbers are called dark natural numbers.
Les messages affichés proviennent d'usenet.