Re: register true origins (was Re: [libreoffice-users] inserting (exactly) a line before a paragraph using styles)

[Felmon Davis <davisf@union.edu>]

On Wed, 8 Aug 2012, Mirosław Zalewski wrote:

> Felmon,
>
> I find your attitude towards discussion worth a respect. I wish everyone would 
> do as you do.

thank you! danke! Dziękuję!

> I think we agree in most of points.
>
> I would only like to comment this part:
>
> On 07/08/2012 at 18:58, Felmon Davis <davisf@union.edu> wrote:
> > I find this an absurd criterion of proof. there are plenty of proofs
> > of things I do not understand, for instance in math physics or fluid
> > dynamics, but that doesn't imply they are not proofs!
>
> But, honestly, I fear that providing accurate explanation in English is beyond 
> me at the moment. We would need to go into basics of methodology history and 
> theories, as well as philosophical concepts behind them. After that, I think 
> you could agree with me. But explaining is not only difficult for me, it would 
> also be awfully off the list topic.
>
> Therefore, I hope you do agree that we should end this discussion here.

ok, besides someone else authoritatively declared the thread 'dead and 
buried'.

but a quick question: are you an 'intuitionist' about proofs?

several yrs ago there was a flap about a computer solution of the 
'four color problem'; some feel that there is no proof unless some 
person can grasp it thus proofs produced by supercomputers are really 
not proofs if no human being can trace the immensely many deductive 
steps. don't ask me for details. I have a vague recall of Tymozcko's 
work,

Tymozcko, Thomas (1979), `The four-color problem and its philosophical 
signicance', Journal of Philosophy, 76, 57-83.

wow! now we have decisive proof the thread is closed!

and, no, I am not 'adorable'.

Felmon

--
Felmon Davis

We may love a place and still be dangerous to it.  -- Wallace Stegner
--
For unsubscribe instructions e-mail to: users+help@global.libreoffice.org
Problems? http://www.libreoffice.org/get-help/mailing-lists/how-to-unsubscribe/
Posting guidelines + more: http://wiki.documentfoundation.org/Netiquette
List archive: http://listarchives.libreoffice.org/global/users/
All messages sent to this list will be publicly archived and cannot be deleted