Calcul - Computation
Computation este orice tip de calcul , care include atât aritmetice etape și non-aritmetice și care urmează un model bine definit ( de exemplu , un algoritm ).
Dispozitivele mecanice sau electronice (sau, istoric , persoanele) care efectuează calcule sunt cunoscute sub numele de computere . O disciplină bine cunoscută a studiului calculelor este informatica .
Fenomen fizic
Calculul poate fi văzut ca un fenomen pur fizic care apare în interiorul unui sistem fizic închis numit computer . Exemple de astfel de sisteme fizice includ calculatoare digitale , calculatoare mecanice , calculatoare cuantice , calculatoare ADN , calculatoare moleculare , microfluidics bazate pe calculatoare, calculatoare analogice sau calculatoare e diferită . Acest punct de vedere a fost adoptat de fizica calculului , o ramură a fizicii teoretice, precum și de domeniul calculului natural .
Un punct de vedere și mai radical, pancomputaționalismul , este postulatul fizicii digitale care susține că evoluția universului este ea însăși un calcul.
Contul de cartografiere
Contul clasic al calculului se găsește în lucrările lui Hilary Putnam și alții. Peter Godfrey-Smith a numit acest „cont de cartografiere simplă”. Rezumatul acestui cont al lui Gualtiero Piccinini afirmă că se poate spune că un sistem fizic efectuează un calcul specific atunci când există o mapare între starea sistemului respectiv la calcul astfel încât „stările microfizice [ale sistemului] reflectă tranzițiile de stare între stări de calcul. "
Contul semantic
Filozofi precum Jerry Fodor au sugerat diverse relatări ale calculului cu restricția că conținutul semantic este o condiție necesară pentru calcul (adică ceea ce diferențiază un sistem fizic arbitrar de un sistem de calcul este că operanzii calculului reprezintă ceva). Această noțiune încearcă să prevină abstracția logică a contului cartografic al pancomputaționalismului , ideea că totul se poate spune că calculează totul.
Contul mecanicist
Gualtiero Piccinini propune o relatare a calculului bazată pe filosofia mecanică . Se afirmă că sistemele de calcul fizice sunt tipuri de mecanisme care, prin proiectare, efectuează calcule fizice sau „manipularea (printr-un mecanism funcțional) a unui vehicul independent de mediu conform unei reguli”. Independența medie necesită ca proprietatea să poată fi instanțiată de mai mulți realizatori și mai multe mecanisme și că intrările și ieșirile mecanismului să fie, de asemenea, realizabile în mai multe rânduri . Pe scurt, independența medie permite utilizarea variabilelor fizice cu alte trăsături decât tensiunea (ca în computerele digitale tipice); acest lucru este imperativ în luarea în considerare a altor tipuri de calcul, cum ar fi cel care are loc în creier sau într-un computer cuantic . O regulă, în acest sens, oferă o mapare între intrări, ieșiri și stări interne ale sistemului fizic de calcul.
Modele matematice
În teoria calculației , a fost dezvoltată o diversitate de modele matematice ale computerelor. Modelele matematice tipice ale computerelor sunt următoarele:
- Modele de stare, inclusiv mașina Turing , automatul pushdown , automatul cu stare finită și PRAM
- Modele funcționale, inclusiv calcul lambda
- Modele logice, inclusiv programarea logică
- Modele simultane, inclusiv modelul actorului și calculele proceselor
Giunti numește modelele studiate de teoria calculelor sisteme de calcul și susține că toate acestea sunt sisteme dinamice matematice cu timp discret și spațiu de stare discret. El susține că un sistem de calcul este un obiect complex care constă din trei părți. În primul rând, un sistem matematic dinamic cu timp discret și spațiu de stare discret; în al doilea rând, o configurație de calcul , care este alcătuită dintr-o parte teoretică și o parte reală ; în al treilea rând, o interpretare , care leagă sistemul dinamic de configurare .
Vezi si
- Computaționalism
- Calcul real
- Calcul reversibil
- Hipercomputatie
- Calcul lateral
- Problemă de calcul
- Realizare multiplă
- Limite de calcul