Computación: Diferenzas entre revisións

Unha proposición clásica da computación atópase nos traballos de [[Hilary Putnam]] e outros. [[Peter Godfrey-Smith]] alcumóuna como a “proposición da correspondencia simple”.<ref>{{cita publicación periódica| last = Godfrey-Smith | first = P. | year = 2009 | title = Triviality Arguments against Functionalism | journal = Philosophical Studies | volume = 145 | issue = 2 | pages = 273–95}}</ref> A síntese de [[Gualtiero Piccinini]] sobre esta proposición declara que se pode afirmar que un sistema físico efectúa unha computación específica cando existe unha correspondencia entre o estado dese sistema e a computación, tal que "os estados microfísicos do sistema emulan as transicións de estado entre os estados computacionais".<ref>{{citeCita booklibro | last = Piccinini | first = Gualtiero | title = Physical Computation: A Mechanistic Account | place = Oxford | publisher = Oxford University Press | year = 2015 | page = 17 | isbn = 9780199658855}}</ref>

[[Gualtiero Piccinini]] propón unha computación baseada no [[mecanicismo]]. Postula que os sistemas físicos computacionais son un tipo de mecanismo que, por deseño, efectúa computacións físicas, ou “a manipulación (por un mecanismo funcional) dun vehículo independente do medio, segundo unhas regras". A independencia do medio permite o uso de variábeis físicas con trazos distintos da voltaxe (como nos computadores dixitais típicos); isto resulta imperativo se consideramos outros tipos de computación, como a que se dá no [[cerebro]] ou na computación cuántica. Unha regra, neste contexto, fornecerá unha correspondencia entre entradas, saídas e estados internos do sistema físico computacional. <ref>{{citeCita booklibro | last = Piccinini | first = Gualtiero | title = Physical Computation: A Mechanistic Account | place = Oxford | publisher = Oxford University Press | year = 2015 | page = 10 | isbn = 9780199658855}}</ref>