4 ms·

What is a non-formalized system? I am very curious on this. In particular, if you are able to split systems into formalized and non formalized, then I thinks t

• jijijijij 1y ago
  I am not a native speaker, so please don't get hung up on particular expressions. I meant, the colloquial philosophies and general ontology are not subject of Gödel's work. I think, the forgone expansion is similar to finding evidence for telepathy in the pop-sci descriptions of quantum entanglement. Gödel's theorems cover axiomatic, formal systems in mathematics. To apply it to whatever, you first have to formalize whatever. Otherwise, it's an intuition/speculation, not sound reasoning. At least, that's my understanding. Further reading: https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems#Appeals_to_the_incompleteness_theorems_in_other_fields https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_th...
  • deleted 1y ago
    [deleted]
  • alisonkisk 1y ago
    The person you were replying to is not a native speaker either, and also is not knowledgeable about the core ideas of logical systems (as other commenters have already explained).