Date: prev next · Thread: first prev next last
2012 Archives by date, by thread · List index

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


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 <> 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 Davis

We may love a place and still be dangerous to it.  -- Wallace Stegner
For unsubscribe instructions e-mail to:
Posting guidelines + more:
List archive:
All messages sent to this list will be publicly archived and cannot be deleted


Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.