Sujet : Re: How do computations actually work?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 24. May 2025, 16:18:57
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <100so11$p071$5@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Mozilla Thunderbird
On 5/24/2025 2:47 AM, Mikko wrote:
On 2025-05-23 02:47:40 +0000, olcott changed the subject to
How do computations actually work?
Each computation works differently. It does not matter how it works as
long as there are instructions that fully specify how that computation
shall be performed.
All termination analyzers are required to report on the
behavior that their input finite string specifies.
int main()
{
DD(); // the HHH that DD calls cannot report on the
} // behavior of its caller. That is just not
// the way that these things work.
int sum(int x int y) { return x + y; }
computes the sum of its inputs according to the rules of arithmetic.
Does not compute any function
int sum(int x int y) { return 5; }
Does not compute the function of sum correctly.
int sum(int x int y) { x + x; }
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer