Hesaplama - Computation

Hesaplama , hem aritmetik hem de aritmetik olmayan adımları içeren ve iyi tanımlanmış bir modeli (örneğin bir algoritma ) izleyen herhangi bir hesaplama türüdür .

Mekanik veya elektronik cihazlar (veya, tarihsel olarak , insanlar) hesaplamaları gerçekleştirmek olarak bilinir bilgisayarlar . Hesaplama çalışmasının özellikle iyi bilinen bir disiplini bilgisayar bilimidir .

Fiziksel fenomen

Hesaplama, bilgisayar adı verilen kapalı bir fiziksel sistem içinde meydana gelen tamamen fiziksel bir fenomen olarak görülebilir . Bu tür fiziksel sistemlere örnek olarak dijital bilgisayarlar , mekanik bilgisayarlar , kuantum bilgisayarlar , DNA bilgisayarları , moleküler bilgisayarlar , mikroakışkan tabanlı bilgisayarlar, analog bilgisayarlar veya ıslak yazılım bilgisayarları verilebilir . Bu bakış açısı, teorik fiziğin bir dalı olan hesaplama fiziği ve doğal hesaplama alanı tarafından benimsenmiştir .

Daha da radikal bir bakış açısı olan pancomputationalism , evrenin evriminin kendisinin bir hesaplama olduğunu savunan dijital fiziğin varsayımıdır .

eşleme hesabı

Klasik hesaplama hesabı Hilary Putnam ve diğerlerinin çalışmalarında bulunur . Peter Godfrey-Smith buna "basit haritalama hesabı" adını verdi. Gualtiero Piccinini'nin bu açıklamanın özeti, fiziksel bir sistemin, o sistemin durumu ile hesaplama arasında bir eşleştirme olduğunda, "mikrofiziksel durumlar [sistemin] arasındaki durum geçişlerini yansıtacak şekilde belirli bir hesaplama gerçekleştirdiğinin söylenebileceğini" belirtir. hesaplama durumları.”

anlamsal hesap

Jerry Fodor gibi filozoflar , semantik içeriğin hesaplama için gerekli bir koşul olduğu kısıtlamasıyla çeşitli hesaplama açıklamaları önerdiler (yani, keyfi bir fiziksel sistemi bir bilgisayar sisteminden ayıran şey, hesaplama işlenenlerinin bir şeyi temsil etmesidir). Bu kavram , her şeyin her şeyi hesapladığı söylenebileceği fikri olan pancomputationalism'in haritalama hesabının mantıksal soyutlamasını engellemeye çalışır .

mekanik hesap

Gualtiero Piccinini , mekanik felsefeye dayalı bir hesaplama hesabı önerir . Fiziksel bilgi işlem sistemlerinin, tasarım gereği, fiziksel hesaplama veya "ortadan bağımsız bir aracın bir kurala göre (işlevsel bir mekanizma tarafından) manipülasyonu" gerçekleştiren mekanizma türleri olduğunu belirtir. Ortadan bağımsızlık, özelliğin çoklu gerçekleştiriciler ve çoklu mekanizmalar tarafından somutlaştırılabilmesini ve mekanizmanın girdi ve çıktılarının da çoklu gerçekleştirilebilir olmasını gerektirir . Kısacası, orta düzeyde bağımsızlık, voltaj dışındaki özelliklere sahip fiziksel değişkenlerin kullanımına izin verir (tipik dijital bilgisayarlarda olduğu gibi); bu, beyinde veya bir kuantum bilgisayarda meydana gelenler gibi diğer hesaplama türlerini dikkate alırken zorunludur . Bu anlamda bir kural, fiziksel bilgi işlem sisteminin girdileri, çıktıları ve dahili durumları arasında bir eşleme sağlar.

Matematiksel modeller

Gelen hesaplama teorisinde , bilgisayarların matematiksel modeller çeşitlilik geliştirilmiştir. Bilgisayarların tipik matematiksel modelleri şunlardır:

Giunti, hesaplama teorisi tarafından çalışılan modelleri hesaplamalı sistemler olarak adlandırır ve hepsinin ayrık zaman ve ayrık durum uzayına sahip matematiksel dinamik sistemler olduğunu savunur . Bir hesaplama sisteminin üç bölümden oluşan karmaşık bir nesne olduğunu savunuyor. Birincisi, ayrık zamanlı ve ayrık durum uzaylı matematiksel bir dinamik sistem ; ikincisi, teorik kısım ve gerçek kısımdan oluşan bir hesaplama düzeni ; üçüncüsü, dinamik sistemi kurulumla ilişkilendiren bir yorum .

Ayrıca bakınız

Referanslar