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
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
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
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
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
