O que adianta a Apple ter bons pesquisadores? Depois do produto fechado e
embalado, ninguem sabe como funciona, como se chegou la... etc, etc, nao
incrementa a ciencia, ja a IBM tem projetos Open Source, a verdade eh que a
maior parte da verba publica que incentiva a pesquisa em universidade geram
Prezados.
É corrente usarmos os termos “fraca” e “forte” para nomear as seguintes
propriedades de sistemas formais:
Correção fraca,
Correção forte,
Completude fraca e
Completude forte.
Gostaria de saber se existem outros termos, além de “fraca” e “forte”, para
denotar essas mesmas propriedades.
Reformulando:
-Se T é uma teoria consistente de cardinal k então T possui modelo e se T
possui um modelo infinito então possui modelos infinitos em todos os
cardinais maiores ou iguais a k.
Abraço
Rodrigo
___
Logica-l mailing list
Não é verdade. Tudo o que a Apple inovou acabou em todos os computadores. O
Windows, por exemplo, veio justamente dos primeiros sistemas operacionais da
Apple, que já trabalhavam com janelas. Mesmo os tablets que agora povoam o
mercado foram uma inovação deles.
Em 27 de junho de 2011 10:06,
http://en.wikipedia.org/wiki/History_of_the_graphical_user_interface#Xerox_PARC
http://en.wikipedia.org/wiki/History_of_tablet_computers
Ser o primeiro a ter sucesso comercial não significar ser o inventor.
Só falta dizer que o iPod foi o primeiro portable music player também.
2011/6/27 Tony
Obrigada Rodrigo! e desculpe o repeteco.
Valeria (quase 10 anos de pesquisa na Xerox-PARC)
2011/6/27 Rodrigo Valceli Raimundo rodrigovalc...@gmail.com
http://en.wikipedia.org/wiki/History_of_the_graphical_user_interface#Xerox_PARC
http://en.wikipedia.org/wiki/History_of_tablet_computers
Dica: ninguém está autorizado a falar mal da Apple antes de ter comprado um
iPad...
Quanto ao Programa Apollo, ele rendeu frutos à ciência, sim. Por exemplo,
para a Geologia.
Abraços,
Alvaro Augusto
-Mensagem original-
De: logica-l-boun...@dimap.ufrn.br
