Arutelu:Tõestus
Allikas: Vikipeedia
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)