Caros, Antes tarde do que nunca, talvez caibam aqui duas breves observações históricas interessantes sobre os pontos (3) e (4) da primeira mensagem do Chico:
>3) Estou insistindo em incluir o nome do Arend pois afinal nem sempre nos >lembramos que o Brower tinha a firme opinião que a sua visão da Lógica era >impossível (por definição, já que envolvia a "prática quotidiana dos >matemáticos") de ser axiomatizada. Ao contrário do que possa parecer inicialmente, a recepção do Brouwer da formalização da lógica intuicionística de seu estudante Heyting (1928) foi extremamente positiva! Inclusive, foi através de seu encorajamento que o Heyting viria a publicar a versão revisada do manuscrito (1930). A entrada a seguir da SEP contém mais detalhes a respeito. https://plato.stanford.edu/entries/intuitionistic-logic-development/#4 >4) Interessante observar que posições filosóficas não se materializam na >"prática quotidiana dos matemáticos": um dos resultados mais conhecidos de >Brower (toda função contínua do disco de dimensão n em sí mesmo possui ponto fixo) é estabelecido pelo próprio por contradição! O primeiro passo da contradição já é de ordem grande: não há retração contínua do disco em sua borda (em qualquer dimensão n maior ou igual a 1), o que exige métodos homológicos ou homotópicos); exibir o ponto fixo: "para com isso".... Recordo de haver lido em algum lugar, mas não me lembro exatamente onde (talvez os colegas possam nos informar?), que as contribuições clássicas do Brouwer, como o teorema do ponto fixo (1910) e da invariancia do domínio (1912) nunca foram consideradas por ele como resultados válidos matematicamente, mas apenas como publicações estratégicas com o fim de ser bem aceito pela comunidade matemática antes de lançar o seu programa intuicionista (oficialmente apresentado tambem em 1912, mas já muito bem esboçado em 1907 na sua dissertação). Abraços lógicos, Bruno -- Bruno Bentzen https://sites.google.com/site/bbentzena/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d3e1aad8-4cde-48fe-9fcb-b603e2e2e8cb%40dimap.ufrn.br.