On 11 Jan 2012, at 18:07, acw wrote:
On 1/10/2012 17:48, Bruno Marchal wrote:
On 10 Jan 2012, at 12:58, acw wrote:
On 1/10/2012 12:03, Bruno Marchal wrote:
On 09 Jan 2012, at 19:36, acw wrote:
To put it more simply: if Church Turing Thesis(CTT) is correct,
mathematics is the same for
On 11 Jan 2012, at 19:35, acw wrote:
On 1/11/2012 19:22, Stephen P. King wrote:
Hi,
I have a question. Does not the Tennenbaum Theorem prevent the
concept
of first person plural from having a coherent meaning, since it
seems to
makes PA unique and singular? In other words, how can multipl
On 12 Jan 2012, at 06:24, John Clark wrote:
Bruno Marchal wrote:
>> however we don't know that there is a explanation for everything,
some things might be fundamental.
> In the case of elementary arithmetic, we can even explain why we
cannot explain it by something more fundamental. There
On Wed, Jan 11, 2012 Craig Weinberg wrote:
> > > If you know the logic behind something then you understand it and if
>> you understand it you know the logic behind it.
>>
>
>
> > That's a false assumption. I can understand something whether or not
> it has logic behind it.
>
>
You can know
Hi Bruno,
On 1/12/2012 1:01 PM, Bruno Marchal wrote:
On 11 Jan 2012, at 19:35, acw wrote:
On 1/11/2012 19:22, Stephen P. King wrote:
Hi,
I have a question. Does not the Tennenbaum Theorem prevent the concept
of first person plural from having a coherent meaning, since it
seems to
makes PA
On Jan 12, 4:18 pm, John Clark wrote:
> On Wed, Jan 11, 2012 Craig Weinberg wrote:
>
> > > > If you know the logic behind something then you understand it and if
> >> you understand it you know the logic behind it.
>
> > > That's a false assumption. I can understand something whether or not
>
6 matches
Mail list logo
