Re: Turing computable functions

Liste des GroupesRevenir à theory 
Sujet : Re: Turing computable functions
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 25. Mar 2025, 22:42:09
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vrv7vh$73q7$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 3/25/2025 4:02 PM, dbush wrote:
On 3/25/2025 4:50 PM, olcott wrote:
On 3/25/2025 3:05 PM, dbush wrote:
On 3/25/2025 3:47 PM, olcott wrote:
On 3/25/2025 2:32 PM, dbush wrote:
On 3/25/2025 3:24 PM, olcott wrote:
Cannot possibly derive any outputs not computed from
their inputs.
>
Correct, algorithms can only compute computable mathematical function.
>
>
A Turing machine halt decider
>
Does not exist because the required mapping is not computable:
>
>
Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
>
A solution to the halting problem is an algorithm H that computes the following mapping:
>
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly
>
>
>
cannot possibly report
on the behavior of any directly executing process.
No Turing machine can every do this. This has always
been beyond what any Turing machine can ever do.
>
>
Strawman: reporting on an executing process is not a requirement.
>
YOU JUST SAID THAT IT WAS
YOU KEEP MINDLESSLY REPEATING THAT IT IS
>
On 3/25/2025 2:32 PM, dbush wrote:
 > (<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
>
>
>
I never said it had to actually watch an executing process, only report what would happen if it did run.
>
>
*It has been conclusively proven as a verified*
*fact many hundreds of times over several years*
That the behavior that the finite string input specifies
 Is
NOT ALWAYS

the behavior of directly executing the described Turing machine.
WHEN THIS FINITE STRING DEFINES A PATHOLOGICAL
RELATIONSHIP WITH ITS SIMULATING TERMINATION ANALYZER.
I can't help but believe that ALL of my reviewers are
flat out dishonest on this one point.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
25 Mar 25 * Turing computable functions39olcott
25 Mar 25 +* Re: Turing computable functions13dbush
25 Mar 25 i`* Re: Turing computable functions12olcott
25 Mar 25 i +* Re: Turing computable functions10dbush
25 Mar 25 i i`* Re: Turing computable functions9olcott
25 Mar 25 i i +* Re: Turing computable functions4dbush
25 Mar 25 i i i`* Re: Turing computable functions3olcott
25 Mar 25 i i i +- Re: Turing computable functions1Richard Damon
26 Mar 25 i i i `- Re: Turing computable functions1joes
25 Mar 25 i i +* Re: Turing computable functions3joes
25 Mar 25 i i i`* Re: Turing computable functions2olcott
25 Mar 25 i i i `- Re: Turing computable functions1Richard Damon
25 Mar 25 i i `- Re: Turing computable functions1Richard Damon
25 Mar 25 i `- Re: Turing computable functions1Richard Damon
25 Mar 25 +* Re: Turing computable functions11joes
25 Mar 25 i`* Re: Turing computable functions --- EEE(III)10olcott
25 Mar 25 i +* Re: Turing computable functions --- EEE(III)8Richard Damon
26 Mar 25 i i`* Re: Turing computable functions --- EEE(III)7olcott
26 Mar 25 i i +* Re: Turing computable functions --- EEE(III)3joes
26 Mar 25 i i i`* Re: Turing computable functions --- EEE(III)2olcott
27 Mar 25 i i i `- Re: Turing computable functions --- EEE(III)1Richard Damon
26 Mar 25 i i `* Re: Turing computable functions --- EEE(III)3Richard Damon
26 Mar 25 i i  `* Re: Turing computable functions --- EEE(III)2olcott
27 Mar 25 i i   `- Re: Turing computable functions --- EEE(III)1Richard Damon
26 Mar 25 i `- Re: Turing computable functions --- EEE(III)1Fred. Zwarts
25 Mar 25 +- Re: Turing computable functions1Richard Damon
26 Mar 25 +* Re: Turing computable functions12Mikko
26 Mar 25 i`* Re: Turing computable functions11olcott
27 Mar 25 i +- Re: Turing computable functions1Richard Damon
27 Mar 25 i +* Re: Turing computable functions3Mikko
27 Mar 25 i i`* Re: Turing computable functions2olcott
28 Mar 25 i i `- Re: Turing computable functions1Mikko
27 Mar 25 i `* Re: Turing computable functions6Fred. Zwarts
27 Mar 25 i  `* Re: Turing computable functions5olcott
27 Mar 25 i   +* Re: Turing computable functions3Fred. Zwarts
28 Mar 25 i   i`* Re: Turing computable functions2olcott
28 Mar 25 i   i `- Re: Turing computable functions1Richard Damon
28 Mar 25 i   `- Re: Turing computable functions1Richard Damon
26 Mar 25 `- Re: Turing computable functions1Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal