i j a

o g
l
TEORIJE
o
b i
KOMPLEKSNOSTI I
2
20. 7. 2012.

r o
VETAKI IVOT
t 1
(A-LIFE)

s 2 0
A
 OGRANIENJA FORMALNIH SISTEMA

i j a
o g
l
2. Hilbertov problem: dokazati da su aksiomi aritmetike
konzistentni.

i o
NEMOGUE! (Gdel 1931)

o b 2
10. Hilbertov problem: nai algoritam za odluivanje da li

r 1
zadata Diofantova jednaina ima reenje.

t 0
NEMOGUE! (Turing 1936; Davis, Robinson, Matijaevi 1970)

A s 2
Das Entscheidungsproblem generalno nereiv: potrebno je
Tjuringovo proroite (oracle) obino se podrazumeva...

(Univerzalna) Tjuringova maina

 ALGORITAMSKA KOMPLEKSNOST

i j a
o g
l
String s

o
s1: hf2h27ygdgwudklsldhgejdjdbsghafaewrteuw

i
s2: aobaobaobaobaobaobaobaobaobaobaobaobaob

b
s3: 159265358979323846264338327950288419716

o 2
ta je ovde najkompleksnije?

r 1
Mnogo programa koji generiu s

t 0
Nai najkrai takav program

s 2
Izmeriti njegovu duinu u bitovima (npr. 7 za ASCII simbol)

A
To je K(s) = min |d(s)|
Algoritamska (Kolmogorovljeva, bit-string) kompleksnost
Kolmogorov, Solomonoff (1960-65), Chaitin (1975-danas) :
AIT (Algorithmic Information Theory)
 BERIJEV PARADOKS

i j a
o g
o l
Bibliotekar u Bodleiani...

i
OPISUJMO brojeve reima:

b 2
1 : jedan, dva minus jedan, sledbenik

o
nule, itd.

r 1
7: sedam, najvei jednocifren prost

t 0
broj, itd.

s 2
3571: tri hiljade pet stotina sedamdeset

A
jedan, petstoti prost broj, itd.
Beri: koji je najmanji broj za iji je opis
potrebno vie od milion rei?
 a
OSOBINE KOLMOGOROVLJEVE
KOMPLEKSNOSTI
i j
o g
l
Teorema: Minimalni opis ne moe biti mnogo

o
dui od samog stringa:

i
( c )( s ) K ( s ) s +c

o b 2
1
Dokaz: program koji generie s i zaustavlja
se!
t r 0
A s 2
Teorema: K(s) je neizraunljiva funkcija.
Dokaz: svodjenjem na apsurd (Tjuring-
ekvivalentno 10. Hilbertovom problemu)
EJTINOVA TEOREMA O NEPOTPUNOSTI

i j a
o g
l
Postoji konstanta L Dokaz: analogan

o
u aksiomatskom dokazu Gedelove

b i
sistemu S takva da teoreme o

( ) ro
nema stringa s za
koji se tvrdnja
1 2 nepotpunosti
matematike!

s t
K s L

2 0
A
moe dokazati u S.
 TA NAM JE JO POTREBNO?

i j a
o g
l
Uoptenje AIT na

o
druge entitete

b i
Kako stringovima

o 2
opisati...bakterije...

r 1
t 0
ivotinje...

s 2
Kvazikristale...

A
Penrouza... nas
ovde?
 SIMCIT Y, SIMEARTH,...

i j a
o g
o l
i
Od poetka 1990-tih

o b 2
1
Bezbrojni nastavci i analozi:

r
SimVille, The Sims, SimTower,

t 0
SimEarth...

A s 2
Emergentna kompleksnost na
najoigledniji nain!
 IDENTITAS INDISCERNIBILIUM

i j a
o g
l
Lajbnic: identinost nerazliivosti

o
Simulacija emulacija ( F ) ( Fx Fy ) x y

i
Postoji li emulacija?

o b 2
t r 0 1
A s 2
 j a
ZADATAK: PRIMENITI AIT NA BIOSFERU

i
o g
l
AIT omoguava
poreenje

i o
kompleksnosti
genetskih kodova,

b 2
ali...

o 1
...razumevanje

r
kompleksnosti

t 0
evolucionih

s 2
interakcija jo je
JAKO DALEKO.

A
Povezivanje
intuitivne sa
algoritamskom
kompleksnou:
veliki zadatak za
astrobioloku teoriju
budunosti!
 TA JE VETAKI IVOT? (A-LIFE)

i j a
o g
l
Predistorija: Arhita, Heron, imp.

o
Teofil, Al-Dazari, de Vokanson...

b i
2
Originalna ideja: Tjuring (1936),

r o 1
fon Nojman (oko 1948; 1966)

t
s 2 0
Moderna verzija: Kristofer Lengton

A
(oko 1985)
Vetaki ivot sintetiki ivot
(sintetika biologija)
 i j a
o g
l
Program (...01101011...) raunar output

i o
b 2
koji moe biti drugi program!

t r o 1
s 2 0
DNK (...GATCCTAG...) razvie organizam

A koji sadri svoju DNK!

 FON NOJMANOVE MAINE

i j a
o g
l
Problem: kako

o
spakovati
informaciju o

b i
samom sebi?

r o 1 2
t 0
Fon Nojmanov

s 2
kinematiki model

A
Priroda to radi bolje!
Poreklo CA
 LENGTONOV MRAV

i j a
o g
l
Komplikovano

i o
emergentno ponaanje
iz prostih pravila

o b 2
Belo polje: okreni se za

r 1
90 udesno, promeni

t 0
boju polja, pomeri se za

s 2
1

A
Crno polje: okreni se za
90 ulevo, promeni boju
polja, pomeri se za 1
Turmiti, kvajnovi,
Patersonovi crvi, ...
 j
CONWAY I GAME OF LIFE

i a
o g
l
John. H. Conway

o
(1970)

i
Deterministiki

b 2
celularni automat

r o
zero-player game

t 1
s
Garden of Eden
stanja?
2 0
A
Mogu univerzalni
konstruktor UNUTAR
GoL!
 NEZAVISNOST OD SUPSTRATA?

i j a
o g
l
Vitalizam odbaen!

i o
o b 2
r 1
Bioloki vs. Digitalni supstrat

s t 2 0
A
Ima li ih jo?
TOM RAY I TIERRA

i j a
o g
l
digitalna ekologija

i o
Mutacije, evolucija,

b
kohabitacija,

o
parazitizam...

r 1 2
t 0
OPTIMALNIJE od

s 2
dizajna!

A
 RAUNARSKI VIRUSI

i j a
o g
l
Primer digitalne ekologije

i o
Da li ra. virusi dokazuju

b
nezavisnost od supstrata?

o 1 2
Da li postoje granice

r
t 0
kompleksnosti virusa?

A s 2
Alastair Reynolds,
Revelation Space (+
nastavci)
 i j a
o g
l
A-life: bottom-up pristup (za razliku od AI)

i o
Slaba A-life teza: A-life ispituje izolovane

b
karakteristike ivota

o 1 2
Jaka A-life teza (npr. Ray): A-life predstavlja

r
t 0
stvaranje novog ivota

s 2
A-life prelazi u sintetiku biologiju

A
Razvitak A-life-a prua najbolju nadu za razvoj
opte teorije ivota / testiranje informatikih
definicija ivota