Sujet : Re: The Halting Problem is Incoherent
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : comp.theoryDate : 23. Oct 2025, 20:02:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10ddu3q$21gl1$3@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
On 10/23/2025 8:43 AM, olcott wrote:
On 10/23/2025 4:48 AM, Mikko wrote:
On 2025-10-22 11:59:56 +0000, olcott said:
>
On 10/22/2025 3:02 AM, Mikko wrote:
On 2025-10-20 14:00:22 +0000, Tristan Wibberley said:
>
On 20/10/2025 02:51, olcott wrote:
On 10/19/2025 8:40 PM, Tristan Wibberley wrote:
On 15/10/2025 17:18, olcott wrote:
...
>
(a) True on the basis of meaning fully expressed as
relations between finite strings.
>
(b) True that can only be verified by sense data from the
sense organs.
>
>
What differences have you found between the two?
>
>
The actual smell of a rose and words talking
about the smell of a rose.
>
Synaesthesia suggests there's a deeper truth. The actual smell of a rose
may be elicited by the words "smell of a rose".
>
Some people may remember the smell of a rose when they see or hear rhe
words "smell of a rose". But that cannot happen to people who have no
experience on the smell of roses.
>
Try and encode that in C, where your windows code
can actually directly experience this smell.
>
When not paid, I use something other than C and Windows.
>
Sense data from sense organs is excluded from
Analytic(Olcott) because Olcott wants to provide
the means for machines to have all the human
knowledge that can be expressed in language.
>
Some langages have more odor terms than English. Those terms can only
be translated to Einglish with expressions that refer to sources or
consequence of the odor.
>
Machines will never be able to directly experience
smell. At some time in the future machines may have
sensors that convert smells to GUID's and these GUID's
can be mapped to words. This will allow machines to
perfectly fake that they have a sense of smell.
Your smell is enough to come with a warning label?
Haut de la page
Les messages affichés proviennent d'usenet.
NewsPortal