O que diferencia precisamente a ciência da computação da matemática no contexto teórico?

15

Eu sou um estudante universitário de Ciência da Computação, com uma grande paixão por estudar Matemática. Acredito firmemente que Ciência da Computação ou Ciência da Computação Teórica é um ramo direto da Matemática e da Lógica e também da opinião de que um diploma em Ciência da Computação deve sempre ser orientado pela Matemática. Por favor corrija-me se eu estiver errado.

Sinceramente, sinto que não há muita diferença nos 2 assuntos a serem francos, pois todo "cálculo" envolve "cálculo" , embora todo "cálculo" possa não ser um "cálculo" . Mais uma vez, forneça informações e evidências substanciais e me atualize se eu estiver enganado aqui. Obrigado

Maxood
fonte
5
Re: "todo 'cálculo' envolve 'cálculo'": Isso parece relevante apenas tangencialmente para mim, uma vez que a pesquisa em CS não consiste em fazer cálculos, e a pesquisa em matemática não consiste em fazer cálculos.
ruach
"embora todo" cálculo "possa não ser um" cálculo "." Se a tese de Church-Turing se mantém e nós (humanos) somos apenas máquinas de Turing, então sim, todo cálculo é apenas um (parte de) uma computação de uma máquina de Turing e tudo já produzido pela mente humana é apenas a saída da dita máquina ...
Bakuriu
11
Termine seus estudos. Você perceberá que os cientistas da computação e matemáticos pensam e abordam os problemas de maneiras diferentes. Aí está sua resposta então.
Raphael
11
Sinto que a estatística está em uma posição semelhante. Na sua forma mais teórica, é um ramo da matemática, em sua forma aplicada "apenas" usa a matemática para resolver problemas não-matemáticos, e não há uma linha divisória clara.
RemcoGerlich 10/10
11
O CS da OMI é mais orientado para a prática, enquanto a Matemática é mais teórica / abstrata. Eu diria que a maioria das pesquisas em SC se preocupa com aspectos práticos e, em muitos casos, é impulsionada pela necessidade industrial direta de algumas empresas. Assim, como o que outros dizem, o CS normalmente não faz o que os pesquisadores de matemática estão fazendo.
Xji # 14/16

Respostas:

18

Ciência da computação teórica é o que os cientistas teóricos da computação fazem; e matemática é o que os matemáticos fazem. Fora isso, também não há uma definição aceita. Alguém poderia argumentar que a ciência da computação teórica é um ramo (ou ramos) particular da matemática, influenciado (pelo menos originalmente) pelo problema da computação eficiente.

Muitas áreas da matemática claramente não são ciências da computação, como análise funcional, teoria das categorias, geometria algébrica, teoria dos números algébricos e muitas outras. No entanto, algumas vezes essas áreas são aplicadas à ciência da computação teórica. Parte deles pode então formar parte da ciência da computação teórica, se houver uma comunidade de cientistas da computação teórica que decidiram trabalhar neles.

Por outro lado, a teoria da computabilidade não faz necessariamente parte da ciência da computação teórica, dependendo de qual comunidade de ciência da computação teórica se toma como referência. A ciência da computação teórica (ou pelo menos sua parte conhecida como "Teoria A") é tradicionalmente sobre o que pode ser computado eficientemente, e não sobre o que pode ser computado.

Muitos teoremas matemáticos não têm conteúdo computacional e, em alguns casos, isso pode ser feito com precisão. Um exemplo é o resultado de Kawamura que é difícil resolver os ODEs em geral. Não é verdade que toda prova matemática tenha conteúdo construtivo - de fato, existem técnicas matemáticas que são inerentemente não construtivas, por exemplo, o uso da compactação ou o axioma da escolha em qualquer uma de suas outras formas.

Se você estiver interessado no conteúdo computacional de declarações e provas matemáticas, convém examinar a matemática reversa e a aritmética limitada (às vezes conhecida como matemática viável ou aritmética viável ).

Yuval Filmus
fonte
Comentários não são para discussão prolongada; esta conversa foi movida para o bate-papo .
Raphael
Muitas áreas da ciência da computação (teórica) claramente não são matemática (no sentido de que não são algo que os matemáticos fazem).
Raphael
A teoria das categorias claramente não é a ciência da computação teórica? Na minha universidade, esse curso era puramente ministrado no Departamento de Ciência da Computação (apesar de algumas pesquisas também no Departamento de Matemática).
Gål GD
8

Ciência da Computação é para Engenharia de Software como Química é para Engenharia Química.

De fato, a maioria das áreas da ciência possui uma ou mais disciplinas de engenharia que dependem delas. A biologia dá origem à engenharia biomédica, engenharia genética e assim por diante. A física dá origem à engenharia aeroespacial, engenharia eletrônica e assim por diante. Não existe uma correspondência individual, em parte porque a engenharia geralmente depende de mais de um ramo da ciência, e os vários ramos da ciência não são realmente distintos.

O relacionamento da matemática com a ciência da computação é praticamente o mesmo que o relacionamento da matemática com a física: é a linguagem que sustenta os dois. A Ciência da Computação teórica poderia ser pensada, basicamente, como um ramo da Matemática. Mas então, o mesmo poderia a Física Teórica ...

Pseudônimo
fonte
Dato de uma época em que todo mundo que se formou em cientista da computação era "realmente" outra coisa. Eles eram "realmente" um engenheiro, ou "realmente" um matemático, ou "realmente" um linguista, ou algo mais. Turing estava correto, na época.
Pseudônimo
Isso significa que, na tendência atual, ser matemático não é uma necessidade para ser um bom programador?
usar o seguinte código
Ter uma boa base em matemática é tão importante para ser engenheiro de software quanto para ser engenheiro químico ou civil.
Pseudônimo
Como engenheiro de software, quando você diz, boa base em matemática, você consideraria estes como os tópicos suficientes em matemática, que se deve ser forte o suficiente e pode ser capaz de aplicar esses conceitos, sempre que necessário na construção de software?
usar o seguinte código
Se você tivesse postado isso como uma pergunta, provavelmente seria fechado como "principalmente baseado em opiniões". Quanta matemática você precisa depende em parte do que você está fazendo.
Pseudônimo
6

Em uma frase, eu diria que a preocupação distinta é a preocupação com a complexidade computacional .

Em matemática, você está preocupado apenas com possibilidade e correção; no TCS, você está preocupado não apenas com isso, mas também com a dificuldade computacional do problema, em termos de complexidade de tempo, aproximação, complexidade de espaço, complexidade de E / S e assim por diante.

Você pode encontrar uma exceção estranha em algum lugar, como em qualquer regra, mas parece-me que isso é bastante preciso no geral.

user541686
fonte
Isso não impede a Ciência da Computação de ser um ramo da matemática. Sua definição de "matemática" é muito estreita, se o CS não se encaixar.
Curinga
@Wildcard: A ciência da computação não é um ramo da matemática ... assim como a física também não é. As pessoas não se referem aos cientistas da computação como matemáticos, e os cientistas da computação geralmente também não se referem a si mesmos como matemáticos. Heck, algumas pessoas até questionam se a estatística é considerada matemática ... Não vou tentar abrir essa lata de minhocas, mas certamente são mais do que suficientes para mostrar que minha definição de matemática não é "muito estreita" por qualquer meios ...
user541686
As leis aceitas da Física são derivadas apenas de observação, hipótese, experimentação no mundo real, mais observação, revisão de hipóteses, mais experimentação no mundo real, mais observação, avanço da hipótese para o status de "teoria" e assim por diante. O CS procede de axiomas verdadeiros, por definição, a provas de teoremas (ou algoritmos) baseados nesses axiomas. Não está sujeito a invalidação por observação do mundo real, nem a invalidação por experimentação. Por isso, é matemática, não ciência, de acordo com o método científico.
Curinga
Justo; Muito obrigado pelo link. Prefiro minha própria distinção entre os termos (e não estou sozinho nisso), embora seja bom ver claramente a relação entre minhas definições e as da Wikipedia. Essencialmente, defino a ciência como a Wikipedia: "... explicações e previsões testáveis ​​sobre o universo", que eu diria que englobam "ciências naturais" e "ciências sociais", mas não "ciências formais", pois são a priori, não testável. Da mesma forma, eu defino "matemática" de tal forma que inclua tudo dentro do escopo das chamadas "ciências formais", incluindo CS.
Curinga
1

Matemática é o estudo de definições e suas conseqüências; de estruturas e padrões. A ciência da computação é a arte e a ciência de fazer as coisas. Um matemático estuda um problema para entender a estrutura abstrata por trás dele. Um cientista da computação, por outro lado, quer encontrar uma abordagem geral para resolver problemas semelhantes.

Alguns subcampos da ciência da computação se sobrepõem à matemática. Outros estão mais próximos de estatística, engenharia, ciência e até ciências sociais.

Jouni Sirén
fonte
1

Complementando a resposta do pseudônimo, acrescentaria que a ciência da computação, como a física, tem um componente experimental que a matemática pura não possui e não pode ter.

Diferentemente da física, o componente experimental da ciência da computação tem a ver com o tempo e o espaço, mas como eles são envolvidos pela linguagem, a posteriori. Isso significa que estamos interessados ​​em formalizar em termos matemáticos (porque somos cientistas) aspectos dos processos de pensamento que têm a ver com a experiência da linguagem e da linguagem. Filosoficamente falando, essa definição é apenas o começo de uma conversa, mas achei que seria útil (e foi por isso que decidi publicá-la).

Dito isto, as fronteiras entre os campos vizinhos (ou complementares) nunca são absolutas. A ciência é sempre muito mais rica e complexa do que nossas categorizações acadêmicas podem expressar.

André Souza Lemos
fonte
0

Após minha conversa nos comentários com Mehrdad sobre sua resposta , sinto que devo fornecer minha própria resposta; de fato, existem lados filosóficos dessa questão que admitem uma interpretação mais ampla do que a classificação predominante entre os cientistas da computação modernos.

Para endereçar sua declaração exata (ênfase adicionada):

Acredito firmemente que Ciência da Computação ou Ciência da Computação Teórica é um ramo direto da Matemática e da Lógica e também da opinião de que um diploma em Ciência da Computação deve sempre ser orientado pela Matemática. Por favor corrija-me se eu estiver errado.

Sua classificação não concorda com a Wikipedia e com muitos cientistas da computação modernos, mas isso significa que está errado? Não necessariamente. Até a própria Wikipedia reconhece visões opostas sobre esse assunto, incluindo sua própria visão, que eu compartilho.


Primeiro, vamos considerar as definições. (Ênfase é adicionada.) Cada um desses trechos é retirado da Wikipedia; links são fornecidos na primeira palavra ou frase de cada trecho.

A ciência é uma empresa sistemática que constrói e organiza o conhecimento na forma de explicações e previsões testáveis ​​sobre o universo.

A ciência contemporânea é tipicamente subdividida nas ciências naturais, que estudam o universo material; as ciências sociais, que estudam pessoas e sociedades; e as ciências formais, que estudam lógica e matemática. As ciências formais são frequentemente excluídas, pois não dependem de observações empíricas.

E mais (a partir de uma página diferente):

Matemática (do grego μάθημα máthēma, “conhecimento, estudo, aprendizado”) é o estudo de tópicos como quantidade (números), estrutura, espaço e mudança. Há uma série de pontos de vista entre matemáticos e filósofos quanto ao escopo exato e à definição da matemática.

Os matemáticos procuram padrões e os usam para formular novas conjecturas. Os matemáticos resolvem a verdade ou falsidade de conjecturas por meio de prova matemática.

...

Hoje, não existe consenso sobre a definição de matemática, mesmo entre os profissionais.

...

Muitos filósofos acreditam que a matemática não é experimentalmente falsificável e, portanto, não é uma ciência.

E agora, quanto ao CS:

A ciência da computação teórica é uma divisão ou subconjunto da ciência e da matemática gerais da computação que se concentra em aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.


De acordo com o artigo da Wikipedia sobre "Ramos da ciência" :

Diferentemente de outras ciências, as ciências formais não se preocupam com a validade de teorias baseadas em observações no mundo real (conhecimento empírico), mas com as propriedades de sistemas formais com base em definições e regras.

A classificação continua especificando a ciência da computação teórica como um ramo da ciência formal, ao lado da matemática.

No entanto, dado o fato claro que a matemática não tem nenhuma definição geralmente aceite , mas certamente envolve provas matemáticas (formais), seria não ser ultrajante para incluir tudo na classificação "ciências formais" no âmbito da definição de "matemática", como você parece fazer.


Minhas próprias definições (classificações) excluem "ciências formais" do escopo da "ciência", pela razão acima citada de que elas não dependem de observações empíricas.

Além disso, minha própria definição de "matemática" inclui em seu escopo a totalidade das chamadas "ciências formais", incluindo a Ciência da Computação.

A diferenciação que eu faria entre esses termos é que a ciência é empírica; a matemática é baseada em deduções de premissas primárias.

A validade da ciência é baseada na precisão das observações.

A aplicabilidade da matemática depende da aplicabilidade das premissas primárias.

Curinga
fonte
Você considera química como física?
user541686
@ Mehrdad, não: a física lida principalmente com energia e mudanças nas formas de energia; a química lida principalmente com a matéria e as mudanças nas formas da matéria. Eles fazem têm alguma sobreposição (semelhança na aplicação). Embora eu me pergunte se essa pergunta foi planejada como um soco?
Curinga
Espere o que? Debaixo da minha resposta, você estava gastando todo esse tempo discutindo comigo que o CS é de alguma forma matemática, porque ambos são baseados em axiomas, não em observações ou o que quer que seja, mas agora que lhe pergunto sobre química, você está apenas ignorando sua própria lógica e dizendo que a química é na verdade, não a física, porque "lida principalmente com a matéria", e não com a energia? Obviamente, o CS lida com computação, enquanto a matemática lida com verdades / lógica / o que for, então por que você não pode aplicar sua lógica ali? (Não importa se você também está errado, e, por exemplo, "estados da matéria" é uma coisa da física, não da química ..)
user541686
Física e química são os dois ramos da ciência empírica. CS, aritmética, lógica de primeira ordem, álgebra, cálculo, geometria, teoria dos grafos, trigonometria, teoria relacional, são todos ramos da matemática. Muitos destes incluem sub-ramos; por exemplo, trig inclui trig esférico. O CS possui muitos sub-ramos. Ainda é um ramo da matemática. (Além disso, não sei por que você está estressando a física; nunca afirmei que "física" e "ciência" são sinônimos).
Curinga
O que não afirmo é que existem linhas de divisão firmes e rápidas (difíceis) entre vários ramos da matemática. Também não afirmo que existam linhas divisórias fixas entre vários ramos da ciência empírica. Não é uma linha divisória clara entre a matemática e ciência, porque as abordagens são fundamentalmente diferentes. (A matemática procede de suposições verdadeiras por definição, e a ciência prossegue empiricamente.) A matemática pode até se aplicar à ciência, se suas suposições principais se alinharem com observações empíricas.
Curinga