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>{{Citation | 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>{{cite book | last = Piccinini | first = Gualtiero | title = Physical Computation: A Mechanistic Account | place = Oxford | publisher = Oxford University Press | year = 2015 | page = 17 | isbn = 9780199658855}}</ref>
==== Proposición semántica ====
Liña 23:
==== Proposición mecanicista ====
[[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>{{cite book | last = Piccinini | first = Gualtiero | title = Physical Computation: A Mechanistic Account | place = Oxford | publisher = Oxford University Press | year = 2015 | page = 10 | isbn = 9780199658855}}</ref>
