Practica matematică
Această intrare sau secțiune despre matematică nu citează sursele necesare sau cei prezenți sunt insuficienți . |
În filozofia matematicii , termenul de practică matematică distinge practicile reale ale matematicienilor profesioniști (alegerea teoremelor de dovedit, notații informale, judecată privind „formalizabilitatea” diferiților pași ai dovezii, revizuirea și publicarea academică) de presupusa ” realitatea "produsului finit: matematica" finită "și" dovedită ".
Această distincție este deosebit de importantă în studiul metodelor cvasi-empirice , adică a metodelor informale de căutare a consensului printre profesioniștii din matematică, care sunt adesea baza credințelor profesionale efective. Practicile matematice moderne deosebesc matematicienii profesioniști moderni de ideile mai vechi ale etnomatematicii . Astfel de idei „etnice” și „populare” includ, fără îndoială, formule și algoritmi foarte utili, dar fără o disciplină riguroasă a probei.
Evoluția practicii matematice a fost lentă, iar unii dintre cei care au contribuit la matematica modernă nici măcar nu au urmat practicile vremii: de exemplu, lui Pierre de Fermat i s-a reproșat faptul că a omis în mare parte dovezile sale, dar totuși a avut o reputație foarte largă afirmații corecte. Contrastul dintre practicile lui Pitagora și Euclid este similar. În timp ce Euclid a fost fondatorul a ceea ce considerăm acum dovezi geometrice perfecționate, Pitagora a creat o comunitate foarte rezervată care a suprimat cele mai „ezoterice” cunoștințe și chiar existența unor rezultate, în primul rând existența numerelor iraționale. Matematicienii moderni admiră practicile lui Euclid și în mod obișnuit dezaprobă cele ale lui Fermat și ale lui Pitagora. Dar toți trei sunt considerați matematicieni primari, în ciuda diferențelor lor de metodă.
Un motiv pentru studierea practicii matematice este că, în ciuda progreselor din secolul al XX-lea, bazele matematicii sunt încă ambigue și nu sunt complet clare. Acum este obișnuit să ne concentrăm pe întrebări precum „ce se înțelege prin dovezi matematice” și alte întrebări metodologice.
