Tempo, Linguagens e Limites Cognitivos em Matemática

O programa intuicionista iniciado por Brower (que durante toda a sua vida, consistentemente o prosseguiu e desenvolveu) tem como características principais: por um lado a desvalorização da lógica, a par da linguagem, como instrumento de criação e fundamentação matemática e, principalmente, a recusa de alguns dos seus princípios clássicos (e.g. do 3º excluído, de negação de quantificadores,etc.); por outro lado, uma construção alternativa do continuum real (e, de forma associada, de uma teoria de conjuntos), que conduz a uma análise real com resultados fortemente divergentes dos correspondentes clássicos (e.g. o Teorema de Brower: toda a função real definida no continuum unitário é contínua). ....

Resumo completo em pdf