Arutelu:Tõestus

Siin on segi aetud tõestamine ranges mõttes ja tõestamine veenva põhjenduse ehk tõendamise mõttes. Andres 21:46, 12 Mar 2005 (UTC)

Vt. nüüd
Tõestamise mõistmine nõrgas mõttes on pigem üldkeelne. Selle mainimine on vajalik, et inimesed orienteeruksid sõnakasutuses, kuid artikkel peaks olema pühendatud tõestusele ranges mõttes. Kui rääkida mõlemast segamini, siis artikkel ähmastub.
Katse ja eksituse meetod ei puutu minu meelest üldse asjasse. Katse ja eksituse meetod on ju lahenduse otsimine kobamisi. Andres 12:18, 13 Mar 2005 (UTC)

Ma pole nõus, et tõestus peab olema deduktiivne. On ka induktiivseid tõestusi. Taivo 16:26, 13 Mar 2005 (UTC)

Siis kirjuta sellest lähemalt. Andres 16:42, 13 Mar 2005 (UTC)

Alguses on kirjutatud:

Tõestus on arutlus, mis näitab mingi propositsiooni tõesust.

See ei ole siin vist küll päris ühemõtteline sõnastus, aga tõestus ei tohi kasutada protseduure, mis toetuvad kogemusele. Andres 18:18, 13 Mar 2005 (UTC)

Ma pidasin silmas: protseduure, mis toodavad kogemust. Andres 18:19, 13 Mar 2005 (UTC)


Pakun välja niisuguse alguse:

Tõestuse all mõeldakse matemaatikas, loogikas ja filosoofias kehtivat arutlust, mille eelduste tõesus on teada või kokku lepitud.

Jätkan hiljem. Andres 15:01, 15 Mar 2005 (UTC)

Naase leheküljele "Tõestus".