Symbolic Analysis & Symbol-Driven Engineering

Authors introduce a framework to connect the core areas of computer science.

It would be interesting to apply this framework, semantics, to administrative IT. As the algorithms are relatively simple, we eventually could prove programs correctness.

See also Semantics.

Computer Science

Excellent post on Computer Science: Why Computer Science Matters. Defined as “The analysis of algorithms and processes”. So, it is not only about computers.

It is very very young. It is the future. "The future breakthroughs in science and technology will not be the new “social network”, or “web app”, it will be the insight that we get through the study of the theories discussed in Computer Science."

Babbage and Ada

Trying to build the Analytical Engine. But the most important idea is that Ada was the first to understand the universality of computers. And their limits.

Computer science is booming

Navigate the Booming Computer Science Market

Ciência da Computação

Is the Thrill Gone?

Artigo de 2005, ainda atualíssimo. Como atrair jovens brilhantes para Ciência da Computação?

O ramo é fundamental, nele se produziu e se continua a produzir uma revolução do tamanho da Revolução Industrial ou da invenção da Imprensa ou ainda do alfabeto.

Idéias importantíssimas para a computação e para a Ciência em geral: "Universality, the duality between program and data, abstraction, recursion, tractability, virtualization, and fault tolerance are among its basic principles. No one would dispute that the very idea of computing was one of the greatest scientific and technological discoveries of the 20th century. Not only has it produced huge societal and commercial effects, its conceptual significance is increasingly felt in other sciences."

Um universo está sendo descoberto.

P ≠ NP by Deolalikar

Pesquisador da HP, publicou (2010) uma prova do famoso desafio matemático-computacional, provar que a classe de problemas P é igual à classe NP.

Muitas referências aí, começando pelo artigo do NYTimes Step 1: Post Elusive Proof. Step 2: Watch Fireworks que denuncia a manobra clássica: publicar uma prova difícil de verificar, aguardar o barulho em torno disso. Até me pergunto se a publicação por um pesquisador da HP não tem também a intenção de desviar atenção do escândalo da demissão do CEO da HP, por pagar despesas de viagem a sua secretária-modelo. Mas mesmo assim, e mesmo que a prova seja demonstrada falha, o que é muito possível, o simples fato de atacar um problema destes já abre caminhos incríveis em matemática e em computação.

Aliás, sem entrar em detalhes, que estão todos nas várias referências, P = NP é claramente problema fundamental em computação e em lógica, tem a ver com definir o que pode ser computado. Nada fácil.

P versus NP

P versus NP problem

A questão "P = NP?"

P vs NP Problem, Clay Institute, que oferece US$1.000.000 a quem resolver este problema, e alguns outros

P vs. NP for dummies, com boas referências e boa discussão