MATEMATICA I LUMEA FIZIC1

Cristi STOICA2
holotronix@gmail.com
ABSTRACT.Physics shows that many truths about the Universe can be under
stood with the help of mathematics. On the other hand, some perceive
mathematics as very rigid, and believe that there is knowledge which cannot
be described mathematically. Here I argue that any kind of factual knowledge
can be described mathematically, and that the Universe is isomorphic with
a mathematical structure, although I admit that the complete mathematical
description may be infinite, being thus inaccessible to humans.
KEYWORDS: Mathematical Universe, Theory of Everything.

Ct de mult din Univers se poate descrie matematic?

Opiniile cu privire la rspunsul la aceast ntrebare sunt foarte
diverse:
Un posibil rspuns e c matematica nu are niciun rol, i
c ea exist cel mult n ochii privitorului. Poate n cel mai bun caz
matematica are un oarecare rol neesenial, n modelarea anumitor
fenomene.
Probabil cei mai muli se situeaz undeva la mijloc, considernd c fizica joac un rol important n descrierea universului, iar
matematica joac un rol central n metodele fizicii, ns nimic mai
mult.
Dar unii consider c matematica joac un rol esenial
n Universul n care trim, sau chiar c Universul e o structur
matematic [Wig60, Pen89, Pen05, Teg08].

Comunicare prezentat n cadrul Diviziei de Logic, Metodologie i Filozofia tiinei

cu prilejul Sesiunii anuale de comunicri tiinifice a Comitetului Romn de Istoria i
Filosofia tiinei al Academiei Romne din data de 23 octombrie 2012.
Doctorand, Institutul de Matematic Simion Stoilow al Academiei Romne.

NOEMA

V O L . X II , 2 0 1 3

116

CRISTI STOICA

Marea Carte
S presupunem c exist o Carte n care sunt scrise toate propoziiile adevrate despre Univers.
Dac exist o lege a conservrii energiei, aceast Carte o conine.
Dac aceast sesiune de comunicri are loc aici i acum, toate
detaliile ei apar n aceast Carte, odat cu descrierea complet a
fiecrui atom ce ne constituie, i cu fiecare gnd al nostru. Ea conine
orice propoziie adevrat, inclusiv despre sentimentele fiecruia
dintre noi, sau ce altceva mai exist.
Cartea conine descrierea tuturor faptelor, tuturor legilor, i
presupunem c nu exist nicio contradicie logic ntre propoziiile
din ea.
Presupunem c:
1. Marea Carte conine toate propoziiile adevrate despre
Univers.
2. Propoziiile din Marea Carte nu se contrazic ntre ele.
Probabil c Marea Carte ar avea o lungime infinit.
O ediie prescurtat a Marii Cri
Cea mai mare parte din Marea Carte e format din propoziii
care se deduc din alte propoziii din Carte. Putem terge din ea toate
propoziiile pe care le ntlnim, care se pot deduce logic din propoziiile precedente.
Rezultatul final e o carte mai mic, o ediie prescurtat a Marii
Cri, dar care conine aceeai informaie, n form implicit.
Exist mai multe posibiliti de a scrie o ediie prescurtat, logic
echivalent cu Marea Carte.
Dac descrierea logic a Universului conine numerele naturale,
atunci, conform teoremei de incompletitudine [Gd31, Smu94]3, i
ediia prescurtat are lungime infinit.
Totui nu putem exclude posibilitatea s existe o ediie
prescurtat de lungime finit, dac ignorm elementele irelevante
pentru nelegerea Universului, sau dac admitem demonstraii logice
de lungime infinit.
3

R. Smullyan: Diagonalization and SelfReference, Clarendon Press Oxford, 1994, p. 53

(Problem 1), indic urmtoarea problem (adiional teoremei de incompletitudine):
Presupunnd c suntem n posesia unei cri n care fiecare propoziie este adevrat,
construii o propoziie care s fie adevrat dar nu poate fi gsit nicieri n carte.
Rspunsul (p.55) este Aceast propoziie nu este n carte. Astfel, adugnd permanent
propoziii al cror adevr st n autoreferire, obinem o list infinit de propoziii
adevrate.

Matematica i lumea fizic

117

Teoria despre tot (Theory Of Everything)

Unele propoziii din Carte descriu adevruri care depind de
poziia n spaiu i timp de exemplu o configuraie particular a
unui sistem, sau condiiile iniiale.
Alte propoziii descriu adevruri care nu depind de poziia n
spaiu i timp de exemplu principiile fundamentale ale fizicii,
ecuaiile de evoluie, constantele universale.
Dac ne limitm doar la acestea din urm, adic la legile
universale, care sunt aceleai n timp i spaiu, obinem o carte i mai
mic. S o numim, dup cum se obinuiete, teoria despre tot (aici
cuvntul tot se refer la legile universale, nu la soluiile sau configuraiile particulare care ascult de aceste legi).
Din raionamentul de pn acum, pare perfect rezonabil s existe
o teorie despre tot, i nu e exclus ca aceasta s aib o lungime finit.
Limitele cunoaterii
Presupunnd c teoria despre tot admite o descriere de lungime
finit, putem noi oare descoperi aceast descriere?
Karl Popper argumenteaz convingtor c pozitivismul nu
are dreptate, i nu putem descoperi legile fundamentale numai din
experien i logic [Pop35, Pop02].
El arat c e necesar s propunem ipoteze i teorii, care s poat
fi testate experimental, i n caz c nu sunt adevrate, s poat fi
infirmate.
Desigur, ipotezele noastre cu privire la adevrurile universale
pot fi oricnd infirmate, indiferent de cte ori au fost verificate pn
atunci. Putem verifica doar cazuri particulare, nu ntreagul domeniu
n care se aplic (a se vedea cazul geometriei euclidiene i al fizicii
newtoniene).
Mai mult, nu exist nicio garanie c toate adevrurile despre
Univers pot fi testate prin experimente pe care oamenii le pot face.
Ar fi o coinciden prea mare ca Universul s lase unor subsisteme (noi,
oamenii) posibilitatea de verifica toate adevrurile despre ntreg.
Universul ca structur matematic
Propoziiile din Marea Carte se refer la diverse noiuni, precum
i la relaiile dintre ele. Deoarece Marea Carte conine toate adevrurile, propoziiile din ea se refer tot la noiuni descrise n ea.
De fapt, noi nu putem verifica cum sunt lucrurile n sine, ci cel
mult relaiile dintre ele.

118

CRISTI STOICA

Putem deci considera c mulimea acestor propoziii formeaz

un sistem nchis, care e un sistem formal. ntrun astfel de sistem nu
conteaz semnificaia termenilor, ci doar relaiile logice dintre ei.
Chiar presupunnd c ne intereseaz semnificaiile, dac acestea
exist, atunci sunt cuprinse deja n Marea Carte.
Conform Teoriei Modelelor, cu ajutorul Algebrei Universale se
poate construi, sub rezerva (sau n ipoteza) necontradiciei sistemului4, o structur matematic, n care axiomele sistemului formal
sunt satisfcute [CK90].
Toate propoziiile care sunt valide n aceast structur
matematic, se aplic i la Univers, i viceversa.
n concluzie, Universul e izomorf cu o structur matematic.
Aisbergul cunoaterii Universului
Urmtoarea imagine rezum cele spuse pn acum:

Concluzii
Exist o list a tuturor propoziiilor adevrate despre Univers.
Este necesar ca acestea s nu se contrazic ntre ele.
Ele formeaz un sistem logic nchis.
4

Necontradicia sistemului revine, de fapt, chiar la construcia acestei structuri

matematice adic la indicarea unui suport material care s cuprind acea structur,
respectiv un suport material din care axiomele sistemului formal s poat fi abstrase.

Matematica i lumea fizic

119

Deci exist (n sensul de exist din logica formal

matematic)5 un model matematic care satisface aceleai axiome.
Concluzie: Universul e izomorf cu o structur matematic.
Nu pretind c ne este accesibil cunoaterea complet a acestui
sistem, sau mcar cunoaterea axiomelor lui.
Probabil ideea c Universul e chiar att de matematic e inacceptabil. Dar dac am greit undeva, eroarea ar trebui s se afle n paii
de mai sus.
Bibliografie
[1]
[2]

[3]
[4]
[5]
[6]
[7]
[8]
[9]

Chang, C.C.,Keisler, H.J., Model theory, vol.73, North Holland, 1990. [CK90]
Gdel, K., ber formal unentscheidbare Stze der Principia Mathematica und
verwandter Systeme I, n Monatshefte fr Mathematik 38 (1931), no. 1, 173198.
[Gd31]
Penrose, R., The emperors new mind: Concerning minds, and the laws of physics, Oxford
University Press, Oxford, 1989. [Pen89]
Penrose. Roger, The Road to Reality, Knopf, 2005. [Pen05]
Popper, K.R., Logik der Forschung: zur Erkenntnistheorie der modernen
Naturwissenschaft, vol.9, J.Springer, 1935. [Pop35]
Popper, K. R., The logic of scientific discovery (routledge classics), Routledge, 2002.
[Pop02]
Smullyan, R. M., Diagonalization and selfreference. [Smu94]
Tegmark, M., The mathematical universe, n Foundations of Physics 38 (2008), no. 2,
101150. [Teg08]
Wigner, E.P.,The unreasonable effectiveness of mathematics in the natural sciences.
Richard courant lecture in mathematical sciences delivered at New York University,
May 11, 1959, Communications on pure and applied mathematics 13 (1960), no. 1,
114. [Wig60]

Sensul termenului exist din logica formal matematic, este mai general dect
cel comun acceptat (indicarea efectiv obiectului sau a aciunii) incluznd i cazul
teoremelor de existen al cror argument const n adevrul unei propoziii P care
afirm c o anumit mulime M are elemente dei demonstraia propoziiei P nu
indic construcia efectiv a unui obiect element al mulimii M.