Re: The simple essence of Proof Theoretic Semantics

André G. Isaak <[email protected]>
Newsgroups sci.logic,comp.theory,comp.ai.philosophy,sci.math
Organization Christians and Atheists United Against Creeping Agnosticism
Message-ID <[email protected]> 
On 2026-07-03 12:36, olcott wrote:
> On 7/3/2026 1:18 PM, dbush wrote:

>> If an algorithm takes an input and produces an output, that is by 
>> definition a mapping. 
> That only proves that the definition is incoherent.
> The coherent way that it actually works is that
> inputs are transformed into outputs by applying
> finite string transformation rules to inputs to
> derive outputs.

Apparently you don't understand the difference between a mapping and an 
algorithm. They are two different things.

André

-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.