Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Mikko Newsgroups: sci.logic Subject: Re: Simple enough for every reader? Date: Tue, 27 May 2025 15:01:16 +0300 Organization: - Lines: 68 Message-ID: <10149ic$2jtva$1@dont-email.me> References: <100a8ah$ekoh$1@dont-email.me> <100ccrl$upk6$1@dont-email.me> <100cjat$vtec$1@dont-email.me> <100fdbr$1laaq$1@dont-email.me> <100funo$1ous9$1@dont-email.me> <100haco$24mti$1@dont-email.me> <100hocb$2768i$1@dont-email.me> <100mpm7$3csuv$1@dont-email.me> <100much$3drk8$1@dont-email.me> <100p8v7$k2$1@dont-email.me> <100pbot$dmi$1@dont-email.me> <100rv2t$jpca$1@dont-email.me> <100sajh$lkp7$2@dont-email.me> <100us6p$1b4q2$1@dont-email.me> <100uvfe$1b4dh$3@dont-email.me> <1011fkf$1v4kb$1@dont-email.me> <1011qrn$20v83$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 27 May 2025 14:01:18 +0200 (CEST) Injection-Info: dont-email.me; posting-host="f52f060b3c808b6c0e92d1d8b9896d86"; logging-data="2750442"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19CT12jPPHnazuF4Tg1eO1W" User-Agent: Unison/2.2 Cancel-Lock: sha1:VNHFnpY9wvy1LPZtioI/5GpoL1Q= Bytes: 3904 On 2025-05-26 13:38:00 +0000, WM said: > On 26.05.2025 12:26, Mikko wrote: >> On 2025-05-25 11:38:23 +0000, WM said: >> >>> On 25.05.2025 12:42, Mikko wrote: >>>> On 2025-05-24 11:29:53 +0000, WM said: >>>> >>>>> On 24.05.2025 10:13, Mikko wrote: >>>>>> On 2025-05-23 08:31:27 +0000, WM said: >>>>>> >>>>>>> On 23.05.2025 09:43, Mikko wrote: >>>>>>>> Do you mean that every natural number is dark until >>>>>>>> someone mentions it but no longer? >>>>>>>> >>>>>>> Every natural number is dark in a system that cannot represent it in >>>>>>> any form like writing, thinking or whatever. The pocket calculator is >>>>>>> limited to decimal representations below 10^100, the universe is >>>>>>> limited to more or less sophisticated formulas requiring less than >>>>>>> 10^80 bit. >>>>>>> >>>>>>> In every system almost all natural numbers are and remain dark - if an >>>>>>> actual infinity of them exists. >>>>>> >>>>>> That is not a useful concept as it is not possible to know wich numbers are >>>>>> presentable in future sysems and which will be actually presented. >>>>> >>>>> But it is fact. >>>> >>>> But not a mathematical fact. >>> >>> That depends on the definition of mathematics. >> >> An exact definition of mathematics is not needed except by some philosophers. >> Even whithout a definition there understood meaning of the word varies only >> a little. By the usual understand ot the word of a fact about people or other >> real world beings is not a mathematical fact. > > That is the common but mistaken view. There is no mistake in that view. No alternative view is known to be better. > Without tools of the real world no mathematics is possible at all. True, but there are many alternative tool sets we could use and as far as we have seen the all tools tell about the same mathematics. > Therefore mathematics is limited by the power of these tools. No, just our current knolwedge of mathematics. But mathematics is more than what we already know about it. > But even pure mathematics proves that most natural numbers will never > be definable: > > {1} has infinitely many (ℵo) successors. (2) there are infinitely many (ℵo) possible definitions. > If {1, 2, 3, ..., n} has infinitely many (ℵo) successors, then {1, 2, > 3, ..., n, n+1} has infinitely many (ℵo) successors, for every n that > can be defined. You can't formulate that as a logically or mathematically valid proof. -- Mikko