On Thursday, October 24, 2013 10:16:55 AM UTC-4, Bruno Marchal wrote:
>
>
> On 23 Oct 2013, at 20:07, Craig Weinberg wrote:
>
>
>
> On Wednesday, October 23, 2013 12:34:05 PM UTC-4, Bruno Marchal wrote:
>>
>> <snip>
>
> "My problem is that you need
> to do the math to evaluate how much seriously you can take this remark."
>
> Under comp, why couldn't I just imagine tasting the flavor of the math
> instead?
>
>
> With comp, when you test the flavor of coffee, you do, actually, test the
> flavor of some math.
>

##
Advertising

That's what I am saying. It would have to be the case under comp. My point
though is that it is absurd. Tasting something gives us no mathematical
understanding. The understanding that flavor does provide is the opposite
of math. It is immediate (although develops briefly through time as well),
it is irreducible to anything other than flavor, and it does not consist of
'stepped reckoning' of any kind, it is an aesthetic gestalt.
> But you test it from the inside of math, and so it looks different from
> the math we learn at school. That it looks different is explainable by any
> Löbian machine,
>
Taste doesn't look like anything though, and it cannot ever look like
anything. If it did, then it would be vision. If it could be vision, then
it would be profoundly redundant to have both senses of the same
data...(assuming that Santa Claus has brought the possibility of senses to
begin with.)
and can be understood intuitively with some training in the comp thought
> experiment. The difference are accounted by the intensional nuance of
> Gödel's provability.
>
I don't think it is. It seems clear to me that any mechanical accounting of
sense implicitly takes sense for granted from the start. There is no
functional difference between sight, smell, feeling, hearing, etc. There is
no intensional nuance that ties to the possibility of any one of them -
only a grey box where something like virtual proof could theoretically live.
Craig
Bruno
> http://iridia.ulb.ac.be/~marchal/
>
>
>
>
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.