Sujet : Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 21. Apr 2025, 10:48:20
Autres entêtes
Organisation : -
Message-ID : <vu5494$1urcb$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2025-04-20 17:53:43 +0000, olcott said:
On 4/20/2025 11:29 AM, Richard Damon wrote:
On 4/20/25 tic 1:33 AM, olcott wrote:
No counter-example to the above statement exists for all
computation and all human reasoning that can be expressed
in language.
But can all Human reasoning be actually expressed in language?
For instance, how do you express the smell of a rose in a finite string so you can do reasoning with it?
https://plato.stanford.edu/entries/analytic-synthetic/
all human reasoning that can be expressed in language
<is> the {analytic} side of the analytic/synthetic distinction
that humanity has totally screwed up since
Two Dogmas of Empiricism
Willard Van Orman Quine
https://www.ditext.com/quine/quine.html
Couldn't even understand that the term Bachelor
as stipulated to have the semantic meaning of
Bachelor(x) ≡ ~Married(x) ∧ Male(x) ∧ Adult(x) ∧ Human(x)
You mean that if Quine says something that proves that he does not know
that thing?
-- Mikko
…