Article View: alt.pl.matematyka
Article #9699Re: O dowodzeniu
From: Robakks
Date: Sun, 12 Jul 2009 07:25
Date: Sun, 12 Jul 2009 07:25
32 lines
1950 bytes
1950 bytes
"Maciej Woźniak" <mlwozniak_no_spam_@wp.pl>
news:h35i2g$fia$1@news.task.gda.pl...
> Ostatnio dwóch matematyków niezależnie, a obaj
> byli tęgimi logikami, oznajmiło mi, że nie ma
> implikacji pomiedzy (p ma dowód) i p.
>
> Tak więc, nie sądźcie, że jeśli udowodnicie
> np. twierdzenie Pitagorasa, to z dowodu tego
> wynika, że kwadrat przeciwprostokątnej trójkąta
> prostokątnego jest równy sumie kwadratów
> przyprostokątnych...:( Taki sąd nie byłby
> logiczny.
>
> Oto do czego prowadzi przerost formy nad
> treścią.
Powyższe co opisałeś jest przejawem ciężkiej choroby (degeneracji)
systemu, gdy nazwy odrywają się od rzeczy nazywanych i fruwają
w przestworzach jak gołębice.
Forma = nazwa
Treść = rzecz nazywana
Źródłem choroby nauk teoretycznych jest odrzucenie pewników
i zastąpienie ich założeniami bez uzasadnienia prawdziwości,
nadając tym założeniom nazwę "aksjomaty".
Pacjent cierpiący na alefię nie zdaje sobie sprawy, że jest chory
- produkując słowotok.
Edward Robak* z Nowej Huty
~>°<~
miłośnik mądrości
- -
kopia na pl.sci.filozofia
Technical Details
Message-ID:
<h3c34f$ei$1@inews.gazeta.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mailReferences:
<h35i2g$fia$1@news.task.gda.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail From: "Robakks" <Robakks@gazeta.pl> Newsgroups: alt.pl.matematyka Subject: Re: O dowodzeniu Date: Sun, 12 Jul 2009 09:25:06 +0200 Organization: "Portal Gazeta.pl -> http://www.gazeta.pl" Lines: 33 Message-ID: <h3c34f$ei$1@inews.gazeta.pl> References: <h35i2g$fia$1@news.task.gda.pl> NNTP-Posting-Host: chello089077154144.chello.pl Mime-Version: 1.0 X-Trace: inews.gazeta.pl 1247383503 466 89.77.154.144 (12 Jul 2009 07:25:03 GMT) X-Complaints-To: usenet@agora.pl NNTP-Posting-Date: Sun, 12 Jul 2009 07:25:03 +0000 (UTC) X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579 X-Newsreader: Microsoft Outlook Express 6.00.2900.5512 X-User: robakks Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit