O governo está liberando R$ 240 milhões para PMEs inovadoras. O projeto é bom, mas está 10 anos atrasado. Os recursos serão pulverizados por meio de incubadoras. O Cietec ficou com apenas R$ 14 milhões. Empreendedores que desejam participar do Programa Primeira Empresa Inovadora (Prime) tinham até o dia 30 de abril para se inscrever na primeira fase. Promovido pelo Ministério da Ciência e Tecnologia (MCT) e pela Financiadora de Estudos e Projetos (FINEP), a iniciativa tem o intuito de colaborar com o desenvolvimento de empresas nascentes em incubadoras. O plano de marketing do Prime foi muito fraco. Não existe um sistema de inovação brasileiro, ficção barata, jogo de palavras.

Links:

http://www.ufs.br/

http://www.anprotec.org.br/

http://www.cietec.org.br/

http://www.cesar.org.br/

www.incamp.unicamp.br

www.fumsoft.softex.br

www.cise.org.br

www.celta.org.br

Os primórdios do desenvolvimento das leis lógico-matemáticas foi a compreensão do conceito de número, quer dizer, ver o número não como uma maneira de se poder contar, mas como uma idéia abstrata. 

Potencialidades (e limites) do método formal-dedutivo de representação e raciocínio sobre uma "realidade" são questões da lógica.

A Máquina de Turing, conceito abstrato que efetivamente deu início à era dos computadores, baseou-se no princípio de que a simples aplicação de regras permite passar mecanicamente de uns símbolos a outros, sistema lógico que foi inaugurado por Boole, que foi o primeiro a enfatizar a possibilidade de se aplicar o cálculo formal a diferentes situações, e fazer operações com regras formais, desconsiderando noções primitivas.

Kurt Gödel demonstrou que não é possível construir uma teoria axiomática dos números que seja completa, como pretendia Hilbert.

Gödel acabou com o sonho logicista, visto que não se pode desenvolver toda a aritmética (e muito menos toda a matemática) num sistema que seja ao mesmo tempo consistente e completo. Também acabou com o sonho formalista: existem enunciados matemáticos que são verdadeiros, mas não são suscetíveis de prova, isto é, existe um abismo entre verdade e demonstração.

Governança Corporativa e o Consumidor. O título da tese mudou. O tema é amplo e não tenho muito tempo. A troca de informações entre clientes, acionistas e colaboradores da corporação multinacional não é um jogo de palavras. Transações são executadas, contratos são elaborados, informação e cultura são elementos do desenvolvimento humano.