Re: All computation & human reasoning encoded as finite string transformations --- Quine

Liste des GroupesRevenir à theory 
Sujet : Re: All computation & human reasoning encoded as finite string transformations --- Quine
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 27. Apr 2025, 10:15:48
Autres entêtes
Organisation : -
Message-ID : <vuksk4$fsto$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Unison/2.2
On 2025-04-26 19:29:02 +0000, olcott said:

On 4/26/2025 12:31 PM, Alan Mackenzie wrote:
In comp.theory olcott <polcott333@gmail.com> wrote:
On 4/26/2025 11:04 AM, Alan Mackenzie wrote:
In comp.theory olcott <polcott333@gmail.com> wrote:

The entire body of human knowledge that can be expressed in language
is an axiomatic system beginning with a finite list of basic facts.
 
You've never proven that, and it is almost certainly false.
 
A valid counter-example is categorically impossible.
 OK, take the true statement "Nuremberg is a good place to live.", a
statement expressed in language.  Please state the axioms from which this
can be derived, and show that derivation.
 I don't think that value judgments can be derived
from basic facts thus do not count as knowledge that
can be expressed using language.
Although that is a value judgement it is knowledge, and can be important
knowledge to someone who agrees about the relevant values.
--
Mikko

Date Sujet#  Auteur
20 Apr 25 * All of computation and human reasoning can be encoded as finite string transformations98olcott
20 Apr 25 +* Re: All of computation and human reasoning can be encoded as finite string transformations96Richard Damon
20 Apr 25 i+* All of computation and human reasoning can be encoded as finite string transformations --- Quine94olcott
20 Apr 25 ii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine34Richard Damon
20 Apr 25 iii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine19olcott
20 Apr 25 iiii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine17Richard Damon
20 Apr 25 iiiii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine16olcott
20 Apr 25 iiiii +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine10Richard Damon
20 Apr 25 iiiii i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine9olcott
21 Apr 25 iiiii i +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Richard Damon
21 Apr 25 iiiii i i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
21 Apr 25 iiiii i i +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iiiii i i `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
21 Apr 25 iiiii i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Mikko
21 Apr 25 iiiii i  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
21 Apr 25 iiiii i   +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iiiii i   `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
21 Apr 25 iiiii `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine5Mikko
21 Apr 25 iiiii  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4olcott
21 Apr 25 iiiii   +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Alan Mackenzie
22 Apr 25 iiiii   +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iiiii   `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
21 Apr 25 iiii`- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
20 Apr 25 iii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine13olcott
20 Apr 25 iiii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine8Richard Damon
20 Apr 25 iiiii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine7olcott
20 Apr 25 iiiii +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine5Richard Damon
20 Apr 25 iiiii i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4olcott
21 Apr 25 iiiii i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3Richard Damon
21 Apr 25 iiiii i  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2olcott
21 Apr 25 iiiii i   `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
21 Apr 25 iiiii `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
21 Apr 25 iiii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Mikko
21 Apr 25 iiii `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
21 Apr 25 iiii  +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iiii  `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
20 Apr 25 iii`- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
21 Apr 25 ii+* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine57Mikko
21 Apr 25 iii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine56olcott
22 Apr 25 iii +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
22 Apr 25 iii `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine54Mikko
22 Apr 25 iii  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine53olcott
22 Apr 25 iii   +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Richard Damon
23 Apr 25 iii   i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
23 Apr 25 iii   i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2Richard Damon
23 Apr 25 iii   i  `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1olcott
24 Apr 25 iii   +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine43Mikko
24 Apr 25 iii   i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine42olcott
25 Apr 25 iii   i +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
25 Apr 25 iii   i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine40Mikko
25 Apr 25 iii   i  `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine39olcott
26 Apr 25 iii   i   +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine15Richard Damon
26 Apr 25 iii   i   i`* Re: All computation & human reasoning encoded as finite string transformations --- Quine14olcott
26 Apr 25 iii   i   i +- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Richard Damon
27 Apr 25 iii   i   i `* Re: All computation & human reasoning encoded as finite string transformations --- Quine12Mikko
27 Apr 25 iii   i   i  `* Re: All computation & human reasoning encoded as finite string transformations --- Quine11olcott
27 Apr 25 iii   i   i   +* Re: All computation & human reasoning encoded as finite string transformations --- Quine4Alan Mackenzie
28 Apr 25 iii   i   i   i+* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
28 Apr 25 iii   i   i   ii`- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Richard Damon
28 Apr 25 iii   i   i   i`- Re: All computation & human reasoning encoded as finite string transformations --- Quine1olcott
28 Apr 25 iii   i   i   `* Re: All computation & human reasoning encoded as finite string transformations --- Quine6Mikko
28 Apr 25 iii   i   i    `* Re: All computation & human reasoning encoded as finite string transformations --- Quine5olcott
29 Apr 25 iii   i   i     +- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Richard Damon
29 Apr 25 iii   i   i     `* Re: All computation & human reasoning encoded as finite string transformations --- Quine3Mikko
30 Apr 25 iii   i   i      `* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
2 May 25 iii   i   i       `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Mikko
26 Apr 25 iii   i   `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine23Mikko
26 Apr 25 iii   i    `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine22olcott
26 Apr 25 iii   i     +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine12Alan Mackenzie
26 Apr 25 iii   i     i`* Re: All computation & human reasoning encoded as finite string transformations --- Quine11olcott
26 Apr 25 iii   i     i +* Re: All computation & human reasoning encoded as finite string transformations --- Quine8Alan Mackenzie
26 Apr 25 iii   i     i i`* Re: All computation & human reasoning encoded as finite string transformations --- Quine7olcott
26 Apr 25 iii   i     i i +* Re: All computation & human reasoning encoded as finite string transformations --- Quine5Alan Mackenzie
26 Apr 25 iii   i     i i i`* Re: All computation & human reasoning encoded as finite string transformations --- Quine4olcott
27 Apr 25 iii   i     i i i `* Re: All computation & human reasoning encoded as finite string transformations --- Quine3Alan Mackenzie
27 Apr 25 iii   i     i i i  `* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
27 Apr 25 iii   i     i i i   `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Alan Mackenzie
27 Apr 25 iii   i     i i `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Mikko
27 Apr 25 iii   i     i `* Re: All computation & human reasoning encoded as finite string transformations --- Quine2olcott
28 Apr 25 iii   i     i  `- Re: All computation & human reasoning encoded as finite string transformations --- Quine1Richard Damon
26 Apr 25 iii   i     +* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine5Richard Damon
27 Apr 25 iii   i     i`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Mikko
27 Apr 25 iii   i     i `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
28 Apr 25 iii   i     i  +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
29 Apr 25 iii   i     i  `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
27 Apr 25 iii   i     `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine4Mikko
27 Apr 25 iii   i      `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3olcott
28 Apr 25 iii   i       +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
29 Apr 25 iii   i       `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Mikko
25 Apr 25 iii   `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine5olcott
25 Apr 25 iii    +- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
26 Apr 25 iii    `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine3Mikko
26 Apr 25 iii     `* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2olcott
26 Apr 25 iii      `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1Richard Damon
23 Apr 25 ii`* Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine2Rosario19
23 Apr 25 ii `- Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine1olcott
21 Apr 25 i`- Re: All of computation and human reasoning can be encoded as finite string transformations1Mikko
21 Apr 25 `- Re: All of computation and human reasoning can be encoded as finite string transformations1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal