Documente Academic
Documente Profesional
Documente Cultură
2013 2 4 PDF
2013 2 4 PDF
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.
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
117
118
CRISTI STOICA
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
119
[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.