i j a

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

r o
VETAKI IVOT
t 1
(A-LIFE)

s 2 0
A
 EPISTEMOLOGIJA I KOMPLEKSNOST

i j a
o g
l
emu slui nauka?

o
oigledna kompleksnost

i
fenomena zahteva objanjenje

b 2
Vilijem od Okama (oko 1323):

o
Entia non sunt multiplicanda

r 1
sine necessitate.

t 0
Lajbnic (oko 1686): teorija slui

s 2
kompresiji podataka!

A
Algoritam za dekompresiju =
proces objanjenja
Zip, gzip, arj, rar, ...
Redundancija zapisa
 TA JE SLOENIJE?

i j a
o g
o l
b i
r o
ili

1 2
s t 2 0
A
 a
KRISTALI PRIMER STRUKTURA
NISKE KOMPLEKSNOSTI
i j
Definicija kristala:
o g
simetrija

o l
i
Kristalografske grupe: P4,

b
Fd3m, ...

r o 1 2
s t 2 0
A Mnogo simetrije
malo (interesantne)
informacije
 MEUTIM...

i j a
o g
o l
b i
r o 1 2
s t 2 0
A
...iznenaenja su mogua!
(Schechtman 1982)
Lu & Steinhardt 2007
 i j a
o g
o l
b i
r o 1 2
s t 2 0
A
 j
TOGOD BILA IVA BIA...

i a
o g
o l
b i
r o 1 2
s t 2 0
A
 a
...ONA SE DRA STINO RA ZL IK UJ U PO
K OMPL EK SNOSTI!

i j
o g
o l
b i
r o 1 2
s t 2 0
A
ESCHERICHIA COL I
O RY C TO L A G U S C U N I C U L U S
( & V I E S T R U K I F E L I S C AT U S )
 RAZLIITE VRSTE KOMPLEKSNOSTI

i j a
o g
l
Raunarska (resursna) kompleksnost

o
Npr. P = NP (???) problem

i
Podesna samo za matematike probleme

o b 2
t r 0 1
s
Algoritamska (bit-string, konceptualna, Kolmogorovljeva)

2
kompleksnost

A
Podesna (u naelu) za bilo koje entitete
Potreban dodatni princip identiteta
Osnova algoritamske teorije informacija
 GENIJE IZ TAMBOVA

i j a
o g
l
Andrej N. Kolmogorov (1903-
1987)

i o
Sa 18 godina objavio prvi nauni

b
rad...iz srednjevekovne istorije!

o 2
Bavio i istom i primenjenom

r 1
matematikom sa ogromnim

t 0
uspehom

s 2
Luzinova afera

A
KAM teorema
Intuicionizam
Ekologija, hidrodinamika, teorija
igara, pedagogija...
1965: kljuni uvid u
kompleksnost
 j a
OVAKO JE POELO...

i
o g
l
Hrabar ovek: Robert od
estera

i o
(lo) prevod odslikava

b
inferiornost evropske nauke

o 2
Algebra, algoritam, sinus

t r 0 1
A s 2
 KLASINI DEDUKTIVNI MODEL

i j a
o g
l
Formalni sistem: azbuka (a, b, N, 5, ...) +
relacioni simboli (+, =, , , ...) +

i o
proceduralna pravila (aksiomi)

b 2
Aksiomi: pravila koja se ne dokazuju

o
r 1
(geometrija Euklidovi aksiomi; aritmetika

t 0
Peanovi aksiomi; teorija skupova Zermelo-

s 2
Fraenkelovi (ZF) aksiomi; itd.)

A
Iz aksioma se deduktivno dokazuju teoreme
(matematike istine)...
...to nam NE govori kako stvarno dolazimo do
teorema!
 i j a
o g
o l
i
Kraj

o b 2
t r prvog
0 1
A s 2 dela