ADEVRUL N MATEMATIC I FIZIC

n general, adevrul reprezint o concordan a ideilor noastre cu realitatea.

Stabilirea acestei concordane este relativ dificil, deoarece posibilitatea noastr de a forma
ideile i de a percepe realitatea este limitat.
n procesul cunoaterii apare urmtoarea schem
REALITATE

CUNOATERE DIRECT SAU

PRIN DIVERSE EXPERIENE

MODEL

PROCES DE
ABSTRACTIZARE

TEORIE

A P L I C A I I A L E T E O R I E I, E X P E R I E N E

Evident c, orice neconcordan cu realitatea duce la modificarea modelului.

Aceast particularitate a procesului cunoaterii, aceea de a modifica modelul ori de cte ori
apar noi fapte, exist n toate tiinele. n matematic exist ceva mai mult, n sensul c problema
adevrului este rezultat printr-o formalizare, care nu mai cere o legtur direct cu realitatea.
1. Ce este logica? Omul este capabil s gndeasc i s comunice gndurile sale semenilor si.
ns, doi oameni chiar dac vorbesc aceeai limb, nu reuesc ntotdeauna s se neleag.
Experiena cotidian ne arat c att limbajul nostru ct i propriile noastre gnduri conin
multe ambiguiti. Auzim adesea "Azi 1-am vzut pe George! Era schimbat!" Ce s nelegem prin
asta? C George nu mai este George? Dar atunci cine? Alteori auzim: "Orice ai face, George tot
George rmne!"; dar cine ar putea fi George, dac nu George!
Comentariul de mai sus poate prea stupid, dar este clar c multe fraze pe care le auzim zilnic,
luate ad literam , sunt puin confuze, ca cele de mai sus, sau chiar pot avea un alt neles, cum este
cazul expresiilor de stil. De aceea, pentru a-i mri precizia n comunicare, oamenii au ncercat
printre altele, s stabileasc anumite reguli de gndire i de exprimare. n felul acesta a aprut logica
general, care este o teorie a formelor gndirii aa cum se realizeaz ea cu ajutorul limbilor naturale.
Cel care a pus bazele logicii generale este filozoful grec antic Aristotel a crui oper i
pstreaz valoarea i n zilele noastre. Ce nseamn de fapt a gndi? A gndi sau a cugeta nseamn
a reflecta realitatea n mod contient, a "mica" gndurile ntr-un anumit fel, dup anumite principii.
Menionm primele principii ale gndirii:
1) Principiul identitii: n acelai timp i sub acelai raport orice noiune este identic cu ea
nsi.
2) Principiul necontradiciei: este imposibil ca n acelai timp i sub acelai raport o judecat s
fie i adevrat i fals.
3) Principiul teriului exclus: n acelai timp i sub acelai raport, o judecat sau este adevrat
sau este fals, a treia posibilitate neexistnd (tertium non datur).
S comentm, de exemplu, principiul identitii. Cnd spunem "Omul este om", propozitia se
accept ca fiind adevrat. De ce? Un rspuns simplist ar fi c "aceasta este de la sine nteles, altfel
nu se poate". Cum s-a ajuns la acest "de la sine neles"? Aproape zilnic ne ntlnim cu diveri
cunoscui. "L-am vzut azi pe George!", "Uite-l pe George!", sunt expresii frecventate. Cnd afirm
"L-am vzul azi pe George!", nseamn c 1 cunosc i c este cel puin a doua oar cnd l vd.
Mai mult se presupune c George pe care 1-am vzut cndva este acelai George pe care 1-am
vzut azi. George din trecut i George de azi se afl n continuumul spaiu-timp i exist proprieti
de fond comune ntre George din trecut i George cel de azi. Pe aceast baz putem afirma c
"George este George!". Astfel noi l identificm pe George cu George pe baza unei suprapuneri
reale, dar relative, cci este posibil ca George din trecut s difere sub multe aspecte fa de George
cel de azi, diferene pe care noi le neglijm. Este deci vorba de capacitatea noastr de a putea
reproduce pe plan mental n mod voit diverse situaii, de a compara i de a reine ceea ce noi
considerm esenial.
Principiile gndirii sunt n fond reguli care au menirea de a permite fidelitate n transmiterea
ideilor i un fel de "acordare pe frecvene apropiate" a tuturor celor ce gndesc.
Aceasta se datorete, printre altele, faptului c omul este o fiin social, capabil s comunice
1

cu semenii si.
Dar aceste principii reprezint doar o alternativ pentru o gndire corect. De exemplu, prin
modificarea teriului exclus (specific logicii cu dou valori, adevrat i fals), se obtin logici cu mai
multe valori (adevrat, fals, absurd, probabil, etc.).
Cu totul alta este situaia, de exemplu, n literatur, unde mesajul se transmite prin asociaii de
idei, imagini artistice sau chiar prin nclcarea unor principii ale gndirii. O situaie tipic n acest
sens o constituie un anumit gen de umor. Astfel, regretatul matematician i logician Grigore Moisil,
ntr-o mprejurare care vorbea despre mai tnrul su coleg Ion D. Ion (actualmente Profesor
universitar la Facultatea de Matematic a Universittii din Bucureti) a "produs" urmtoarea butad:
"l cunosc pe Ion D. Ion de mult timp, dar nici acum nu tiu care este numele i care este
prenumele!". Evident c judecnd ntr-o logic riguroas, remarca este stupid, deoarece "Ion este
totuna cu Ion" i nu se mai pune problema numelui i a prenumelui. Dimpotriv, dac renunm la
principiul identitii, "Ion nu este neaprat totuna cu Ion", atunci remarca este cel mult amuzant,
cci sun n genul "l cunosc pe Ion D. Marin de mult timp, dar nici acum nu tiu care este numele
i care este prenumele". n cazul de fa umorul, dac este sesizat, provine din posibilitatea
spiritului de a oscila ntre o logic strict i o logic confuz, fr reguli precise. Deci i perceperea
unui anumit gen de umor presupune o elasticitate a gndirii.
S revenim la chestiunea logicii.
Se numete propoziie sau judecat, un enun despre care tim c este adevrat sau fals, ns nu
i una i alta simultan. S observm c ultima parte a definiiei se refer la principiul
necontradiciei. De exemplu, enunurile "Zpada este alb", "2 3" sunt propoziii, n timp ce
enunurile "Atomul de heliu este verde" i "x1" nu sunt propoziii.
Deci unei propoziii i putem ataa aa numita valoare de adevr: dac propoziia este adevrat
spunem c are valoarea de adevr "adevrul", dac este fals spunem c are valoarea de adevr
"falsul". Combinnd diverse propoziii obinem noi propoziii, pentru care valoarea de adevr se
stabilete dup reguli precise. De exemplu, dac p i q sunt dou propoziii, atunci "p sau q" este o
propoziie care este adevrat dac i numai dac cel putin una dintre propoziiile p i q este
adevrat.
Am ajuns astfel la o treapt a logicii generale numit logica matematic, n care nu ne
intereseaz "coninutul" unei propoziii, ci numai modul n care se propag valoarea de adevr prin
diverse operaii cu propoziii. Este clar c n acest mod apar nite propozitii care nu mai pot fi
descompuse n altele i pentru care valoarea de adevr nu poate fi stabilit dect fie prin raportarea
lor la realitate, fie n mod arbitrar.
2. Sisteme axiomatice. Se numete sistem axiomatic, un grup de noiuni fundamentale care
ndeplinesc anumite condiii exprimate printr-un numr de propoziii numite axiome.
Un sistem axiomatic genereaz enunuri noi (noiuni derivate). Asemenea enunuri se numesc
definiii. Propozitiile care se deduc din axiome i definiii pe baza regulilor logicii se numesc
teoreme. Justificarea unei teoreme se numete demonstraie. Se numete model pentru o teorie
axiomatic dat, un sistem de concepte luate din alt teorie axiomatic care verific i axiomele
teoriei date.
n legtur cu un sistem axiomatic se pun mai multe probleme:
(1)problema necontradiciei (un sistem axiomatic este necontradictoriu dac n el nu exist o
propozitie p astfel nct p, ct i negatia ei, p s se deduc din axiome, adic s fie adevrate n
sistem);
(2) problema independenei (o axiom A se spune c este independent de celelalte axiome
dac A nu se poate deduce din restul axiomelor; analog se definete independenta noiunilor
fundamentale din sistem; sistemul axiomatic se numete independent sau minimal dac fiecare
axiom sau noiune fundamental este independent de celelalte);
(3) problema completitudinii i categoricitii (un sistem axiomatic se numete complet dac
pentru orice propozitie p formulat n sistem se poate demonstra sau p sau negaia sa p ; un sistem
axiomatic se numete categoric dac toate modelele sale sunt izomorfe).
Deci n matematic problema adevrului unei propoziii se rezolv prin raportarea ei la axiome.
3. Geometria euclidian. Cel mai intuitiv sistem axiomatic din matematic este cel al
2

geometriei euclidiene, al crui model reprezint o prim aproximaie a realitii nconjurtoare.

De exemplu, n axiomatica prezentat n manualele de liceu noiunile fundamentale sunt
punctul, dreapta, planul, distana i msura unghiurilor. Noiuni, ca de exemplu, notiunea de unghi
i noiunea de paralelism sunt noiuni derivate. Acest sistem axiomatic a fost iniiat de Euclid acum
2300 de ani. Dar prima axiomatizare a geometriei conform cu exigenele actuale a fost realizat de
Hilbert n 1909. Modelul euclidian consider realitatea ca un spaiu tridimensional. Un rol esenial
n perceperea realitii ca un spaiu tridimensional l au urmtoarele dou simuri: vederea
binocular (doi ochi situai n fa) i capacitatea omului de a percepe gravitaia i de a-i aprecia
poziia corpului n spaiu. Menionm c vederea cu doi ochi aezai n fa permite aprecierea
distanei prin suprapunerea pe creier a celor doua imagini diferite. Este greu de spus ce dimensiune
ar avea modelul nostru despre realitate, dac am avea alte simuri sau alt dispunere a acestora. De
exemplu, dac am avea vederea iepurelui (ochii aezai lateral) am vedea o realitate bidimensional,
mai precis un plan proiectiv, adic un plan n care oricare dou drepte se intersectez.
Nici omul nu "vede" drepte paralele, dar le gndete ca fiind paralele, datorit posibilitaii sale
de a aprecia n profunzime. Cmpul vizual al omului este ngust dar cu profunzime, n timp ce
cmpul vizual al iepurelui este larg, dar lipsit de profunzime. Capacitatea omului de a vedea "cu
ochii minii" n profunzime, face posibil urmtoarea iluzie curioas: discul solar pare mai mare
atunci cnd este privit la orizont dect atunci cnd este privit n largul boltii cereti. Aceast iluzie
este de natur psihic, nu fizic, deoarece mrimea unghiular a discului solar este aceeai, oriunde
pe bolta cereasc. Explicaia iluziei este urmtoarea: capacitatea noastr de a aprecia n profunzime
face, ca datorit reperelor terestre, s considerm distana de la ochi pn la linia orizontului mai
mare dect cea de la ochi la un punct din mijlocul bolii cereti (unde nu avem repere); de aceea
discul solar privit la orizont, fiind "gndit" mai indeprtat dect dac ar fi privit n largul bolii
cereti (cnd are aceeai mrime unghiular) este "gndit" mai mare.
n concluzie, geometria euclidian este o consecin direct a simurilor noastre.
4. Geometrii neeuclidiene. nc de acum aproximativ 2300 de ani, unii dintre filozofii vechii
Elade citind opera lui Euclid au artat anumite rezerve fa de postulatul al V-lea: "Dac o dreapt,
tind dou drepte, formeaz unghiuri interne i de aceeai parte mai mici dect dou unghiuri
drepte, cele dou drepte prelungite la infinit se ntlnesc de partea de care se afl unghiurile mai
mici dect dou unghiuri drepte" (echivalent, n plan, "printr-un punct exterior unei drepte, se poate
duce o singur dreapt paralel cu dreapta dat"). Nimeni nu contesta acest adevr, exprimat n chip
de teorem, dar nu nelegeau de ce acest adevr fusese pus printre postulate (axiome) i nu acolo
unde prea c-i este locul, adic printre teoreme? Nu cumva acest adevr ascundea o teorem pe
care Euclid nu reuise s o demonstreze? n limbajul modern, se punea deci problema dac axioma
a V-a este independent de celelalte. De atunci, matematicienii au ncercat s demonstreze
postulatul V, ns fiecare demonstraie gsit se dovedea a fi eronat. Toate aceste cutri au durat
pn in secolul al XIX-lea, cnd rezultatul a fost surprinztor fa de ateptrile de pn atunci:
postulatul V este doar o ipotez posibil pentru geometrie, adic este ntr-adevr o axiom
independent de celelalte. Mai precis Janos Bolyai i Nikolai Lobacevski au construit independent
unul de cellalt modele geometrice care verificau toate axiomele geometriei euclidiene, cu excepia
axiomei paralelelor (postulatul V), care n aceste modele era fals.
Dup moartea lui Carl Friederich Gauss (1777-1855), din cercetarea corespondenei acestuia cu
ceilali matematicieni a rezultat c Gauss intuise adevrul privind postulatul V, naintea celor doi.
Aceast constatare c postulatul V este doar o ipotez a avut o nsemntate excepional pentru
tiin, cci a permis construcia unor noi geometrii, bazate pe alte axiome dect cele euclidiene. De
exemplu, o geometrie neeuclidian este o geometrie n care toate axiomele geometriei euclidiene
sunt acceptate cu excepia axiomei paralelelor care este nlocuit cu negaia sa. Modificnd celelalte
axiome, obinem alte geometrii, care nu sunt euclidiene. Exist dou geometrii neeuclidiene: o
geometrie n care printr-un punet exterior unei drepte se pot duce mai multe paralele i o geometrie
n care printr-un punct exterior unei drepte nu se poate duce nici o paralel. Riemann a artat c
geometria obinuit pe o sfer sau mai general geometria pe o suprafa de curbur constant
pozitiv este o geometrie neeuclidian plan, fr drepte paralele. Este deci vorba de un model de
geometrie neeuclidian plan construit n geometria euclidian din spaiu ! Prin aceasta se rezolv i
3

problema necontradiciei geometriei neeuclidiene, n sensul reducerii ei la problema necontradiciei

geometriei euclidiene din spaiu: dac geometria plan neeuclidian ar fi contradictorie, atunci i
geometria euclidian din spaiu ar fi contradictorie. Privitor la consideraiile anterioare se pun dou
ntrebri: de ce exist mai multe geometrii i de ce geometria euclidian a aprut prima? n primul
rnd, alte geometrii dect cea euclidian sunt posibile din punct de vedere logic. Ele apar ca
alternative. n al doilea rnd, unele dintre ele dau aproximri mai precise ale spaiului nconjurtor
dect modelul euclidian, fiind dictate de anumite fapte experimentale. De exemplu, teoria
relativitii se bazeaz pe o geometrie care nu este euclidian. Astfel se explic i de ce modelul
euclidian a aprut primul: acesta se bazeaz pe cercetarea direct a spaiului cu ajutorul simurilor
noastre, modelul euclidian reprezentnd cea mai simpl aproximare a realitii.
5. Problema adevrului in fizic. n cele ce urmeaz ne vom referi doar la felul n care fizica
descrie spaiul nconjurtor. n aceast privin modelul clasic al realitii este cel al lui Newton,
care consider spaiul fizic ca un spatiu euclidian tridimensional. ns, dup cum am vzut,
ncepnd cu Gauss, Bolyai, Lobacevski i Riemann, matematicienii au tiut c prin gndire sunt
posibile forme spaiale pur matematice, de un aspect variat i multiplu, spaiul euclidian nefiind
dect un caz particular al acestora. Riemann a enunat nc din anul 1854 teza c forma
fundamental a unui continuu spaial cu structur metric trebuie dedus din "forele de coeziune
care acioneaz" asupra acestui spaiu. n termeni moderni aceasta ar nsemna c spaiul fizic este o
varietate riemannian, adic un spatiu care nu este euclidian, dar care n jurul unui punct se
comport aproximativ ca un spaiu euclidian.
i iat c n anul 1887 fizicianul Michelson efectueaz o experient ce avea s rmn celebr
i care d prima lovitur edificiului clasic, n sensul c rezultatul acestei experiene nu poate fi
explicat n modelul newtonian al spaiului fizic. n acest context, Albert Einstein are marele merit de
a fi ndrznit s aplice la realitatea fizic ceea ce matematicienii gndiser doar ca o posibilitate
logic. El concepe, la nceputul secolului nostru, teoria general a relativitii. n aceast teorie,
spaiul i timpul, care n concepia lui Newton erau entitti independente, sunt unificate ntr-o
varietate spaio-temporal cvadrimensional (varietate riemannian cu patru dimensiuni) n care
spatiul este "curb", curbura fiind accentuat n vecintatea corpurilor de mas foarte mare, cum ar fi
Soarele. O analogie pentru aceast "curbare", analogie nu lipsit de pericole, este aceea cu o
suprafat care se curbeaz n spatiu. Acest nou model a fost confirmat de o serie de experimente.
ocul produs n lumea fizicii de teoria relativitii este splendid ilustrat de o epigram
englezeasc:
"Natura i legile ei erau ascunse n bezn
Dar Dumnezeu a spus "S fie Newton !" i s-a fcut lumin.
Veni peste un timp diavolul i exclam "S fie Einstein !"
i totul reintr n bezn".
n concluzie, putem spune c n fizic, sau n alte tiine ale naturii, adevrul are un caracter
relativ, fiind mereu raportat la realitate, n timp ce n matematic, adevrul are un caracter absolut,
deoarece nu mai este raportat la realitate ci la un sistem de axiome.
ns, dup cum am vzut n exemplul de mai sus, un adevr matematic a putut s prefigureze
un adevr fizic i acesta nu este singurul caz n istoria descoperirilor despre natur.