On Aug 30, 7:05 pm, Bruno Marchal <marc....domain.name.hidden> wrote:
>
> This does not make sense.
You said;
>The truth of Gödel sentences are formally trivial.
>The process of finding out its own Gödel sentence is
mechanical.
>The diagonilization is constructive. Gödel's
proof is constructive. That is what Penrose and Lucas are missing
(notably).
This contradicts Godel. The truth of any particular Godel sentence
cannot be formally determined from within the given particular formal
system - surely that's what Godel says?
The points are addressed in ‘Shadows of The Mind’ (Section 2.6,
Q6).
The point of Penrose/Lucs is that you can only formally determine the
Godel sentence of a given system from *outside* that system. We
cannot determine *our own* Godel sentences formally, and that's why we
have to rely on analogical reasoning (which is the argument of
Hofstadler in ‘I Am a Strange Loop’).
>Analogies are then seen as a generalization of
morphism, which is the key notion of category theory.
Yes thats the sort of thing I'm suggesting, only I think its probably
the other way around, analogies are a particular type of morphism.
(morphism is more general)
>You may develop. My feeling is that to compare category theory and
Bayesian inference, is like comparing astronomy and fishing. They
serve different purposes.
Well, Bayes is applied math, category theory is pure math. But its
all math. If category theory is the foundation of math, there must be
structures in there corresponding to Bayes.
>
>
>
>
>
>
>
> > In ‘I Am a Strange Loop’, Hofstadter argues that the procedure for the
> > determining the truth of Godel sentences is actually a form of
> > analogical reasoning. (Chapters 10-12)
>
> > (page 148)
>
> > ‘by virtue of Godel’s subtle new code, which systematically mapped
> > strings of symbols onto numbers and vice versa, many formulas could be
> > read on a second level. The first level of meaning obtained via the
> > standard mapping, was always about numbers, just as Russell claimed,
> > but the second level of meaning, using Godel’s newly revealed mapping…
> > was about formulas’
> > …
> > (page 158)
>
> > ‘all meaning is mapping mediated, which is to say, all meaning comes
> > from analogies’
>
> This can make sense. Analogies are then seen as a generalization of
> morphism, which is the key notion of category theory.
>
>
>
>
>
>
>
> >>> Bayesian reasoning (related to) functions/relations
> >>> Analogical reasoning (related to) categories/sets
>
> >> Those are easily axiomatized.
> >> I see the relation "analogy-category", but sets and functions are
> >> together, and not analogical imo.
> >> I don't see at all the link between Bayes and functions/relations.
> >> Actually, function/relations are the arrows in a category.
>
> > See what I said in my first post this thread. The Bayes theorem is
> > the central formula for statistical inference. Statistics in effect
> > is about correlated variables. Functions/Relations are just the
> > abstract (ideal) version of this where the correlations are perfect
> > instead of fuzzy (functions/relations map the elements of two sets).
> > That’s why I say that Bayesian inference bears a strong ‘family
> > resemblance’ to functions/relations.
>
> > You agreed that analogies bear a strong ‘family resemblance’ to
> > categories.
>
> > Category theory *includes* the arrows. So if the arrows are the
> > functions and relations (which I argued bears a strong family
> > resemblance to Bayesian inference), and the categories (which you
> > agreed bear a family resemblance to analogies) are primary, then this
> > proves my point, Bayesian inferences are merely special cases of
> > analogies, confirming that analogical reasoning is primary.
>
> You may develop. My feeling is that to compare category theory and
> Bayesian inference, is like comparing astronomy and fishing. They
> serve different purposes. Do you know Dempster Shafer theory of
> evidence? This seems to me addressing aptly the weakness of Bayesian
> inference.
>
> Bruno
>
> http://iridia.ulb.ac.be/~marchal/- Hide quoted text -
>
> - Show quoted text -- Hide quoted text -
>
> - Show quoted text -- Hide quoted text -
>
> - Show quoted text -
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sun Aug 30 2009 - 01:34:27 PDT