O dowodzeniu

Article View: alt.pl.matematyka

Article #9698

#9698

From: Maciej Woźniak
Date: Thu, 09 Jul 2009 19:57

13 lines
1274 bytes

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ą.

Technical Details

Message-ID: <h35i2g$fia$1@news.task.gda.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.task.gda.pl!not-for-mail

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.task.gda.pl!not-for-mail
From: Maciej Woźniak <mlwozniak_no_spam_@wp.pl>
Newsgroups: alt.pl.matematyka
Subject: O dowodzeniu
Date: Thu, 9 Jul 2009 21:57:09 +0200
Organization: CI TASK http://www.task.gda.pl/
Lines: 14
Message-ID: <h35i2g$fia$1@news.task.gda.pl>
NNTP-Posting-Host: chello089079182206.chello.pl
Mime-Version: 1.0
X-Trace: news.task.gda.pl 1247169424 15946 89.79.182.206 (9 Jul 2009 19:57:04 GMT)
X-Complaints-To: abuse@news.task.gda.pl
NNTP-Posting-Date: Thu, 9 Jul 2009 19:57:04 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5512
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit