Computación: Diferenzas entre revisións

Contido eliminado Contido engadido
m Bot: Substitución automática de texto (-{{Listaref|2}} +{{Listaref|30em}}); cambios estética
Banjo (conversa | contribucións)
Sen resumo de edición
Liña 17:
 
==== Proposición da correspondencia ====
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>{{Citationcita 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>{{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 ====
Filósofos como [[Jerry Fodor]]<ref>{{Citationcita publicación periódica| last = Fodor | first = J. A. | year = 1981 | title = The Mind-Body Problem | journal = Scientific American | volume = 244 | issue = January 1981}}</ref> teñen suxerido varias proposicións da computación, coa restricción de que o contido [[Semántica|semántico]] é unha condición necesaria para a computación (isto é, que o que diferenza un sistema físico arbitrario dun sistema computacional é que neste os [[operando]]s da computación representan algunha cousa). Esta noción trata de eludir a abstracción lóxica da proposición da correspondencia do [[Física dixital|pancomputacionalismo]], a idea de que sexa posíbel dicir que todas as cousas computan todas as cousas.
 
==== Proposición mecanicista ====