Gyula:

Kozben olyan sikra terelodott a kerdes, ami engem mar nem erdekelt. Volt kozben
 egy osszetuzes a moderatorokkal is. Tehat mar nem figyeltem ezeket a kerdeseke
t.

A kerdes az, hogy mi a szamitogep. Enszerintem erre funkcionalis definiciot kel
l adni.

Az en definiciom az volt, hogy a Turing gep szamitogep. Te azt mondod, hogy nin
cs Turing gep, mert minden szamitogep veges. Rendben, ilyen szempontbol a Turin
g gep idealizalas. De minden mas fogalmunk idealizalas. Egyebkent az eszrevetel
edet megis megkoszonom, mert egy filozofiai cikkemben ez egy fontos dolog volt.
 Ugyanis a Godel tetel es a halting problem igy igazabol igazi szamitogepekre n
em is ervenyes.

Ugyanakkor a szamitogep fogalmaban szerintem akkor is benne van az, hogy szamit
ogep az, amit mint egy Turing gep veges megoldasakent terveznek meg, programozn
ak, stb. A szamitogepek raadasul ha nem is vegtelen, de bovitheto memoriaval re
ndelkeznek. Igy bar ekvivalensek egy veges automataval, de meg sem veges automa
takent terveztek oket.

Hasonlo ez ahhoz, mint a "dgigitalis" definicioja. Szigoruan nezve nem mondhatj
uk azt sem, hogy a szamitogep digitalis, hiszen valojaban nem digitalis, hanem 
csak a mukodese nagy reszeben feltetelezhetjuk, hogy az idealizalt digitalis ge
phez igen kozeli modon mukodik. Neha meg lehet, hogy nem. 

Vagy peldaul az is egy idealizacio, hogy egyaltalan a szamitogep az egy input-o
tuput fekete doboz, aminek van valami torvenyszerusege, amit a programja vezere
l. A szmaitogepet ugy kezelik, mint egy elzart rendszer, aminek outputja az inp
uttol a programtol fugg, meg attol, hogy van-e aram. A valosagban pedig eloford
ulhat, hogy egy par kozmikus reszecske becsapodasa megvaltoztatja a szamitast.

Tehat a fogalmainkat ilyen idealizaciok alapjan alkalmazzuk, es eltekintunk neh
any elterestol idealizacio es valosag kozott. A szamitogep eseteben eltekitnunk
 attol, hogy az valojaban nem veges. A Turing gephez abban hasonlit, hogy van k
ozponti egysege, van szalagja, es ez a szalag olyan nagy, hogy a feladatok tobb
segeben eleg.

Namost azt mondtam, hogy a Turing gepnek azert tulajdonitunk nagy jelentoseget,
 mert tudomasunk szerint algoritmikusan univerzalis. Ilyen szmepotnbol a leheto
 legjelentosebb digitalis problemaosztalyt oleli fel, ugyanis az egeszet. 

Ugy velem,e z eleg jo indoklasa annak, hogy miert pont ezt az osztalyttekintik 
jelentosnek. Es arra, hogy ezt az osztalyt kulon neven jeloljuk.

math

(webes bekuldes, a bekuldo gepe: saprx01x.nokia.com)