Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #135360
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Making true on the basis of meaning computable from finite strings |
| Date | 2025-11-09 06:56 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <10eq312$398ed$1@dont-email.me> (permalink) |
| References | <10eo35b$2p4b0$1@dont-email.me> <10epp7m$36fiu$1@dont-email.me> |
On 11/9/2025 4:08 AM, Mikko wrote: > On 2025-11-08 18:46:03 +0000, olcott said: > >> ChatGPT 5.0 fully evaluated all of the details of >> how "true on the basis of meaning" can be computed >> from finite strings. > > Whether "true on the basis of meaning" is computable depends on very > much of the meaning. If the meaning is neither true or false the it > does not make much sense to ask and answer whether it is true. The meaning of a word is the actual meaning of the word, this is always true. > For > example, "42" is a pair of ASCII digits that indicate a specific natural number. > true according to the C meaning but neither true nor > false according to the its meaning in Common Language. The sentence > "The first name of the next Presicent of the Unites States is James" > is either true or false but there is no way to compute which. > The 53 pages of text that you ignored explains all that. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-08 12:46 -0600
Re: Making true on the basis of meaning computable from finite strings Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-08 21:48 +0000
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-08 16:41 -0600
Re: Making true on the basis of meaning computable from finite strings "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-08 15:23 -0800
Re: Making true on the basis of meaning computable from finite strings "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-08 15:26 -0800
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-09 12:08 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-09 06:56 -0600
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-10 11:48 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-10 08:58 -0600
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-11 11:07 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-11 07:06 -0600
Re: Making true on the basis of meaning computable from finite strings "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-11 13:24 -0800
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-12 09:20 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-12 06:59 -0600
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-13 10:46 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-13 09:44 -0600
Re: Making true on the basis of meaning computable from finite strings Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-13 17:50 +0000
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-13 15:13 -0600
Re: Making true on the basis of meaning computable from finite strings wij <wyniijj5@gmail.com> - 2025-11-14 05:35 +0800
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-14 11:11 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-14 08:52 -0600
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-15 12:29 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-15 10:20 -0600
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-16 11:14 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-16 18:08 -0600
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-17 10:38 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-17 07:24 -0600
Re: Making true on the basis of meaning computable from finite strings --- correction olcott <polcott333@gmail.com> - 2025-11-17 07:26 -0600
Re: Making true on the basis of meaning computable from finite strings --- correction dbush <dbush.mobile@gmail.com> - 2025-11-17 08:35 -0500
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-18 12:15 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-18 10:40 -0600
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-19 12:05 +0200
Re: Making true on the basis of meaning computable from finite strings olcott <polcott333@gmail.com> - 2025-11-19 07:05 -0600
Re: Making true on the basis of meaning computable from finite strings Mikko <mikko.levanto@iki.fi> - 2025-11-20 11:02 +0200
csiph-web