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 <dav...@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+h...@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
