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 é
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
Oh! Que boa surpresa logo de manhã! Muito obrigado!
Em 25 de abril de 2012 01:08, Walter Carnielli
walter.carnie...@gmail.comescreveu:
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
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
