Academics have protested against Elsevier's business practices for years with
little effect. These are some of their objections:
1. They charge exorbitantly high prices for subscriptions to individual
journals.
2. In the light of these high prices, the only realistic option for many
libraries
Oh! Que boa surpresa logo de manhã! Muito obrigado!
Em 25 de abril de 2012 01:08, Walter Carnielli
escreveu:
> Caro Tony:
>
> eu acho que você está no caminho certo quando pergunta por qual
> razão a formalização da "consistência" (tal como vista nas LFIs)
> não coincidiria com a possibi
O livro
Universal Logic: An Anthology - From Paul Hertz to Dov Gabbay
acabou de ser lançado:
http://www.springer.com/mathematics/book/978-3-0346-0144-3
Neste livro tem 15 textos apresetandos por especialistos.
O van Benthem apresenta o famoso artigo do Kripke,
o Vaananen apresenta o artigo classico
Olá pessoALL,
Segue abaixo exatamente um contraexemplo de um amigo cearense Diego
Marques Ferreira (professor na UnB) e doutor em Teoria dos Números:
"Claramente a prova está errada. Por exemplo, em pelo menos alguns
pontos, mas o mais grave é que ele está achando que a divide z o que
não é verda
Aproveitando o assunto:
Há cerca de 2 anos, ouvi falar de Antonio Moreira Calaes,
matemático brasileiro que também afirma ter demonstrado
o "Último Teorema de Fermat", mas nenhuma instituição jamais aceitou
ver sua prova.
Existe um livro com sua autobiografia, chamado Vivências e
"Acontecências