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:
>
>> 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 até
>> internacionalmente já há vários anos, ainda não nos era
>> *permitido* - sim, o termo é esse, não nos era permitido - orientar
>> doutorados,
>> mas isso muda a partir do próximo semestre, 2018.1)
>>
>> Nossa abertura se deu através da criação de uma área de
>> investigação denominada "Álgebra, Lógica e Topologia" (em
>> substituição da área de Álgebra).
>>
>> Informações sobre o processo seletivo para o Doutorado em
>> Matemática da UFBA em 2018.1 estão no seguinte Edital:
>>
>> https://pgmat.ufba.br/sites/pgmat.ufba.br/files/edital-2018.1v1.pdf
>>
>> A parte principal da seleção é uma prova de Análise na Reta e
>> Análise no Rn, ou seja, o perfil a princípio deve ser alguém com
>> conhecimentos de Matemática a nível de mestrado (ou que
>> possa obtê-los até o momento da realização da prova...).
>>
>> Divulgamos a nossa proposta para abertura da área no ResearchGate,
>> nessa proposta estão descritas nossas linhas de pesquisa:
>>
>> https://www.researchgate.net/publication/318649544_Proposal_
>> to_create_the_area_of_concentration_Mathematical_Log
>> ic_at_Math_PhD_Programme_UFBAUFAL_-_In_Portuguese
>>
>> So, let us spread the word.
>>
>> Aproveito para agradecer a todos os colegas que vêm acompanhando
>> nossa luta de anos por mais espaço para a Lógica Matemática aqui na
>> UFBA.
>>
>> Até mais,
>>
>> []s  Samuel
>>
>>  --
>> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/
>> 53855411.43436436.1509131775790.JavaMail.zimbra%40ufba.br
>> [1].
>>
>>
>> Links:
>> --
>> [1]
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/
>> 53855411.43436436.1509131775790.JavaMail.zimbra%40ufba.br?
>> utm_medium=email_source=footer
>>
>
> --
> 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/di
> map.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/di
> map.ufrn.br/d/msgid/logica-l/614455b19c65423f91ef0e0b0af1250
> a%40cfh.ufsc.br.
>



-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/

-- 
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/CAESt%3DXvZwG92hwr%2BYHH5UjO31hT_dDv8_cv-15FvWwHY98P48A%40mail.gmail.com.

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 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 até
internacionalmente já há vários anos, ainda não nos era
*permitido* - sim, o termo é esse, não nos era permitido - orientar
doutorados,
mas isso muda a partir do próximo semestre, 2018.1)

Nossa abertura se deu através da criação de uma área de
investigação denominada "Álgebra, Lógica e Topologia" (em
substituição da área de Álgebra).

Informações sobre o processo seletivo para o Doutorado em
Matemática da UFBA em 2018.1 estão no seguinte Edital:

https://pgmat.ufba.br/sites/pgmat.ufba.br/files/edital-2018.1v1.pdf

A parte principal da seleção é uma prova de Análise na Reta e
Análise no Rn, ou seja, o perfil a princípio deve ser alguém com
conhecimentos de Matemática a nível de mestrado (ou que
possa obtê-los até o momento da realização da prova...).

Divulgamos a nossa proposta para abertura da área no ResearchGate,
nessa proposta estão descritas nossas linhas de pesquisa:

https://www.researchgate.net/publication/318649544_Proposal_to_create_the_area_of_concentration_Mathematical_Logic_at_Math_PhD_Programme_UFBAUFAL_-_In_Portuguese

So, let us spread the word.

Aproveito para agradecer a todos os colegas que vêm acompanhando
nossa luta de anos por mais espaço para a Lógica Matemática aqui na
UFBA.

Até mais,

[]s  Samuel

 --
Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Acesse esse grupo em
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/53855411.43436436.1509131775790.JavaMail.zimbra%40ufba.br
[1].


Links:
--
[1]
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/53855411.43436436.1509131775790.JavaMail.zimbra%40ufba.br?utm_medium=email_source=footer


--
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/614455b19c65423f91ef0e0b0af1250a%40cfh.ufsc.br.

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 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 até
> internacionalmente já há vários anos, ainda não nos era *permitido* - sim,
> o termo é esse, não nos era permitido - orientar doutorados,
> mas isso muda a partir do próximo semestre, 2018.1)
>
> Nossa abertura se deu através da criação de uma área de investigação
> denominada "Álgebra, Lógica e Topologia" (em substituição da área de
> Álgebra).
>
> Informações sobre o processo seletivo para o Doutorado em Matemática da
> UFBA em 2018.1 estão no seguinte Edital:
>
> https://pgmat.ufba.br/sites/pgmat.ufba.br/files/edital-2018.1v1.pdf
>
> A parte principal da seleção é uma prova de Análise na Reta e Análise no
> Rn, ou seja, o perfil a princípio deve ser alguém com conhecimentos de
> Matemática a nível de mestrado (ou que
> possa obtê-los até o momento da realização da prova...).
>
> Divulgamos a nossa proposta para abertura da área no ResearchGate, nessa
> proposta estão descritas nossas linhas de pesquisa:
>
> https://www.researchgate.net/publication/318649544_
> Proposal_to_create_the_area_of_concentration_Mathematical_
> Logic_at_Math_PhD_Programme_UFBAUFAL_-_In_Portuguese
>
> So, let us spread the word.
>
> Aproveito para agradecer a todos os colegas que vêm acompanhando nossa
> luta de anos por mais espaço para a Lógica Matemática aqui na UFBA.
>
> Até mais,
>
> []s  Samuel
>
>
>
>
> --
> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/53855411.43436436.
> 1509131775790.JavaMail.zimbra%40ufba.br
> 
> .
>

-- 
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/CAMuX%3D35B8WpjNrXUZ%2BA43xHNOfqy0f5YT2r06yWkQkmZAuCFxA%40mail.gmail.com.

[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 até internacionalmente já 
há vários anos, ainda não nos era *permitido* - sim, o termo é esse, não nos 
era permitido - orientar doutorados, 
mas isso muda a partir do próximo semestre, 2018.1) 

Nossa abertura se deu através da criação de uma área de investigação denominada 
"Álgebra, Lógica e Topologia" (em substituição da área de Álgebra). 

Informações sobre o processo seletivo para o Doutorado em Matemática da UFBA em 
2018.1 estão no seguinte Edital: 

https://pgmat.ufba.br/sites/pgmat.ufba.br/files/edital-2018.1v1.pdf 

A parte principal da seleção é uma prova de Análise na Reta e Análise no Rn, ou 
seja, o perfil a princípio deve ser alguém com conhecimentos de Matemática a 
nível de mestrado (ou que 
possa obtê-los até o momento da realização da prova...). 

Divulgamos a nossa proposta para abertura da área no ResearchGate, nessa 
proposta estão descritas nossas linhas de pesquisa: 

https://www.researchgate.net/publication/318649544_Proposal_to_create_the_area_of_concentration_Mathematical_Logic_at_Math_PhD_Programme_UFBAUFAL_-_In_Portuguese
 

So, let us spread the word. 

Aproveito para agradecer a todos os colegas que vêm acompanhando nossa luta de 
anos por mais espaço para a Lógica Matemática aqui na UFBA. 

Até mais, 

[]s Samuel 




-- 
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/53855411.43436436.1509131775790.JavaMail.zimbra%40ufba.br.

[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 origem do Intuicionismo:

[R] W. Ruitenberg, "The unintended interpretatiuons of intuicionism",  
in: T. Drucker (ed.), Perspectives on the History of Mathematical  
Logic, Birkhäuser, Boston, 1991, 134-160.  (leitura muito  
interessante, contendo as variadas interpretações semânticas do  
intuicionismo).


[T] A. S. Troesltra, "On the early history of intuicionistic logic",  
in: P.P. Peetkov (ed.),

Mathematical Logic, Plenum Press, 1989, 3-18 (juntamente com a farta lista de
referências).

 3) Na pag. 2 da referência [T] lê-se:

In 1927, the Dutch Mathematical Association (“Hert Wiskundig  
Genootschap”) published the following prize question proposed by G.  
Mannoury (in a free translation):


“By its very nature, Brouwer’s set theory cannot be identified with  
(t)he conclusions formally derivable I a certain pasigraphic system.  
Nevertheless certain regularities may be observed in the language  
Brouwer uses to give expression to his mathematical intuition; the  
regularities may be codified in a formal mathematical system. It is  
asked to


1) construct such a system and to indicate its deviations from  
Brouwer’s theories;


2) to investigate whether from the system to be constructed a dual  
system may be obtained by (formally) interchanging the principium  
tertii exclusi and the principium contradictionis.’’


Foi a este problema que Heyting dirigiu a sua atenção e ganhou em  
1928, o prêmio da Wiskundig Genootschap.  Entretanto, importante notar  
a primeira frase do enunciado... E que o Próprio Heyting manifestou,  
depois, algum descontentamento

com a sua (e outras) encaminhamentos da questão.

Até certo ponto, Brouwer concordou que Arend havia capturado
algumas das regularidades de seu método e manifestou apreço pela  
contribuição, inclusive  em uma carta a Heyting que, curiosamente,  
inclui uma "bronca", pois o Arend queria de volta a cópia que enviara   
do trabalho a LEJ...


4) Transcrevo um trecho da referência [R]:

"Intuitionism was more than twenty years old before A. Heyting produced the
first complete axiomatizations for intuitionistic propositional and  
predicate logic:
according to L. E. J. Brouwer, the founder of intuitionism, logic is  
secondary to
mathematics. Some of Brouwer’s papers even suggest that formalization  
cannot be
useful to intuitionism. One may wonder, then, whether intuitionistic  
logic should
itself be regarded as an unintended interpretation of intuitionistic  
mathematics.


I will not discuss Brouwer’s ideas in detail (on this, see [Brouwer  
1975], [Hey-
ting 1934, 1956]), but some aspects of his philosophy need to be  
highlighted here.
According to Brouwer mathematics is an activity of the human mind, a  
product of
languageless thought. One cannot be certain that language is a perfect  
reflection
of this mental activity. This makes language an uncertain medium (see  
[van Stigt

1982] for more details on Brouwer’s ideas about language).

In “De onbetrouwbaarheid der logische principes” ([Brouwer 1981], pp. 253–259;
for English translations of Brouwer’s work on intuitionism, see  
[Brouwer 1975])
Brouwer argues that logical principles should not guide but describe  
regularities

that are observed in mathematical practice. The Principle of Excluded Third,
A ∨ ¬A, is an example of a logical principle that has become a guide  
for mathematical
practice instead of simply describing it: the Principle of Excluded  
Third is observed
in verifiable “finite” situations and generalized to a rule of  
mathematics. But
according to Brouwer mathematics is not an experimental science, in  
which one only
has to repeat an experiment sufficiently often to establish a law, so  
the Principle

of Excluded Third should be discarded.

All his life Brouwer avoided the use of a formal language or logic, perhaps
because of its unreliability, perhaps because of his personal style  
(see [Brouwer
1981a], p. xi). This does not imply that he did not believe in the  
possibility of a
useful place for logic in intuitionistic mathematics, but rather that  
Brouwer would
not himself resort to a formal language. This attitude was detrimental  
to the development of intuitionistic logic: it was not until 1923 that  
Brouwer discovered
the equivalence in intuitionistic mathematics of triple negation and  
single negation

[Brouwer 1925].

While Brouwer may have been uncompromising with respect to his philosophy,
his mathematical and philosophical talent was understood and  
appreciated by his

thesis adviser D. J. Korteweg. In 1908 Korteweg advised Brouwer, after Brouwer
completed his thesis, to devote some time to “proper” mathematics, as opposed
to foundations, so as to earn

[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 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%A9rique-vidal-minister-of-higher-education-research-and-innovation-in-france-tax-free-scientific-congresses-in-france
>
>

-- 
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/8fa0813f-a1eb-49a7-b177-57543e42d680%40dimap.ufrn.br.

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 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%A9rique-vidal-minister
-of-higher-education-research-and-innovation-in-france-tax-
free-scientific-congresses-in-france

-- 
Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/
dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/
dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCB3Z-7wkcmZEAwLSKjsORxpCHC%
3DodcEjpP21mXdk0UCw%40mail.gmail.com

.

-- 
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/CADgUTeS%3DZLXGNq-quJj7Sr3FWq1BX9a9yxi1ETZRKTdpj-jPvw%40mail.gmail.com.

[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%A9rique-vidal-
minister-of-higher-education-research-and-innovation-in-
france-tax-free-scientific-congresses-in-france

-- 
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/CAF2zFLCB3Z-7wkcmZEAwLSKjsORxpCHC%3DodcEjpP21mXdk0UCw%40mail.gmail.com.

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

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 parece uma ótima ideia! Atualmente o Cubo prova todos os teoremas da 
lógica proposicional intuicionística (e clássica, via e.g. a inclusão da lei do 
terceiro excluído no contexto de premissas) e também realiza quaisquer 
operações aritméticas e booleanas que não envolvem tipos dependentes.

Para provar o resto dos teoremas do Kleene, no entanto, precisariamos de 
dependência de tipos e tipos de identidade - o que é bom, pois esse é o 
objetivo a longo prazo. Tenho algumas ideias de como estender o sistema, mas no 
momento me falta tempo livre para sentar e me preparar para a inevitável dor de 
cabeça :)

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/d021bed4-6cde-4494-a331-b79a95e04678%40dimap.ufrn.br.