ABOUT THE SPEAKER
Stephen Wolfram - Scientist, inventor
Stephen Wolfram is the creator of Mathematica and Wolfram|Alpha, the author of A New Kind of Science, and the founder and CEO of Wolfram Research.

Why you should listen

Stephen Wolfram published his first scientific paper at the age of 15, and received his PhD in theoretical physics from Caltech by the age of 20. Having started to use computers in 1973, Wolfram rapidly became a leader in the emerging field of scientific computing.

In 1981 Wolfram became the youngest recipient of a MacArthur Prize Fellowship. He then set out on an ambitious new direction in science aimed at understanding the origins of complexity in nature. Wolfram's first key idea was to use computer experiments to study the behavior of simple computer programs known as cellular automata. This allowed him to make a series of startling discoveries about the origins of complexity.

Wolfram founded the first research center and the first journal in the field, Complex Systems, and began the development of Mathematica. Wolfram Research soon became a world leader in the software industry -- widely recognized for excellence in both technology and business.

Following the release of Mathematica Version 2 in 1991, Wolfram began to divide his time between Mathematica development and scientific research. Building on his work from the mid-1980s, and now with Mathematica as a tool, Wolfram made a rapid succession of major new discoveries, which he described in his book, A New Kind of Science.

Building on Mathematica, A New Kind of Science, and the success of Wolfram Research, Wolfram recently launched Wolfram|Alpha -- an ambitious, long-term project to make as much of the world's knowledge as possible computable, and accessible to everyone.

More profile about the speaker
Stephen Wolfram | Speaker | TED.com
TED2010

Stephen Wolfram: Computing a theory of all knowledge

Stephen Wolfram: A mindenség elméletének kiszámítása

Filmed:
1,811,819 views

Stephen Wolfram, a Mathematica programcsomag létrehozója beszél kutatásairól, arról a céljáról, hogy minden tudásunkat digitálisan elérhetővé tegyen, azaz minden tudásunk kereshető, feldolgozható és tovább alakítható legyen. A Wolfram Alpha névre hallgató új kereső motorjának célja nem kevesebb mint egyenesen a világegyetem fizikájának modellezése, magyarázata.
- Scientist, inventor
Stephen Wolfram is the creator of Mathematica and Wolfram|Alpha, the author of A New Kind of Science, and the founder and CEO of Wolfram Research. Full bio

Double-click the English transcript below to play the video.

00:16
So I want to talk todayMa about an ideaötlet. It's a bignagy ideaötlet.
0
1000
3000
Amiről beszélni szeretnék ma, az egy ötlet. Egy nagy ötlet.
00:19
ActuallyValójában, I think it'llez lesz eventuallyvégül is
1
4000
2000
Azt hiszem, végső soron ez bizonyul
00:21
be seenlátott as probablyvalószínűleg the singleegyetlen biggestlegnagyobb ideaötlet
2
6000
2000
majd a legnagyobb ötletnek az összes közül
00:23
that's emergedalakult in the pastmúlt centuryszázad.
3
8000
2000
amely a múlt században felbukkant.
00:25
It's the ideaötlet of computationszámítás.
4
10000
2000
Ez a digitális számítás ötlete.
00:27
Now, of coursetanfolyam, that ideaötlet has broughthozott us
5
12000
2000
Na most, persze ennek az ötletnek az eredménye
00:29
all of the computerszámítógép technologytechnológia we have todayMa and so on.
6
14000
3000
a mai egész számítógépes technológiánk is.
00:32
But there's actuallytulajdonképpen a lot more to computationszámítás than that.
7
17000
3000
Valójában azonban a számítástudomány ennél sokkal több.
00:35
It's really a very deepmély, very powerfulerős, very fundamentalalapvető ideaötlet,
8
20000
3000
Egy igazán nagyon mély, nagy hatású, és nagyon alapvető gondolat,
00:38
whoseakinek effectshatások we'vevoltunk only just begunmegkezdett to see.
9
23000
3000
hatásait még csak most kezdjük látni.
00:41
Well, I myselfmagamat have spentköltött the pastmúlt 30 yearsévek of my life
10
26000
3000
Jómagam az életem legutóbbi 30 évében
00:44
workingdolgozó on threehárom largenagy projectsprojektek
11
29000
2000
három nagy projekten dolgoztam
00:46
that really try to take the ideaötlet of computationszámítás seriouslyKomolyan.
12
31000
3000
amelyek igazán komolyan vették a digitális számítás ötletét.
00:50
So I startedindult off at a youngfiatal agekor as a physicistfizikus
13
35000
3000
Amikor a pályámat fiatal fizikusként megkezdtem
00:53
usinghasználva computersszámítógépek as toolsszerszámok.
14
38000
2000
a számítógépet eszközként használtam.
00:55
Then, I startedindult drillingfúrás down,
15
40000
2000
Aztán egyre jobban belemélyedtem,
00:57
thinkinggondolkodás about the computationsszámítások I mightesetleg want to do,
16
42000
2000
azon gondolkodtam, milyen számításokra lenne szükségem,
00:59
tryingmegpróbálja to figureábra out what primitivesprimitívek they could be builtépült up from
17
44000
3000
és próbáltam megtalálni azokat az alapvető építőelemeket
01:02
and how they could be automatedautomatizált as much as possiblelehetséges.
18
47000
3000
amelyekből építkezve a számításokat a leginkább automatizálni lehetne.
01:05
EventuallyVégül, I createdkészítette a wholeegész structureszerkezet
19
50000
2000
Végülis, felépítettem egy teljes rendszert
01:07
basedszékhelyű on symbolicszimbolikus programmingprogramozás and so on
20
52000
2000
a szimbolikus programozásra alapozva
01:09
that let me buildépít MathematicaMathematica.
21
54000
2000
amely a Mathematica létrehozásához vezetett.
01:11
And for the pastmúlt 23 yearsévek, at an increasingnövekvő ratearány,
22
56000
2000
Ami az elmúlt 23 évet illeti, egyre növekvő ütemben,
01:13
we'vevoltunk been pouringöntés more and more ideasötletek
23
58000
2000
egyre több ötlettel
01:15
and capabilitiesképességek and so on into MathematicaMathematica,
24
60000
2000
funkcióval és egyebekkel gazdagítottuk a Mathematica-t,
01:17
and I'm happyboldog to say that that's led to manysok good things
25
62000
3000
és örömmel mondhatom, hogy sok jó dolgot eredményezett
01:20
in R & D and educationoktatás,
26
65000
2000
a kutatás és fejlesztés, az oktatás
01:22
lots of other areasnak.
27
67000
2000
és sok más területen.
01:24
Well, I have to admitbeismerni, actuallytulajdonképpen,
28
69000
2000
Nos, meg kell vallanom, hogy valójában
01:26
that I alsois had a very selfishönző reasonok for buildingépület MathematicaMathematica:
29
71000
3000
volt egy nagyon önző célom is a Mathematica megépítésével.
01:29
I wanted to use it myselfmagamat,
30
74000
2000
Használni szerettem volna saját magam,
01:31
a bitbit like GalileoGalileo got to use his telescopetávcső
31
76000
2000
valahogy olyanféleképpen, amint azt Galileo tette a teleszkóppal
01:33
400 yearsévek agoezelőtt.
32
78000
2000
400 évvel ezelőtt.
01:35
But I wanted to look not at the astronomicalcsillagászati universevilágegyetem,
33
80000
3000
Én azonban nem a csillagászati univerzumot akartam megfigyelni
01:38
but at the computationalszámítási universevilágegyetem.
34
83000
3000
hanem a digitálisan számítható mindenséget.
01:41
So we normallynormális esetben think of programsprogramok as beinglény
35
86000
2000
Általában a programokat
01:43
complicatedbonyolult things that we buildépít
36
88000
2000
olyan bonyolult dolgoknak tekintjük,
01:45
for very specifickülönleges purposescélokra.
37
90000
2000
amelyeket konkrét célra készítenek.
01:47
But what about the spacehely of all possiblelehetséges programsprogramok?
38
92000
3000
De mi a helyzet az összes lehetséges program terével?
01:50
Here'sItt van a representationreprezentáció of a really simpleegyszerű programprogram.
39
95000
3000
Itt van egy valóban nagyon egyszerű program.
01:53
So, if we runfuss this programprogram,
40
98000
2000
Ha futtatjuk ezt a programot,
01:55
this is what we get.
41
100000
2000
ezt kapjuk.
01:57
Very simpleegyszerű.
42
102000
2000
Nagyon egyszerű.
01:59
So let's try changingváltozó the ruleszabály
43
104000
2000
Most próbáljuk megváltoztatni
02:01
for this programprogram a little bitbit.
44
106000
2000
a program szabályát egy kicsit.
02:03
Now we get anotheregy másik resulteredmény,
45
108000
2000
Most más eredményt kapunk,
02:05
still very simpleegyszerű.
46
110000
2000
még mindig nagyon egyszerű.
02:07
Try changingváltozó it again.
47
112000
3000
Változtassunk rajta megint.
02:10
You get something a little bitbit more complicatedbonyolult.
48
115000
2000
Most egy kicsit bonyolultabb lett az eredmény,
02:12
But if we keep runningfutás this for a while,
49
117000
2000
de ha folytatjuk tovább még egy darabig,
02:14
we find out that althoughhabár the patternminta we get is very intricatebonyolult,
50
119000
3000
akkor kiderül, hogy bár nagyon komplikált mintát kaptunk,
02:17
it has a very regularszabályos structureszerkezet.
51
122000
3000
valójában nagyon is szabályos a szerkezete.
02:20
So the questionkérdés is: Can anything elsemás happentörténik?
52
125000
3000
Felmerül a kérdés: Történhet egyáltalán másképp is?
02:23
Well, we can do a little experimentkísérlet.
53
128000
2000
Hát, végezhetünk egy kis kísérletet.
02:25
Let's just do a little mathematicalmatematikai experimentkísérlet, try and find out.
54
130000
3000
Csináljunk egy kis matematikai kísérletet, próbálkozzunk és derítsük ki.
02:29
Let's just runfuss all possiblelehetséges programsprogramok
55
134000
3000
Futtassuk le az összes lehetséges programot
02:32
of the particularkülönös typetípus that we're looking at.
56
137000
2000
amely a vizsgált konkrét típusra lehetséges.
02:34
They're calledhívott cellularsejtes automataautomaták.
57
139000
2000
Az elnevezésük elemi sejtautomata.
02:36
You can see a lot of diversitysokféleség in the behaviorviselkedés here.
58
141000
2000
Itt nagyon sokféle viselkedést láthatunk.
02:38
MostA legtöbb of them do very simpleegyszerű things,
59
143000
2000
Legtöbbjük rendkívül egyszerű dolgot csinál.
02:40
but if you look alongmentén all these differentkülönböző picturesképek,
60
145000
2000
Ha azonban nézzük tovább a különféle képeket,
02:42
at ruleszabály numberszám 30,
61
147000
2000
a 30-as számú szabálynál,
02:44
you startRajt to see something interestingérdekes going on.
62
149000
2000
kezd érdekessé válni a dolog.
02:46
So let's take a closerközelebb look
63
151000
2000
Nézzük hát meg közelebbről
02:48
at ruleszabály numberszám 30 here.
64
153000
2000
itt, a 30-as szabálynál.
02:50
So here it is.
65
155000
2000
Itt is van.
02:52
We're just followingkövetkező this very simpleegyszerű ruleszabály at the bottomalsó here,
66
157000
3000
Mindössze ezt az egyszerű szabályt követjük végig, itt alul,
02:55
but we're gettingszerzés all this amazingelképesztő stuffdolog.
67
160000
2000
és akkor ilyen hihetetlen dolgokat kapunk.
02:57
It's not at all what we're used to,
68
162000
2000
Ilyesmit egyáltalán nem várna az ember,
02:59
and I mustkell say that, when I first saw this,
69
164000
2000
amikor először láttam, mondhatom,
03:01
it camejött as a hugehatalmas shocksokk to my intuitionintuíció.
70
166000
3000
hatalmas megrázkódtatásként ért,
03:04
And, in facttény, to understandmegért it,
71
169000
2000
és, igazából, a megértéséhez,
03:06
I eventuallyvégül is had to createteremt
72
171000
2000
végülis ki kellett dolgoznom
03:08
a wholeegész newúj kindkedves of sciencetudomány.
73
173000
2000
Egy új típusú tudományt.
03:11
(LaughterNevetés)
74
176000
2000
(Nevetés)
03:13
This sciencetudomány is differentkülönböző, more generalTábornok,
75
178000
3000
Ez a tudomány másfajta, általánosabb érvényű,
03:16
than the mathematics-basedmatematika-alapú sciencetudomány that we'vevoltunk had
76
181000
2000
mint a matematikai alapú tudományunk
03:18
for the pastmúlt 300 or so yearsévek.
77
183000
3000
az utóbbi 300 év során.
03:21
You know, it's always seemedÚgy tűnt like a bignagy mysteryrejtély:
78
186000
2000
Tudják, mindig nagy rejtélynek tűnt, ahogy
03:23
how naturetermészet, seeminglylátszólag so effortlesslyerőfeszítés,
79
188000
3000
a természet olyan könnyedén
03:26
manageskezeli to producegyárt so much
80
191000
2000
hozza létre azt a sok, számunkra olyan
03:28
that seemsÚgy tűnik, to us so complexösszetett.
81
193000
3000
nagyon komplexnek látszó dolgot.
03:31
Well, I think we'vevoltunk foundtalál its secrettitok:
82
196000
3000
Hát, úgy gondolom, most megtaláltuk a titkát.
03:34
It's just samplingmintavétel what's out there in the computationalszámítási universevilágegyetem
83
199000
3000
Ez csak egy kis minta, abból ami a számítási univerzumban van
03:37
and quiteegészen oftengyakran gettingszerzés things like RuleSzabály 30
84
202000
3000
és elég gyakran bukkannak fel a 30-as szabályhoz hasonlók
03:40
or like this.
85
205000
3000
vagy ilyenek.
03:44
And knowingtudva that startskezdődik to explainmegmagyarázni
86
209000
2000
Ennek ismeretében, a tudomány sok régi
03:46
a lot of long-standingrégóta fennálló mysteriesrejtélyek in sciencetudomány.
87
211000
3000
rejtélye kezd már érthetővé válni.
03:49
It alsois bringshoz up newúj issueskérdések, thoughbár,
88
214000
2000
Ugyanakkor új kérdéseket is felvet,
03:51
like computationalszámítási irreducibilityirreducibility.
89
216000
3000
mint a számítás egyszerűsíthetetlensége.
03:54
I mean, we're used to havingamelynek sciencetudomány let us predictmegjósolni things,
90
219000
3000
Arra gondolok, hogy a tudománnyal előre tudtuk jelezni a dolgokat,
03:57
but something like this
91
222000
2000
ez viszont, egy ilyen dolog, ez
03:59
is fundamentallyalapvetően irreducibleegyszerűsíthetetlen.
92
224000
2000
teljességgel egyszerűsíthetetlen.
04:01
The only way to find its outcomeeredmény
93
226000
2000
Az eredmény megismerésének egyetlen módja,
04:03
is, effectivelyhatékonyan, just to watch it evolvefejlődik.
94
228000
3000
lényegében, hogy megnézzük, hogyan alakul.
04:06
It's connectedcsatlakoztatva to, what I call,
95
231000
2000
Ez azzal van kapcsolatban, amit én a
04:08
the principleelv of computationalszámítási equivalenceegyenértékűség,
96
233000
2000
számítási egyenértékűség elvének nevezek,
04:10
whichmelyik tellsmegmondja us that even incrediblyhihetetlenül simpleegyszerű systemsrendszerek
97
235000
3000
amely szerint még a hihetetlenül egyszerű rendszerek is
04:13
can do computationsszámítások as sophisticatedkifinomult as anything.
98
238000
3000
képesek bármilyen bonyolult számításra.
04:16
It doesn't take lots of technologytechnológia or biologicalbiológiai evolutionevolúció
99
241000
3000
Nem szükséges fejlett technológia vagy biológiai evolúció
04:19
to be ableképes to do arbitraryönkényes computationszámítás;
100
244000
2000
tetszőleges számítás elvégzéséhez,
04:21
just something that happensmegtörténik, naturallytermészetesen,
101
246000
2000
ez valami olyasmi, ami természetesen zajlik
04:23
all over the placehely.
102
248000
2000
mindenütt.
04:25
Things with rulesszabályok as simpleegyszerű as these can do it.
103
250000
3000
Már egy ilyen dolog, ennyire egyszerű szabályokkal produkálni tudja.
04:29
Well, this has deepmély implicationskövetkezményei
104
254000
2000
Nos, ez messzemenő következményekkel jár
04:31
about the limitshatárok of sciencetudomány,
105
256000
2000
a tudomány határait illetően,
04:33
about predictabilityelőreláthatóság and controllabilityellenőrizhetőség
106
258000
2000
az előrejelezhetőséget és a kezelhetőséget illetően
04:35
of things like biologicalbiológiai processesfolyamatok or economiesgazdaságok,
107
260000
3000
vagy olyan területeken, mint a biológiai folyamatok vagy gazdaságok,
04:38
about intelligenceintelligencia in the universevilágegyetem,
108
263000
2000
vagy az univerzumbeli értelmes életre vonatkozóan,
04:40
about questionskérdések like freeingyenes will
109
265000
2000
a szabad akarat kérdéseit illetően
04:42
and about creatinglétrehozása technologytechnológia.
110
267000
3000
és a technikai újdonságok tekintetében.
04:45
You know, in workingdolgozó on this sciencetudomány for manysok yearsévek,
111
270000
2000
Tudják, miközben ezzel a tudománnyal foglalkoztam oly sok éven át
04:47
I kepttartotta wonderingcsodálkozó,
112
272000
2000
mindig kíváncsi voltam, hogy vajon
04:49
"What will be its first killergyilkos appapp?"
113
274000
2000
"Milyen szédületes dologra fogjuk először felhasználni?"
04:51
Well, ever sincemivel I was a kidkölyök,
114
276000
2000
Nos, engem gyermekkorom óta
04:53
I'd been thinkinggondolkodás about systematizingrendszerezése knowledgetudás
115
278000
2000
foglalkoztatott a tudás rendszerezésének lehetősége
04:55
and somehowvalahogy makinggyártás it computablekiszámítható.
116
280000
2000
és az, hogy valami módon számíthatóvá kellene tenni.
04:57
People like LeibnizLeibniz had wonderedkíváncsi about that too
117
282000
2000
A kérdéssel Leibniz is foglalkozott úgy
04:59
300 yearsévek earlierkorábban.
118
284000
2000
300 évvel ezelőtt.
05:01
But I'd always assumedfeltételezett that to make progressHaladás,
119
286000
2000
Azonban, én mindig abból indultam ki, hogy ehhez
05:03
I'd essentiallylényegében have to replicatemegismételni a wholeegész brainagy.
120
288000
3000
lényegében le kellene másolnom egy egész agyat.
05:06
Well, then I got to thinkinggondolkodás:
121
291000
2000
Most pedig, ezt mondtam magamnak:
05:08
This scientifictudományos paradigmparadigma of mineenyém suggestsjavasolja something differentkülönböző --
122
293000
3000
Ez az én tudományos paradigmám valami mást sugall.
05:11
and, by the way, I've now got
123
296000
2000
És egyébként is, most
05:13
hugehatalmas computationszámítás capabilitiesképességek in MathematicaMathematica,
124
298000
3000
már itt van a Mathematica hatalmas számítási képessége
05:16
and I'm a CEOVEZÉRIGAZGATÓ with some worldlyvilági resourceserőforrások
125
301000
3000
cégvezetőként vannak anyagi forrásaim is
05:19
to do largenagy, seeminglylátszólag crazyőrült, projectsprojektek --
126
304000
3000
nagy, őrültségnek tűnő projektekhez.
05:22
So I decidedhatározott to just try to see
127
307000
2000
Így aztán úgy döntöttem, nekivágok és kiderítem,
05:24
how much of the systematicrendszeres knowledgetudás that's out there in the worldvilág
128
309000
3000
hogy a világban meglévő rendszerezett tudásból mennyit lehet
05:27
we could make computablekiszámítható.
129
312000
2000
kiszámíthatóvá tenni.
05:29
So, it's been a bignagy, very complexösszetett projectprogram,
130
314000
2000
Szóval, ez egy nagy, igen összetett projektnek indult,
05:31
whichmelyik I was not sure was going to work at all.
131
316000
3000
és egyáltalán nem lehetett tudni, hogy sikeres lesz-e.
05:34
But I'm happyboldog to say it's actuallytulajdonképpen going really well.
132
319000
3000
Örömmel mondhatom azonban, hogy valójában nagyon jól halad.
05:37
And last yearév we were ableképes
133
322000
2000
A tavalyi évben már ki tudtuk adni
05:39
to releasekiadás the first websiteweboldal versionváltozat
134
324000
2000
az első webes változatát a
05:41
of WolframVolfrám AlphaAlfa.
135
326000
2000
Wolfram Alpha-nak.
05:43
Its purposecélja is to be a serioussúlyos knowledgetudás enginemotor
136
328000
3000
Rendeltetése szerint ez egy komoly tudásmotor,
05:46
that computeskiszámítja answersválaszokat to questionskérdések.
137
331000
3000
amely kiszámítja a választ a feltett kérdésekre.
05:49
So let's give it a try.
138
334000
2000
Próbáljuk ki.
05:51
Let's startRajt off with something really easykönnyen.
139
336000
2000
Kezdjük először valami nagyon könnyűvel.
05:53
HopeRemélem for the bestlegjobb.
140
338000
2000
És reméljük a legjobbakat.
05:55
Very good. Okay.
141
340000
2000
Nagyon jó. Rendben.
05:57
So farmessze so good.
142
342000
2000
Eddig minden rendben.
05:59
(LaughterNevetés)
143
344000
3000
(Nevetés)
06:02
Let's try something a little bitbit hardernehezebb.
144
347000
3000
Most próbálkozzunk egy kicsit nehezebbel.
06:05
Let's do
145
350000
2000
Mondjuk...
06:07
some mathyCsaba thing,
146
352000
3000
Valami matekos dolgot
06:10
and with luckszerencse it'llez lesz work out the answerválasz
147
355000
3000
és egy kis szerencsével kidolgozza a választ
06:13
and try and tell us some interestingérdekes things
148
358000
2000
és érdekes dolgokat mondhat nekünk
06:15
things about relatedösszefüggő mathmatematikai.
149
360000
2000
valamit a kapcsolódó matematikáról.
06:17
We could askkérdez it something about the realigazi worldvilág.
150
362000
3000
Kérdezhetnénk tőle valamit a valódi világról.
06:20
Let's say -- I don't know --
151
365000
2000
Mondjuk -- nem is tudom --
06:22
what's the GDPGDP of SpainSpanyolország?
152
367000
3000
Mennyi Spanyolország GDP-je?
06:25
And it should be ableképes to tell us that.
153
370000
2000
Ezt meg kell tudnia mondani.
06:27
Now we could computekiszámít something relatedösszefüggő to this,
154
372000
2000
Most pedig kiszámíthatnánk valamit ezzel kapcsolatban,
06:29
let's say ... the GDPGDP of SpainSpanyolország
155
374000
2000
mondjuk Spanyolország GDP-je
06:31
dividedmegosztott by, I don't know,
156
376000
2000
osztva, nézzük csak,
06:33
the -- hmmmHmmm ...
157
378000
2000
a -- hmmm ...
06:35
let's say the revenuejövedelem of MicrosoftA Microsoft.
158
380000
2000
mondjuk a Microsoft bevételével.
06:37
(LaughterNevetés)
159
382000
2000
(Nevetés)
06:39
The ideaötlet is that we can just typetípus this in,
160
384000
2000
Nos az elképzelés az, hogy ezt csak úgy begépeljük,
06:41
this kindkedves of questionkérdés in, howeverazonban we think of it.
161
386000
3000
ezt a fajta kérdést, akárhogyan is fogalmazzuk meg.
06:44
So let's try askingkérve a questionkérdés,
162
389000
2000
Tehát most próbáljuk meg, és tegyünk fel
06:46
like a healthEgészség relatedösszefüggő questionkérdés.
163
391000
2000
egy egészséghez kapcsolódó kérdést.
06:48
So let's say we have a lablabor findinglelet that ...
164
393000
3000
Képzeljük el, hogy van egy laboratóriumi eredményünk --
06:51
you know, we have an LDLLDL levelszint of 140
165
396000
2000
és mondjuk az LDL szint értéke 140,
06:53
for a maleférfi agedidős 50.
166
398000
3000
és 50 éves férfiről szó.
06:56
So let's typetípus that in, and now WolframVolfrám AlphaAlfa
167
401000
2000
Most írjuk ezt be, és akkor a Wolfram Alpha
06:58
will go and use availableelérhető publicnyilvános healthEgészség dataadat
168
403000
2000
a rendelkezésre álló közegészségügyi adatok alapján
07:00
and try and figureábra out
169
405000
2000
megpróbálja kideríteni,
07:02
what partrész of the populationnépesség that correspondsmegfelel to and so on.
170
407000
3000
hogy a népesség mely részének felel ez meg, és így tovább.
07:05
Or let's try askingkérve about, I don't know,
171
410000
3000
Vagy kérdezzük, nézzük csak,
07:08
the InternationalNemzetközi SpaceHely StationStation.
172
413000
2000
mondjuk a nemzetközi űrállomásról.
07:10
And what's happeningesemény here is that
173
415000
2000
És ami itt történik, az nem az, hogy
07:12
WolframVolfrám AlphaAlfa is not just looking up something;
174
417000
2000
a Wolfram Alpha csak kikeres valamit;
07:14
it's computingszámítástechnika, in realigazi time,
175
419000
3000
kiszámolja, valós időben,
07:17
where the InternationalNemzetközi SpaceHely StationStation is right now at this momentpillanat,
176
422000
3000
hol van a nemzetközi űrállomás éppen most, ebben a pillanatban,
07:20
how fastgyors it's going, and so on.
177
425000
3000
milyen gyorsan halad és így tovább.
07:24
So WolframVolfrám AlphaAlfa knowstudja about lots and lots of kindsféle of things.
178
429000
3000
A Wolfram Alpha most már sok-sok mindenről tud.
07:27
It's got, by now,
179
432000
2000
Mostanra
07:29
prettyszép good coveragelefedettség of everything you mightesetleg find
180
434000
2000
elég jó anyaga van nagyjából mindenről, amit egy
07:31
in a standardalapértelmezett referencereferencia librarykönyvtár.
181
436000
3000
normál olvasótermi kézikönyvtárban megtalálhatunk.
07:34
But the goalcél is to go much furthertovábbi
182
439000
2000
A cél azonban ennél sokkal több,
07:36
and, very broadlynagyjából, to democratizedemokratizál
183
441000
3000
és nagy vonalakban, demokratizálni
07:39
all of this knowledgetudás,
184
444000
3000
ezt a teljes tudásanyagot,
07:42
and to try and be an authoritativemérvadó
185
447000
2000
és szeretnénk, ha hiteles forrás lenne
07:44
sourceforrás in all areasnak.
186
449000
2000
minden területen,
07:46
To be ableképes to computekiszámít answersválaszokat to specifickülönleges questionskérdések that people have,
187
451000
3000
hogy képes legyen kiszámolni a válaszokat az emberek konkrét kérdéseire,
07:49
not by searchingkutató what other people
188
454000
2000
nem úgy, hogy keres abban, amit
07:51
maylehet have writtenírott down before,
189
456000
2000
más emberek már leírtak,
07:53
but by usinghasználva builtépült in knowledgetudás
190
458000
2000
hanem a beépített tudás segítségével
07:55
to computekiszámít freshfriss newúj answersválaszokat to specifickülönleges questionskérdések.
191
460000
3000
kiszámítaná a válaszokat az adott kérdésre.
07:58
Now, of coursetanfolyam, WolframVolfrám AlphaAlfa
192
463000
2000
Na mármost, a Wolfram Alpha természetesen
08:00
is a monumentallymonumentális hugehatalmas, long-termhosszútávú projectprogram
193
465000
2000
egy monumentálisan nagy, hosszú távú projekt
08:02
with lots and lots of challengeskihívások.
194
467000
2000
és sok-sok nehézséggel kell szembenéznünk.
08:04
For a startRajt, one has to curateClapham-társaság egyik a zillionzillion
195
469000
3000
Kezdetnek mindjárt gondoskodni kell iszonyú mennyiségű
08:07
differentkülönböző sourcesforrás of factstények and dataadat,
196
472000
3000
különböző tényről és adatforrásról,
08:10
and we builtépült quiteegészen a pipelinecsővezeték of MathematicaMathematica automationautomatizálás
197
475000
3000
létrehoztunk erre egy Mathematica automatizmusból
08:13
and humanemberi domaindomain expertsszakértők for doing this.
198
478000
3000
és emberi szakértőkből álló folyamatot.
08:16
But that's just the beginningkezdet.
199
481000
2000
Ez azonban még csak a kezdet.
08:18
GivenAdott rawnyers factstények or dataadat
200
483000
2000
Ahhoz, hogy nyers tények és adatok alapján
08:20
to actuallytulajdonképpen answerválasz questionskérdések,
201
485000
2000
ténylegesen meg lehessen válaszolni a kérdéseket,
08:22
one has to computekiszámít:
202
487000
2000
számításokat kell végezni,
08:24
one has to implementvégrehajtása all those methodsmód and modelsmodellek
203
489000
2000
alkalmazni kell mindazokat a módszereket, modelleket,
08:26
and algorithmsalgoritmusok and so on
204
491000
2000
algoritmusokat, stb.
08:28
that sciencetudomány and other areasnak have builtépült up over the centuriesszázadok.
205
493000
3000
amelyeket a tudomány az évszázadok alatt felhalmozott.
08:31
Well, even startingkiindulási from MathematicaMathematica,
206
496000
3000
Nos, igazából még ha a Mathematica-tól indulunk is,
08:34
this is still a hugehatalmas amountösszeg of work.
207
499000
2000
ez még akkor is óriási mennyiségű munka.
08:36
So farmessze, there are about 8 millionmillió linesvonalak
208
501000
2000
Ez idáig 8 millió sornyi
08:38
of MathematicaMathematica codekód in WolframVolfrám AlphaAlfa
209
503000
2000
Mathematica kód van a Wolfram Alpha-ban,
08:40
builtépült by expertsszakértők from manysok, manysok differentkülönböző fieldsmezők.
210
505000
3000
ezt sok-sok különböző terület szakértői készítették.
08:43
Well, a crucialalapvető ideaötlet of WolframVolfrám AlphaAlfa
211
508000
3000
Nos, a Wolfram Alpha alapötlete, hogy
08:46
is that you can just askkérdez it questionskérdések
212
511000
2000
a kérdéseket normál emberi nyelven
08:48
usinghasználva ordinaryrendes humanemberi languagenyelv,
213
513000
3000
lehessen feltennni,
08:51
whichmelyik meanseszközök that we'vevoltunk got to be ableképes to take
214
516000
2000
ami azt jelenti, hogy képesnek kell lennünk
08:53
all those strangefurcsa utterancesmegnyilatkozások that people typetípus into the inputbemenet fieldmező
215
518000
3000
mindazt a sok furcsaságot fogadni, amit az emberek a bemeneti mezőbe beírhatnak,
08:56
and understandmegért them.
216
521000
2000
és meg is kell érteni.
08:58
And I mustkell say that I thought that steplépés
217
523000
2000
Be kell vallanom, jómagam azt gondoltam, hogy
09:00
mightesetleg just be plainegyszerű impossiblelehetetlen.
218
525000
3000
lehet, hogy ez egész egyszerűen képtelenség lesz.
09:04
Two bignagy things happenedtörtént:
219
529000
2000
Történt azonban két fontos lépés.
09:06
First, a bunchcsokor of newúj ideasötletek about linguisticsnyelvészet
220
531000
3000
Először, egy csomó új gondolat született a nyelvészetben,
09:09
that camejött from studyingtanul the computationalszámítási universevilágegyetem;
221
534000
3000
a digitális számítási univerzum vizsgálatából fakadóan.
09:12
and secondmásodik, the realizationmegvalósítása that havingamelynek actualtényleges computablekiszámítható knowledgetudás
222
537000
3000
A második pedig az a felismerés, hogy ha konkrét kiszámítható tudásunk van,
09:15
completelyteljesen changesváltoztatások how one can
223
540000
2000
az teljességgel megváltoztatja, hogyan
09:17
setkészlet about understandingmegértés languagenyelv.
224
542000
3000
fogunk hozzá a nyelv megértéséhez.
09:20
And, of coursetanfolyam, now
225
545000
2000
És, természetesen, most
09:22
with WolframVolfrám AlphaAlfa actuallytulajdonképpen out in the wildvad,
226
547000
2000
hogy a Wolfram Alpha kilépett a színtérre,
09:24
we can learntanul from its actualtényleges usagehasználat.
227
549000
2000
a konkrét használatából is tanulhatunk.
09:26
And, in facttény, there's been
228
551000
2000
És, valójában, tapasztalható is volt
09:28
an interestingérdekes coevolutionkoevolúcióra that's been going on
229
553000
2000
egy érdekes együttes fejlődés
09:30
betweenközött WolframVolfrám AlphaAlfa
230
555000
2000
a Wolfram Alpha és
09:32
and its humanemberi usersfelhasználók,
231
557000
2000
emberi felhasználói között.
09:34
and it's really encouragingbátorító.
232
559000
2000
És ez igazán biztató.
09:36
Right now, if we look at webháló querieslekérdezések,
233
561000
2000
Ha most megnézzük a webes kéréseket,
09:38
more than 80 percentszázalék of them get handledkezelik successfullysikeresen the first time.
234
563000
3000
azt látjuk, hogy az elsőre helyes értelmezések aránya több mint 80%.
09:41
And if you look at things like the iPhoneiPhone appapp,
235
566000
2000
Ha pedig az olyan dolgokat tekintjük, mint az iPhone alkalmazások,
09:43
the fractiontöredék is considerablyjelentősen largernagyobb.
236
568000
2000
az arány még magasabb.
09:45
So, I'm prettyszép pleasedelégedett with it all.
237
570000
2000
Így hát, ezzel nagyon meg vagyok elégedve.
09:47
But, in manysok waysmódokon,
238
572000
2000
Sok mindenben azonban,
09:49
we're still at the very beginningkezdet with WolframVolfrám AlphaAlfa.
239
574000
3000
még nagyon az elején tart a Wolfram Alpha.
09:52
I mean, everything is scalingskálázás up very nicelyszépen
240
577000
2000
Úgy értem, minden nagyon szépen alakul.
09:54
and we're gettingszerzés more confidentmagabiztos.
241
579000
2000
Egyre magabiztosabbak vagyunk.
09:56
You can expectelvár to see WolframVolfrám AlphaAlfa technologytechnológia
242
581000
2000
Arra számítunk, hogy a Wolfram Alpha technológia
09:58
showingkiállítás up in more and more placeshelyek,
243
583000
2000
egyre több és több helyen jelenik majd meg,
10:00
workingdolgozó bothmindkét with this kindkedves of publicnyilvános dataadat, like on the websiteweboldal,
244
585000
3000
és dolgozni fog ilyen jellegű adatokkal, mint itt a webhelyen,
10:03
and with privatemagán knowledgetudás
245
588000
2000
és magán jellegű adatokkal is
10:05
for people and companiesvállalatok and so on.
246
590000
3000
embereknek, cégeknek és így tovább.
10:08
You know, I've realizedrealizált that WolframVolfrám AlphaAlfa actuallytulajdonképpen givesad one
247
593000
3000
A Wolfram Alpha valójában egy teljesen
10:11
a wholeegész newúj kindkedves of computingszámítástechnika
248
596000
2000
újfajta számítási rendszert ad a kezünkbe, amit
10:13
that one can call knowledge-basedtudásalapú computingszámítástechnika,
249
598000
2000
nevezhetünk tudásalapú számítástechnikának,
10:15
in whichmelyik one'sazok startingkiindulási not just from rawnyers computationszámítás,
250
600000
3000
ebben nem csak a puszta számításból indulunk ki,
10:18
but from a vasthatalmas amountösszeg of built-inépít--ban knowledgetudás.
251
603000
3000
hanem rendelkezésünkre áll a bőséges mennyiségű beépített ismeret is.
10:21
And when one does that, one really changesváltoztatások
252
606000
2000
Ha így közelítjük meg a dolgot, egészen más lesz a
10:23
the economicsközgazdaságtan of deliveringátadó computationalszámítási things,
253
608000
3000
számítástechnikai szolgáltatások gazdaságossága is,
10:26
whetherakár it's on the webháló or elsewheremáshol.
254
611000
2000
akár webes, akár másmilyen alapúról van szó.
10:28
You know, we have a fairlymeglehetősen interestingérdekes situationhelyzet right now.
255
613000
3000
Meglehetősen érdekes helyzetben vagyunk éppen.
10:31
On the one handkéz, we have MathematicaMathematica,
256
616000
2000
Az egyik oldalon ott van nekünk a Mathematica,
10:33
with its sortfajta of precisepontos, formalhivatalos languagenyelv
257
618000
3000
a saját precíz, formális nyelvével és a
10:36
and a hugehatalmas networkhálózat
258
621000
2000
hatalmas mennyiségű
10:38
of carefullygondosan designedtervezett capabilitiesképességek
259
623000
2000
gondosan tervezett funkcióival,
10:40
ableképes to get a lot doneKész in just a fewkevés linesvonalak.
260
625000
3000
ami mindössze néhány sorban képes sokmindent elvégezni.
10:43
Let me showelőadás you a couplepárosít of examplespéldák here.
261
628000
3000
Hadd mutassak erre itt egy pár példát.
10:47
So here'sitt a trivialjelentéktelen piecedarab of MathematicaMathematica programmingprogramozás.
262
632000
3000
Ez itt egy triviális Mathematica programocska.
10:51
Here'sItt van something where we're sortfajta of
263
636000
2000
Ami itt van, ez itt mintegy
10:53
integratingintegráló a bunchcsokor of differentkülönböző capabilitiesképességek here.
264
638000
3000
beágyaz egy csokor különböző funkciót.
10:56
Here we'lljól just createteremt, in this linevonal,
265
641000
3000
Itt, ebben a sorban hozzuk létre azt a
10:59
a little userhasználó interfacefelület that allowslehetővé tesz us to
266
644000
3000
kis felhasználói felületet, amellyel aztán
11:02
do something funmóka there.
267
647000
2000
érdekes dolgokat csinálhatunk amott.
11:05
If you go on, that's a slightlynémileg more complicatedbonyolult programprogram
268
650000
2000
Ha továbbmegyünk, ez a program egy kissé bonyolultabb,
11:07
that's now doing all sortsfajta of algorithmicalgoritmikus things
269
652000
3000
amely itt most mindenféle algoritmikus dolgot végez,
11:10
and creatinglétrehozása userhasználó interfacefelület and so on.
270
655000
2000
felhasználói felületet hoz létre és így tovább.
11:12
But it's something that is very precisepontos stuffdolog.
271
657000
3000
Ez egy jól meghatározott, nagyon precíz dolog.
11:15
It's a precisepontos specificationspecifikáció with a precisepontos formalhivatalos languagenyelv
272
660000
3000
Precíz specifikáció precíz formális nyelven,
11:18
that causesokoz MathematicaMathematica to know what to do here.
273
663000
3000
ami alapján a Mathematica tudja, hogy mit kell itt tennie.
11:21
Then on the other handkéz, we have WolframVolfrám AlphaAlfa,
274
666000
3000
A másik oldalon viszont ott van nekünk a Wolfram Alpha,
11:24
with all the messinessmessiness of the worldvilág
275
669000
2000
amibe belevettük a világ minden kuszaságát
11:26
and humanemberi languagenyelv and so on builtépült into it.
276
671000
2000
az emberi nyelvet és így tovább.
11:28
So what happensmegtörténik when you put these things togetheregyütt?
277
673000
3000
Na most, mi történik, ha a kettőt összehozzuk?
11:31
I think it's actuallytulajdonképpen ratherInkább wonderfulcsodálatos.
278
676000
2000
Szerintem ez nagyon csodálatos.
11:33
With WolframVolfrám AlphaAlfa insidebelül MathematicaMathematica,
279
678000
2000
Ha a Wolfram Alpha a Mathematica belsejébe kerül,
11:35
you can, for examplepélda, make precisepontos programsprogramok
280
680000
2000
készíthetünk olyan precíz programot, amely
11:37
that call on realigazi worldvilág dataadat.
281
682000
2000
valós világból vett adatokra támaszkodik.
11:39
Here'sItt van a realigazi simpleegyszerű examplepélda.
282
684000
2000
Itt van egy igazán egyszerű példa.
11:44
You can alsois just sortfajta of give vaguehomályos inputbemenet
283
689000
3000
Azt is megtehetjük, hogy határozatlan bemenetet adunk meg,
11:47
and then try and have WolframVolfrám AlphaAlfa
284
692000
2000
és engedjük, hogy a Wolfram Alpha megpróbálja
11:49
figureábra out what you're talkingbeszél about.
285
694000
2000
kitalálni, miről van szó.
11:51
Let's try this here.
286
696000
2000
Próbáljuk ezt ki itt.
11:53
But actuallytulajdonképpen I think the mosta legtöbb excitingizgalmas thing about this
287
698000
3000
Szerintem ennek a legizgalmasabb aspektusa az lehet, hogy
11:56
is that it really givesad one the chancevéletlen
288
701000
2000
ténylegesen lehetőséget ad a
11:58
to democratizedemokratizál programmingprogramozás.
289
703000
3000
programozás demokratizálására.
12:01
I mean, anyonebárki will be ableképes to say what they want in plainegyszerű languagenyelv.
290
706000
3000
Arra gondolok, hogy bárkinek lehetősége lesz, hogy csak úgy, szimpla nyelven elmondja amit akar,
12:04
Then, the ideaötlet is that WolframVolfrám AlphaAlfa will be ableképes to figureábra out
291
709000
3000
és a cél, hogy a Wolfram Alpha képes legyen ebből kitalálni, hogy
12:07
what precisepontos piecesdarabok of codekód
292
712000
2000
milyen precíz kódrészlet
12:09
can do what they're askingkérve for
293
714000
2000
tudja az eredményt megadni,
12:11
and then showelőadás them examplespéldák that will let them pickszed what they need
294
716000
3000
és akkor a mutatott példákból kiválaszthatják a nekik szükségeset,
12:14
to buildépít up biggernagyobb and biggernagyobb, precisepontos programsprogramok.
295
719000
3000
amelyből nagyobb és nagyobb, precíz programok készülhetnek.
12:17
So, sometimesnéha, WolframVolfrám AlphaAlfa
296
722000
2000
Néha a Wolfram Alpha képes lesz arra is, hogy
12:19
will be ableképes to do the wholeegész thing immediatelyazonnal
297
724000
2000
az egész dolgot azonnal meg is csinálja
12:21
and just give back a wholeegész bignagy programprogram that you can then computekiszámít with.
298
726000
3000
és csak a kész, teljes programot adja eredményül, amelyet aztán használhatunk.
12:24
Here'sItt van a bignagy websiteweboldal
299
729000
2000
Ez itt egy nagy webhely,
12:26
where we'vevoltunk been collectinggyűjtő lots of educationalnevelési
300
731000
3000
itt oktatási és más jellegű bemutatókat
12:29
and other demonstrationstüntetések about lots of kindsféle of things.
301
734000
3000
gyűjtünk sokféle témában.
12:32
I'll showelőadás you one examplepélda here.
302
737000
3000
Talán mutatok egy példát, mondjuk itt.
12:36
This is just an examplepélda of one of these computablekiszámítható documentsdokumentumok.
303
741000
3000
Ez egy példa ezekre a számítható dokumentumokra.
12:39
This is probablyvalószínűleg a fairlymeglehetősen smallkicsi
304
744000
2000
Ez valószínűleg egy meglehetősen
12:41
piecedarab of MathematicaMathematica codekód
305
746000
2000
kicsi Mathematica kód,
12:43
that's ableképes to be runfuss here.
306
748000
2000
amely le tud itt futni.
12:47
Okay. Let's zoomzoomolás out again.
307
752000
3000
Ok. Most távolítsuk ki újra.
12:50
So, givenadott our newúj kindkedves of sciencetudomány,
308
755000
2000
Így, most adva van ez az új típusú tudomány,
12:52
is there a generalTábornok way to use it to make technologytechnológia?
309
757000
3000
általánosságban felhasználhatjuk-e technológiai fejlesztésre?
12:55
So, with physicalfizikai materialsanyagok,
310
760000
2000
A fizikai anyagok tekintetében
12:57
we're used to going around the worldvilág
311
762000
2000
megszoktuk, hogy amint járunk szerte a világban
12:59
and discoveringfelfedezése that particularkülönös materialsanyagok
312
764000
2000
különféle anyagokat fedezünk fel, amelyeket
13:01
are usefulhasznos for particularkülönös
313
766000
2000
fel tudunk használni valamilyen konkrét
13:03
technologicaltechnikai purposescélokra.
314
768000
2000
műszaki feladathoz és így tovább.
13:05
Well, it turnsmenetek out we can do very much the sameazonos kindkedves of thing
315
770000
2000
Nos, úgy tűnik, hogy ez csaknem ugyanígy van a
13:07
in the computationalszámítási universevilágegyetem.
316
772000
2000
számítási univerzumban is.
13:09
There's an inexhaustiblekimeríthetetlen supplykínálat of programsprogramok out there.
317
774000
3000
Kimeríthetetlen mennyiségű programot találunk benne.
13:12
The challengekihívás is to see how to
318
777000
2000
A feladat az, hogy rájöjjünk, hogyan lehet
13:14
harnesshám them for humanemberi purposescélokra.
319
779000
2000
hasznosítani őket az ember céljaira.
13:16
Something like RuleSzabály 30, for examplepélda,
320
781000
2000
A 30-as számú szabály például,
13:18
turnsmenetek out to be a really good randomnessvéletlenszerűség generatorgenerátor.
321
783000
2000
kiváló véletlenszám-generátornak bizonyul.
13:20
Other simpleegyszerű programsprogramok are good modelsmodellek
322
785000
2000
Más egyszerűbb programokkal jól lehet modellezni
13:22
for processesfolyamatok in the naturaltermészetes or socialtársadalmi worldvilág.
323
787000
3000
természeti vagy társadalmi folyamatokat.
13:25
And, for examplepélda, WolframVolfrám AlphaAlfa and MathematicaMathematica
324
790000
2000
És, például, a Wolfram Alpha és a Mathematica
13:27
are actuallytulajdonképpen now fullteljes of algorithmsalgoritmusok
325
792000
2000
valójában tele van olyan algoritmusokkal
13:29
that we discoveredfelfedezett by searchingkutató the computationalszámítási universevilágegyetem.
326
794000
3000
amelyeket a számítási univerzum keresése közben fedeztünk fel.
13:33
And, for examplepélda, this -- if we go back here --
327
798000
3000
És, például ez -- visszamegyek ide --
13:37
this has becomeválik surprisinglymeglepően popularnépszerű
328
802000
2000
Ez meglepően népszerűvé vált a
13:39
amongközött composerszeneszerzők
329
804000
2000
zeneszerzők körében, akik
13:41
findinglelet musicalzenei formsformák by searchingkutató the computationalszámítási universevilágegyetem.
330
806000
3000
a számítási univerzumban keresnek és találnak zenei formákat.
13:45
In a senseérzék, we can use the computationalszámítási universevilágegyetem
331
810000
2000
Bizonyos értelemben a számítási univerzum
13:47
to get masstömeg customizedszemélyre szabott creativitykreativitás.
332
812000
3000
tömegre szabott kreativitást adhat nekünk.
13:50
I'm hopingremélve we can, for examplepélda,
333
815000
2000
Én azt is remélem, hogy például
13:52
use that even to get WolframVolfrám AlphaAlfa
334
817000
2000
fel tudjuk használni arra, hogy a Wolfram Alpha
13:54
to routinelyrutinszerűen do inventiontalálmány and discoveryfelfedezés on the flylégy,
335
819000
3000
úgymond rutinszerűen találmányokra, felfedezésekre bukkanjon munka közben
13:57
and to find all sortsfajta of wonderfulcsodálatos stuffdolog
336
822000
2000
és mindenféle csodálatos dolgot találjon fel,
13:59
that no engineermérnök
337
824000
2000
amelyet soha semmilyen mérnök nem talált volna ki és
14:01
and no processfolyamat of incrementaljárulékos evolutionevolúció would ever come up with.
338
826000
3000
semmilyen lépésenként haladó fejlődés soha nem eredményezett volna.
14:05
Well, so, that leadsvezet to kindkedves of an ultimatevégső questionkérdés:
339
830000
3000
Nos, mindennek kapcsán felmerül egy végső kérdés.
14:08
Could it be that someplacevalahol out there in the computationalszámítási universevilágegyetem
340
833000
3000
Lehetséges, hogy valahol, ebben a számítási univerzumban
14:11
we mightesetleg find our physicalfizikai universevilágegyetem?
341
836000
3000
rábukkanunk a saját fizikai világunkra?
14:14
PerhapsTalán there's even some quiteegészen simpleegyszerű ruleszabály,
342
839000
2000
Lehet, hogy még néhány nagyon egyszerű szabály is van,
14:16
some simpleegyszerű programprogram for our universevilágegyetem.
343
841000
3000
lehet, hogy van az univerzumunknak egy egyszerű programja.
14:19
Well, the historytörténelem of physicsfizika would have us believe
344
844000
2000
Nos, a fizika története alapján arra gondolnánk,
14:21
that the ruleszabály for the universevilágegyetem mustkell be prettyszép complicatedbonyolult.
345
846000
3000
hogy az univerzum szabálya ugyancsak bonyolult kell hogy legyen.
14:24
But in the computationalszámítási universevilágegyetem,
346
849000
2000
A számítási univerzumban azonban
14:26
we'vevoltunk now seenlátott how rulesszabályok that are incrediblyhihetetlenül simpleegyszerű
347
851000
3000
láthattuk, hogy hihetetlenül egyszerű szabályok
14:29
can producegyárt incrediblyhihetetlenül richgazdag and complexösszetett behaviorviselkedés.
348
854000
3000
hihetetlenül gazdag és komplex viselkedést tudnak produkálni.
14:32
So could that be what's going on with our wholeegész universevilágegyetem?
349
857000
3000
Lehet, hogy az univerzumunkkal is ez a helyzet?
14:36
If the rulesszabályok for the universevilágegyetem are simpleegyszerű,
350
861000
2000
Ha az univerzum végső szabályai egyszerűek,
14:38
it's kindkedves of inevitableelkerülhetetlen that they have to be
351
863000
2000
akkor egyben elkerülhetetlen, hogy
14:40
very abstractabsztrakt and very lowalacsony levelszint;
352
865000
2000
nagyon absztrakt és alacsony szintűek is legyenek,
14:42
operatingüzemeltetési, for examplepélda, farmessze belowlent
353
867000
2000
például sokkal mélyebb szinten
14:44
the levelszint of spacehely or time,
354
869000
2000
működnének, mint a tér és idő,
14:46
whichmelyik makesgyártmányú it hardkemény to representképvisel things.
355
871000
2000
így pedig nehezen lehet a dolgokról fogalmat alkotni.
14:48
But in at leastlegkevésbé a largenagy classosztály of casesesetek,
356
873000
2000
Ugyanakkor az esetek egy nagy osztályára
14:50
one can think of the universevilágegyetem as beinglény
357
875000
2000
elképzelhetjük az univerzumot
14:52
like some kindkedves of networkhálózat,
358
877000
2000
mint egyfajta hálózatot,
14:54
whichmelyik, when it getsjelentkeznek bignagy enoughelég,
359
879000
2000
amely, ha elég naggyá válik,
14:56
behavesúgy viselkedik like continuousfolyamatos spacehely
360
881000
2000
úgy viselkedik, mint a folyamatos tér,
14:58
in much the sameazonos way as havingamelynek lots of moleculesmolekulák
361
883000
2000
nagyon hasonlóan ahhoz, amint a sok-sok molekula
15:00
can behaveviselkedik like a continuousfolyamatos fluidfolyadék.
362
885000
2000
folyamatos folyadékként képes viselkedni.
15:02
Well, then the universevilágegyetem has to evolvefejlődik by applyingalkalmazó
363
887000
3000
Nos, ekkor az univerzum fejlődése erre a hálózatra progresszíven
15:05
little rulesszabályok that progressivelyfokozatosan updatefrissítés this networkhálózat.
364
890000
3000
alkalmazott kis szabályokkal történne.
15:08
And eachminden egyes possiblelehetséges ruleszabály, in a senseérzék,
365
893000
2000
Ilyen értelemben minden lehetséges szabály
15:10
correspondsmegfelel to a candidatejelölt universevilágegyetem.
366
895000
2000
egy lehetséges univerzumnak felelne meg.
15:12
ActuallyValójában, I haven'tnincs shownLátható these before,
367
897000
3000
Igazából ezeket még soha sem mutattam be,
15:16
but here are a fewkevés of the candidatejelölt universesuniverzumok
368
901000
3000
de itt van néhány lehetséges univerzum
15:19
that I've lookednézett at.
369
904000
2000
amelyet megvizsgáltam.
15:21
Some of these are hopelessreménytelen universesuniverzumok,
370
906000
2000
Egyesek ezek között teljesen reménytelenek,
15:23
completelyteljesen sterilesteril,
371
908000
2000
teljesen sterilek,
15:25
with other kindsféle of pathologiesmegbetegedések like no notionfogalom of spacehely,
372
910000
2000
egyéb kóros tüneteket mutatnak, nincs bennük meg a tér fogalma
15:27
no notionfogalom of time, no matterügy,
373
912000
3000
az idő fogalma, nincs benne anyag,
15:30
other problemsproblémák like that.
374
915000
2000
és más ehhez hasonló gondok vannak velük.
15:32
But the excitingizgalmas thing that I've foundtalál in the last fewkevés yearsévek
375
917000
3000
Az izgalmas dolog azonban, amit az utóbbi néhány évben találtam,
15:35
is that you actuallytulajdonképpen don't have to go very farmessze
376
920000
2000
az, hogy nem kell nagyon messzire menni
15:37
in the computationalszámítási universevilágegyetem
377
922000
2000
a számítási univerzumban ahhoz,
15:39
before you startRajt findinglelet candidatejelölt universesuniverzumok
378
924000
2000
hogy esetleges univerzumokat találjunk,
15:41
that aren'tnem obviouslymagától értetődően not our universevilágegyetem.
379
926000
3000
amelyekről már nem nyilvánvaló, hogy nem a mi univerzumunk.
15:44
Here'sItt van the problemprobléma:
380
929000
2000
A gond a következő:
15:46
Any serioussúlyos candidatejelölt for our universevilágegyetem
381
931000
3000
Az univerzumunk esetében csakis olyan jelöltek jöhetnek szóba,
15:49
is inevitablyelkerülhetetlenül fullteljes of computationalszámítási irreducibilityirreducibility.
382
934000
3000
amelyekben nagyfokú a számítási irreducibilitás,
15:52
WhichAmely meanseszközök that it is irreducibly[...] difficultnehéz
383
937000
3000
ami egyben azt is jelenti, hogy tényleges
15:55
to find out how it will really behaveviselkedik,
384
940000
2000
viselkedésének kiderítése és annak eldöntése
15:57
and whetherakár it matchesmérkőzések our physicalfizikai universevilágegyetem.
385
942000
3000
hogy megfelel-e fizikai világunknak nem egyszerűsíthető.
16:01
A fewkevés yearsévek agoezelőtt, I was prettyszép excitedizgatott to discoverfelfedez
386
946000
3000
Néhány évvel ezelőtt, nagy izgalommal fedeztem fel olyan
16:04
that there are candidatejelölt universesuniverzumok with incrediblyhihetetlenül simpleegyszerű rulesszabályok
387
949000
3000
potenciális univerzumokat, amelyek hihetetlen egyszerű szabályai
16:07
that successfullysikeresen reproducereprodukálni specialkülönleges relativityrelativitás,
388
952000
2000
sikeresen reprodukálták a speciális relativitást,
16:09
and even generalTábornok relativityrelativitás and gravitationgravitáció,
389
954000
3000
sőt, még az általános relativitást és a gravitációt is,
16:12
and at leastlegkevésbé give hintsTippek of quantumkvantum mechanicsmechanika.
390
957000
3000
és legalábbis sejtetni engedték a kvantummechanikát.
16:15
So, will we find the wholeegész of physicsfizika?
391
960000
2000
Lehet, hogy megtaláljuk a teljes fizikát?
16:17
I don't know for sure,
392
962000
2000
Nem tudhatom biztosan.
16:19
but I think at this pointpont it's sortfajta of
393
964000
2000
Azt gondolom azonban, hogy ennél a pontnál
16:21
almostmajdnem embarrassingkínos not to at leastlegkevésbé try.
394
966000
2000
még csak meg sem próbálni majdnem szégyen volna.
16:23
Not an easykönnyen projectprogram.
395
968000
2000
Nem könnyű feladat.
16:25
One'sEgy got to buildépít a lot of technologytechnológia.
396
970000
2000
Rengeteg technikára van szükség hozzá.
16:27
One'sEgy got to buildépít a structureszerkezet that's probablyvalószínűleg
397
972000
2000
Valószínűleg legalább olyan mélységű szerkezet
16:29
at leastlegkevésbé as deepmély as existinglétező physicsfizika.
398
974000
2000
megépítésére van szükség, mint maga a létező fizika.
16:31
And I'm not sure what the bestlegjobb way to organizeszervez the wholeegész thing is.
399
976000
3000
Abban sem vagyok biztos, milyen módon kellene az egészet megszervezni.
16:34
BuildÉpít a teamcsapat, opennyisd ki it up, offerajánlat prizesdíjak and so on.
400
979000
3000
Hogyan kellene a csapatot kialakítani, díjakat kitűzni, és a többi.
16:37
But I'll tell you, here todayMa,
401
982000
2000
Annyit azonban mondhatok, hogy
16:39
that I'm committedelkötelezett to seeinglátás this projectprogram doneKész,
402
984000
2000
nem nyugszom, amíg ez a munka el nem készül,
16:41
to see if, withinbelül this decadeévtized,
403
986000
3000
látni akarom, hogy ebben az évtizedben
16:44
we can finallyvégül holdtart in our handskezek
404
989000
2000
végre kezünkben tarthatjuk-e
16:46
the ruleszabály for our universevilágegyetem
405
991000
2000
univerzumunk szabályát,
16:48
and know where our universevilágegyetem lieshazugságok
406
993000
2000
és megtudjuk, hogy univerzumunk
16:50
in the spacehely of all possiblelehetséges universesuniverzumok ...
407
995000
2000
hol található az összes lehetséges univerzumok terében --
16:52
and be ableképes to typetípus into WolframVolfrám AlphaAlfa, "the theoryelmélet of the universevilágegyetem,"
408
997000
3000
és be lehessen gépelni a Wolfram Alpha-ba, hogy "az univerzum elmélete",
16:55
and have it tell us.
409
1000000
2000
és megmondja nekünk.
16:57
(LaughterNevetés)
410
1002000
2000
(Nevetés)
17:00
So I've been workingdolgozó on the ideaötlet of computationszámítás
411
1005000
2000
A számítógépes rendszerek elvén dolgoztam az
17:02
now for more than 30 yearsévek,
412
1007000
2000
elmúlt több mint 30 évben,
17:04
buildingépület toolsszerszámok and methodsmód and turningfordítás intellectualszellemi ideasötletek
413
1009000
3000
eszközöket és módszereket dolgoztam ki, úgymond értelmes gondolatokat
17:07
into millionsTöbb millió of linesvonalak of codekód
414
1012000
2000
fordítottam le sok milliónyi sor kódra,
17:09
and gristőrlemény for serverszerver farmsgazdaságok and so on.
415
1014000
2000
ültettem szerverfarmokra és így tovább.
17:11
With everyminden passingelhaladó yearév,
416
1016000
2000
Minden eltelt évvel,
17:13
I realizemegvalósítani how much more powerfulerős
417
1018000
2000
egyre világosabban látom, mennyire
17:15
the ideaötlet of computationszámítás really is.
418
1020000
2000
nagyon hatalmas gondolat volt a számítástudományé.
17:17
It's takentett us a long way alreadymár,
419
1022000
2000
Messzire jutottunk már eddig is vele,
17:19
but there's so much more to come.
420
1024000
2000
de a legnagyobb része még hátra van.
17:21
From the foundationsalapítványok of sciencetudomány
421
1026000
2000
A tudomány alapjaitól kezdve
17:23
to the limitshatárok of technologytechnológia
422
1028000
2000
a technikai lehetőségek határáig
17:25
to the very definitionmeghatározás of the humanemberi conditionfeltétel,
423
1030000
2000
magának az emberi létnek a definiálásáig...
17:27
I think computationszámítás is destinedszánt to be
424
1032000
2000
Úgy gondolom, a számítástudomány lesz a
17:29
the definingmeghatározó ideaötlet of our futurejövő.
425
1034000
2000
jövőnk meghatározó gondolata.
17:31
Thank you.
426
1036000
2000
Köszönöm.
17:33
(ApplauseTaps)
427
1038000
14000
(Taps)
17:47
ChrisChris AndersonAnderson: That was astonishingmegdöbbentő.
428
1052000
2000
Chris Anderson: Ez bámulatos volt.
17:49
StayA(z) here. I've got a questionkérdés.
429
1054000
2000
Maradjon még. Kérdezni szeretnék.
17:51
(ApplauseTaps)
430
1056000
4000
(Taps)
17:57
So, that was, fairbecsületes to say, an astonishingmegdöbbentő talk.
431
1062000
3000
Nos, nyugodtan mondhatjuk, hogy bámulatos előadást hallottunk.
18:01
Are you ableképes to say in a sentencemondat or two
432
1066000
3000
Tudna mondani egy-két mondatot arról, hogy
18:04
how this typetípus of thinkinggondolkodás
433
1069000
3000
ezek a fajta gondolatok
18:07
could integrateegyesít at some pointpont
434
1072000
2000
hogyan kapcsolódhatnak
18:09
to things like stringhúr theoryelmélet or the kindkedves of things that people think of
435
1074000
2000
olyan dolgokkal, mint a húrelmélet vagy az olyan elképzelésekkel
18:11
as the fundamentalalapvető explanationsmagyarázatok of the universevilágegyetem?
436
1076000
3000
amelyeket az univerzum legalapvetőbb magyarázatának tekintenek?
18:14
StephenIstván WolframVolfrám: Well, the partsalkatrészek of physicsfizika
437
1079000
2000
Stephen Wolfram: Nos, a fizika azon részei
18:16
that we kindkedves of know to be trueigaz,
438
1081000
2000
amelyekről tudjuk, hogy megfelelnek a valóságnak,
18:18
things like the standardalapértelmezett modelmodell of physicsfizika:
439
1083000
2000
mint a fizika standard modellje.
18:20
what I'm tryingmegpróbálja to do better reproducereprodukálni the standardalapértelmezett modelmodell of physicsfizika
440
1085000
3000
Amit én csinálni próbálok, az inkább reprodukálja a fizika standard modelljét
18:23
or it's simplyegyszerűen wrongrossz.
441
1088000
2000
vagy pedig egyszerűen tévedés.
18:25
The things that people have triedmegpróbálta to do in the last 25 yearsévek or so
442
1090000
2000
Amivel az utóbbi nagyjából 25 évben próbálkoztak
18:27
with stringhúr theoryelmélet and so on
443
1092000
2000
a húrelmélettel és hasonlókkal
18:29
have been an interestingérdekes explorationfelfedezés
444
1094000
2000
az egy érdekes kísérlet
18:31
that has triedmegpróbálta to get back to the standardalapértelmezett modelmodell,
445
1096000
3000
amellyel megpróbáltak visszajutni a standard modellhez,
18:34
but hasn'tmég nem quiteegészen gottenütött there.
446
1099000
2000
de nem egészen sikerült.
18:36
My guessTaláld ki is that some great simplificationsegyszerűsítések of what I'm doing
447
1101000
3000
Úgy vélem, hogy valami nagyszerű leegyszerűsítése annak amit csinálok
18:39
maylehet actuallytulajdonképpen have considerablejelentős resonancerezonancia
448
1104000
3000
valójában figyelemre méltóan visszatükrözi
18:42
with what's been doneKész in stringhúr theoryelmélet,
449
1107000
2000
amit a húrelméletben csináltak,
18:44
but that's a complicatedbonyolult mathmatematikai thing
450
1109000
3000
de ez egy bonyolult matematikai alapokon nyugvó dolog
18:47
that I don't yetmég know how it's going to work out.
451
1112000
3000
és egyelőre még nem tudom mi lesz az eredménye.
18:50
CACA: BenoitBenoit MandelbrotMandelbrot is in the audienceközönség.
452
1115000
2000
CA: Benoit Mandlebrot is a közönség soraiban ül.
18:52
He alsois has shownLátható how complexitybonyolultság
453
1117000
2000
Ő is foglalkozott azzal, hogyan alakulhat ki komplexitás
18:54
can arisefelmerülhet out of a simpleegyszerű startRajt.
454
1119000
2000
egyszerű dolgokból kiindulva.
18:56
Does your work relateviszonyul to his?
455
1121000
2000
Kapcsolódik az Ön munkája ehhez?
18:58
SWSW: I think so.
456
1123000
2000
SW: Igen.
19:00
I viewKilátás BenoitBenoit Mandelbrot'sMandelbrot work
457
1125000
2000
Benoit Mandelbrot munkásságát
19:02
as one of the foundingalapító contributionshozzájárulások
458
1127000
3000
mintegy a terület egyik megalapozásának
19:05
to this kindkedves of areaterület.
459
1130000
3000
tekintem.
19:08
BenoitBenoit has been particularlykülönösen interestedérdekelt
460
1133000
2000
Benoitot különösen a beágyazott minták,
19:10
in nestedbeágyazott patternsminták, in fractalsFraktálok and so on,
461
1135000
2000
fraktálok és hasonlók érdekelték,
19:12
where the structureszerkezet is something
462
1137000
2000
amelyeknek szerkezete fához
19:14
that's kindkedves of tree-likefa-szerű,
463
1139000
2000
hasonló felépítésű,
19:16
and where there's sortfajta of a bignagy branchág that makesgyártmányú little brancheságak
464
1141000
2000
olyan, hogy van egy nagy ág, amely kisebb ágakra válik szét,
19:18
and even smallerkisebb brancheságak and so on.
465
1143000
3000
majd még kisebb ágakká és így tovább.
19:21
That's one of the waysmódokon
466
1146000
2000
Ez is egy módja, ahogy a valódi
19:23
that you get towardsfelé trueigaz complexitybonyolultság.
467
1148000
3000
komplexitást megközelíthetjük.
19:26
I think things like the RuleSzabály 30 cellularsejtes automatonautomata
468
1151000
3000
Úgy gondolom, az elemi sejtautomata 30-as szabályával
19:29
get us to a differentkülönböző levelszint.
469
1154000
2000
egy másik szintre jutunk.
19:31
In facttény, in a very precisepontos way, they get us to a differentkülönböző levelszint
470
1156000
3000
Valójában egész pontosan azért jelentenek másik szintet,
19:34
because they seemlátszik to be things that are
471
1159000
2000
mert olyan dolgoknak tűnnnek, amelyek
19:37
capableképes of complexitybonyolultság
472
1162000
3000
komplexitásra képesek
19:40
that's sortfajta of as great as complexitybonyolultság can ever get ...
473
1165000
3000
ez olyasmi, aminél nagyobb kompexitás aligha lehet ...
19:44
I could go on about this at great lengthhossz, but I won'tszokás. (LaughterNevetés) (ApplauseTaps)
474
1169000
3000
Még nagyon sokat beszélhetnék erről, de most befejezem.
19:47
CACA: StephenIstván WolframVolfrám, thank you.
475
1172000
2000
CA: Stephen Wolfram, köszönjük!
19:49
(ApplauseTaps)
476
1174000
2000
(Taps)
Translated by Lívia Bürgermeister
Reviewed by Laszlo Kereszturi

▲Back to top

ABOUT THE SPEAKER
Stephen Wolfram - Scientist, inventor
Stephen Wolfram is the creator of Mathematica and Wolfram|Alpha, the author of A New Kind of Science, and the founder and CEO of Wolfram Research.

Why you should listen

Stephen Wolfram published his first scientific paper at the age of 15, and received his PhD in theoretical physics from Caltech by the age of 20. Having started to use computers in 1973, Wolfram rapidly became a leader in the emerging field of scientific computing.

In 1981 Wolfram became the youngest recipient of a MacArthur Prize Fellowship. He then set out on an ambitious new direction in science aimed at understanding the origins of complexity in nature. Wolfram's first key idea was to use computer experiments to study the behavior of simple computer programs known as cellular automata. This allowed him to make a series of startling discoveries about the origins of complexity.

Wolfram founded the first research center and the first journal in the field, Complex Systems, and began the development of Mathematica. Wolfram Research soon became a world leader in the software industry -- widely recognized for excellence in both technology and business.

Following the release of Mathematica Version 2 in 1991, Wolfram began to divide his time between Mathematica development and scientific research. Building on his work from the mid-1980s, and now with Mathematica as a tool, Wolfram made a rapid succession of major new discoveries, which he described in his book, A New Kind of Science.

Building on Mathematica, A New Kind of Science, and the success of Wolfram Research, Wolfram recently launched Wolfram|Alpha -- an ambitious, long-term project to make as much of the world's knowledge as possible computable, and accessible to everyone.

More profile about the speaker
Stephen Wolfram | Speaker | TED.com