Co to jest dowód?

[kamfora]

Jaka jest właściwie definicja dowodu?

[Gość: pak]

Jedna z definicji mowi:

Dowod to zapis kompletnego procesu myslowego uzytego celem osiagniecia
konkluzji. Kazdy krok tego procesu jest wsparty postulatem lub definicja,
ktorych celem jest obrona wpsieranego kroku.
W formalnych dowodzach Euklidesa, zaden krok nie moze byc pominiety.

[spiral_architect]

Wazne jest nie to, czym jest dowod, lecz CO DLA KOGO jest dowodem :).

[...]

[Gość: gosc]

Wiadomość została usunięta ze względu na złamanie prawa lub regulaminu.

[...]

[spiral_architect]

Wiadomość została usunięta ze względu na złamanie prawa lub regulaminu.

[...]

[Gość: pak]

Wiadomość została usunięta ze względu na złamanie prawa lub regulaminu.

[kamfora]

spiral_architect napisał:

> Wazne jest nie to, czym jest dowod, lecz CO DLA KOGO jest dowodem :)

Hmmm...
No więc: co dla Ciebie jest dowodem?

[Gość: gość]

Dla matematyka (współcześnie) jest to ciąg formuł prowadzący od założenia do
tezy, w którym każdą formułę otrzymuje się z poprzednich w drodze pewnych
ściśle określonych dozwolonych przekształceń (niezbyt ściśle to ujmując).
W praktyce za dowód uznaje się rozumowanie, co do którego rozsądnie wierzy się,
iż dałoby się zapisać w powyżej opisanej idealnej formie, choć nikt zwykle go w
takiej formie nie zapisuje (bo byłaby ona potwornie długa i nieczytelna).
To, co matematycy w przeszłości uważali za dowody, na ogół spełnia powyższą
uzytkową definicję, choć nie zawsze. Z dzisiejszego punktu widzenia te, niezbyt
liczne, ważne dowody z przeszłości, które nie dają się ściśle sformalizować, są
po prostu błędne (co nie zmienia faktu, że i błędny dowód mógł się niekiedy
przyczynić, w swoim czasie, do rozwoju matematyki).

[Gość: Marcinlet]

Czy powinno się robić dowód, że dowód jest poprawny? A potem znowu udowadniać
ten dowód...

[Gość: gosc]

Trzeba zacząć od tego,że człowiek jest analitykiem dowodu.Więc trzeba założyć,że
niepodważalne są takie pojęcia jak prawda i poprawność rozumowania.Ta ostatnia
bardzo zależy od uznania.Wymóg weryfikowalności jest nieodłączną cechą dowodu,bo
przynajmniej jako konfirmowalność musi dowód dotyczyć odniesień
empirycznych.Jednak uniwersalność dowodu jest podważona przez fakt,że baza
dowodzenia stanowi cząstkowy zasób nauki i ewoluuje.