Prev: Naming Set Theory "NST".
Next: dedanoe's random procedure for solving polynomials
From: |-|erc on 4 Oct 2009 00:59
"John Jones" <jonescardiff(a)btinternet.com> wrote ...
>A statement is a string from which meaning emerges independently of that string. For example, a herd may arise from a set of cows.
>
> But G�del thought that 1) the string, and 2) the meaning, and 3) a verification, were all of a kind and that one could switch
> seamlessly from one ontology to the other. This allows G�del to speak of a string (a statement) and associate meaning with it (the
> G�del number). A mistake, I advance.
>
> Isn't that so?

Yes, brilliant! EVERY poster here believes G is true because it tells them so.

Herc

 | 
Pages: 1
Prev: Naming Set Theory "NST".
Next: dedanoe's random procedure for solving polynomials