Filosofia da ciência da computação - Philosophy of computer science
A filosofia da ciência da computação está preocupada com as questões filosóficas que surgem no estudo da ciência da computação . Ainda não há um entendimento comum do conteúdo, objetivo, foco ou tópico da filosofia da ciência da computação, apesar de algumas tentativas de desenvolver uma filosofia da ciência da computação como a filosofia da física ou a filosofia da matemática . Devido à natureza abstrata dos programas de computador e às ambições tecnológicas da ciência da computação, muitas das questões conceituais da filosofia da ciência da computação também são comparáveis à filosofia da ciência , filosofia da matemática e filosofia da tecnologia .
Visão geral
Muitas das questões filosóficas centrais da ciência da computação estão centradas nas questões lógicas, ontológicas e epistemológicas que a concernem. Algumas dessas perguntas podem incluir:
- O que é computação?
- A tese de Church-Turing captura a noção matemática de um método eficaz em lógica e matemática?
- Quais são as consequências filosóficas do problema P vs NP ?
- O que é informação?
Tese de Church-Turing
A tese de Church-Turing e suas variações são centrais para a teoria da computação . Visto que, como noção informal, o conceito de calculabilidade efetiva não possui uma definição formal, a tese, embora tenha aceitação quase universal, não pode ser formalmente comprovada. As implicações desta tese também são de interesse filosófico. Os filósofos interpretaram a tese de Church-Turing como tendo implicações para a filosofia da mente .
Problema P versus NP
O problema P versus NP é um problema não resolvido em ciência da computação e matemática. Ele pergunta se todo problema cuja solução pode ser verificada em tempo polinomial (e assim definido para pertencer à classe NP ) também pode ser resolvido em tempo polinomial (e assim definido para pertencer à classe P ). A maioria dos cientistas da computação acredita que P ≠ NP .Além da razão de que, após décadas de estudo desses problemas, ninguém foi capaz de encontrar um algoritmo de tempo polinomial para qualquer um dos mais de 3.000 problemas importantes NP- completos conhecidos , razões filosóficas que dizem respeito às suas implicações podem ter motivado essa crença.
Por exemplo, de acordo com Scott Aaronson , o cientista da computação americano no MIT :
Se P = NP , então o mundo seria um lugar profundamente diferente do que costumamos supor que seja. Não haveria nenhum valor especial em "saltos criativos", nenhuma lacuna fundamental entre resolver um problema e reconhecer a solução uma vez encontrada. Todos que poderiam apreciar uma sinfonia seriam Mozart ; todos que pudessem seguir um argumento passo a passo seriam Gauss .
Veja também
- Prova assistida por computador: objeções filosóficas
- Filosofia da inteligência artificial
- Filosofia da informação
- Filosofia da matemática
- Filosofia da ciência
- Filosofia da tecnologia
Referências
Leitura adicional
- Matti Tedre (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
- Scott Aaronson . " Por que os filósofos devem se preocupar com a complexidade computacional ". Em Computabilidade: Gödel, Turing, Church, and beyond .
- Timothy Colburn . Filosofia e Ciência da Computação . Explorações em Filosofia. ME Sharpe, 1999. ISBN 1-56324-991-X .
- AK Dewdney . Novo ônibus de Turing: 66 excursões em ciência da computação
- Luciano Floridi (editor). The Blackwell Guide to the Philosophy of Computing and Information , 2004.
- Luciano Floridi (editor). Filosofia da Computação e Informação: 5 perguntas . Imprensa automática, 2008.
- Luciano Floridi . Philosophy and Computing: An Introduction , Routledge, 1999.
- Christian Jongeneel . A cosmovisão informática, uma investigação sobre a metodologia da ciência da computação .
- Jan van Leeuwen . "Rumo a uma filosofia das ciências da informação e da computação" , NIAS Newsletter 42 , 2009.
- Moschovakis, Y. (2001). O que é um algoritmo? Em Enquist, B. e Schmid, W., editores, Mathematics ilimitado - 2001 e além, páginas 919–936. Springer.
- Alexander Ollongren , Jaap van den Herik . Filosofie van de informatica . Londres e Nova York: Routledge, 1999. ISBN 0-415-19749-X
- Tedre, Matti (2014), The Science of Computing: Shaping a Discipline , ISBN 9781482217698 Taylor e Francis.
- Ray Turner e Nicola Angius . " A Filosofia da Ciência da Computação ". Stanford Encyclopedia of Philosophy .
- Matti Tedre (2011). Computing as a Science: A Survey of Competing Viewpoints . Minds & Machines 21 , 3, 361–387.
- Ray Turner . Artefatos computacionais - Rumo a uma filosofia da ciência da computação. Springer. [1]