Sujet : Re: Turing Machine computable functions MUST apply finite string transformations to inputs
De : agisaak (at) *nospam* gm.invalid (André G. Isaak)
Groupes : comp.theoryDate : 01. May 2025, 16:14:42
Autres entêtes
Organisation : Christians and Atheists United Against Creeping Agnosticism
Message-ID : <vv0352$2ur4q$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla Thunderbird
On 2025-04-30 21:50, olcott wrote:
On 4/30/2025 7:17 PM, André G. Isaak wrote:
You are still hopelessly confused about your terminology.
>
Computable functions are a subset of mathematical functions, and mathematical functions are *not* the same thing as C functions. Functions do not apply "transformations". They are simply mappings, and a functions which maps every pair of natural numbers to 5 is a perfectly legitimate, albeit not very interesting, function.
>
What makes this function a *computable function* is that fact that it is possible to construct a C function (or a Turing Machine, or some other type of algorithm) such as int foo(int x, int y) {return 5;} which computes that particular function; but the C function and the computable function it computes are entirely separate entities.
computes the sum of two integers
by transforming the inputs into an output.
int sum(int x, int y) { return x + y; }
Computes no function because it ignores its inputs.
int sum(int x, int y) { return 5; }
All you're demonstrating here is that you have no clue what a function is, nor, apparently, do you have any desire to learn.
André
-- To email remove 'invalid' & replace 'gm' with well known Google mail service.