Re: [Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

2017-10-27 Por tôpico Valeria de Paiva
Pois 'e, parabéns ao grupo todo, e continuem o excelente trabalho!!! []s Valeria 2017-10-27 13:12 GMT-07:00 : > Caro Samuel, > > que ótima notícia! Parabéns ao grupo todo, e continuem o excelente > trabalho! > > Um grande abraço, > > Cezar > > > Em 2017-10-27 17:16, Samuel Gomes da Silva escreveu

Re: [Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

2017-10-27 Por tôpico cmortari
Caro Samuel, que ótima notícia! Parabéns ao grupo todo, e continuem o excelente trabalho! Um grande abraço, Cezar Em 2017-10-27 17:16, Samuel Gomes da Silva escreveu: Prezados, Após uma longa espera de três meses, recebemos hoje a resposta confirmando: finalmente existe agora a possibilida

Re: [Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

2017-10-27 Por tôpico Marcelo Esteban Coniglio
Caro Samuel, Parabéns para você e para todos os membros do grupo de Lógica da UFBA!! Era realmente uma "não-permisão" (para não usar o termo "proibição") completamente absurda. Um abraço Marcelo 2017-10-27 17:16 GMT-02:00 Samuel Gomes da Silva : > Prezados, > > Após uma longa espera de três me

[Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

2017-10-27 Por tôpico Samuel Gomes da Silva
Prezados, Após uma longa espera de três meses, recebemos hoje a resposta confirmando: finalmente existe agora a possibilidade dos pesquisadores da área de Lógica Matemática da UFBA orientarem Doutoramentos em Matemática na área de Lógica. (Sim, apesar de estarmos estabelecidos e reconhecidos

[Logica-l] Notas esparsas

2017-10-27 Por tôpico Francisco Miraglia
Car@s, Alguns esclarecimentos: 1) Nunca disse -- por que não é verdade -- que Brouwer não apreciou a contribuição de ex-estudante Arend Heyting. Falava das posiçoes (bem conhecidas) de Brouwer. 2)Sem prejuízo de outras, considero boas as seguintes referências acerca da história da orige

[Logica-l] Re: [OUF] imposto de 20% sobre as taxas de inscricao

2017-10-27 Por tôpico Cassiano Terra Rodrigues
OI Jean-Yves, eu tentei assinar - aliás parabéns pela iniciativa - mas o change.org diz q o abaixo-assinado está indisponível. Um abraço, cass. On Friday, October 27, 2017 at 7:42:10 AM UTC-2, jyb wrote: > > Na França, tem um imposto de 20% do governo sobre as taxas de inscricao. > Decidi então

Re: [Logica-l] [OUF] imposto de 20% sobre as taxas de inscricao

2017-10-27 Por tôpico Jaison Schinaider
Pra ver como não é só no Brasil que o governo inventa umas Jaboticabas... Em 27 de out de 2017 7:42 AM, "jean-yves beziau" escreveu: Na França, tem um imposto de 20% do governo sobre as taxas de inscricao. Decidi então lançar uma petitção dirigida ao Minitsro de Pesquisa na França para reverter

[Logica-l] [OUF] imposto de 20% sobre as taxas de inscricao

2017-10-27 Por tôpico jean-yves beziau
Na França, tem um imposto de 20% do governo sobre as taxas de inscricao. Decidi então lançar uma petitção dirigida ao Minitsro de Pesquisa na França para reverter esta taxa Voce são bemvindos para assinar a peticao, acrescentando se possivel um comentario JYB https://www.change.org/p/fr%C3%A9d%C3%

Re: [Logica-l] um probleminha com logica intuicionista...

2017-10-27 Por tôpico Bruno Bentzen
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

Re: [Logica-l] um probleminha com logica intuicionista...

2017-10-27 Por tôpico Bruno Bentzen
Oi Valéria, Não tem problema :) >acho que seria legal se a gente unisse os esforcos pra fazer todos os >lambda-termos pros teoremas intuicionistas do Kleene em (S. C. Kleene. >Introduction to metamathematics, volume 1 of Bibliotheca mathematica. >NorthHolland Publishing Co., 1952.).  Essa me