A Matemática no Brasil - possibilidades para a investigação sobre sua história
Sergio Nobre
Depto. de Matemática - UNESP, Rio Claro
Resumo: Nesta apresentação iremos discorrer sobre a pesquisa em História
da Matemática no Brasil, especificamente sobre a História da Matemática
produzida no Brasil.
Quarta-feira 22 de junho às 16hs
14.6.11
17/06 (sexta-feira, excepcionalmente) - João Marcos
sexta-feira 17 de junho às 16hs
The Value of the Two Values
João Marcos
LoLITA / DIMAp, UFRN
Bilattices have proven again and again to be extremely rich
structures from a logical point of view. As a matter of fact,
even if we fix the canonical notion of many-valued entailment and
consider the smallest non-trivial bilattice, distinct logics may
be defined according to the chosen ontological or epistemological
reading of the underlying truth-values. This note will explore
the consequence relations of two variants of Belnap's well-known
4-valued logic, and delve into their interrelationship.
The strategy will be that of reformulating those logics using only
two `logical values', by way of uniform classic-like semantical
and proof-theoretical frameworks, with the help of which such
logics can be more easily compared to each other. For a different
reading of Belnap's logic, we will also propose a combination
mechanism from which it would result in a very natural way.
The Value of the Two Values
João Marcos
LoLITA / DIMAp, UFRN
Bilattices have proven again and again to be extremely rich
structures from a logical point of view. As a matter of fact,
even if we fix the canonical notion of many-valued entailment and
consider the smallest non-trivial bilattice, distinct logics may
be defined according to the chosen ontological or epistemological
reading of the underlying truth-values. This note will explore
the consequence relations of two variants of Belnap's well-known
4-valued logic, and delve into their interrelationship.
The strategy will be that of reformulating those logics using only
two `logical values', by way of uniform classic-like semantical
and proof-theoretical frameworks, with the help of which such
logics can be more easily compared to each other. For a different
reading of Belnap's logic, we will also propose a combination
mechanism from which it would result in a very natural way.
2.6.11
06/06 (segunda-feira, excepcionalmente) - Martin Figallo
"Investigações acerca da Lógica Tetravalente Modal de Monteiro"
Martin Figallo
Universidad Nacional del Sur, Bahia Blanca, Argentina
Resumo
"A classe das Algebras Tetravalentes Modais (TMA) foi considerada,
pela primera vez, por A. Monteiro, e foi principalmente estudada por
I. Loureiro, A.V. Figallo, A. Ziliani e P. Landini. Posteriormente,
J.M. Font e M. Rius nteressaram-se pelas lógicas originadas pelos
aspectos teórico-algébricos destas álgebras. Os mesmos autores
introduziram um cálculo de sequentes para uma destas lógicas: a lógica
que tem como matriz a TMA-algebra com quatro elementos e um dos seus
filtros primos, denotada TML.
Neste trabalho, em co-autoria com M.E. Coniglio e A. Ziliani, nos
focaremos nas propriedades lógicas de TML. Provaremos que seu cálculo
de sequentes associado não tem a propriedade de eliminação do corte.
Mostraremos que TML é uma lógica paraconsistente 4-valorada: ainda
mais, é uma genuina LFI (Lógica da Inconsistência Formal). Dentre
outras coisas, mostraremos a existência de um teorema DAT
(Derivability Adjustment Theorem) com relação à lógica proposicional
clássica, y que TML não é funcionalmente completa. Finalmente,
exibiremos uma apresentação no estilo Hilbert para TML em termos da
implicação contraposta, mostrando uma versão fraca do Meta-teorema da
dedução."
Martin Figallo
Universidad Nacional del Sur, Bahia Blanca, Argentina
Resumo
"A classe das Algebras Tetravalentes Modais (TMA) foi considerada,
pela primera vez, por A. Monteiro, e foi principalmente estudada por
I. Loureiro, A.V. Figallo, A. Ziliani e P. Landini. Posteriormente,
J.M. Font e M. Rius nteressaram-se pelas lógicas originadas pelos
aspectos teórico-algébricos destas álgebras. Os mesmos autores
introduziram um cálculo de sequentes para uma destas lógicas: a lógica
que tem como matriz a TMA-algebra com quatro elementos e um dos seus
filtros primos, denotada TML.
Neste trabalho, em co-autoria com M.E. Coniglio e A. Ziliani, nos
focaremos nas propriedades lógicas de TML. Provaremos que seu cálculo
de sequentes associado não tem a propriedade de eliminação do corte.
Mostraremos que TML é uma lógica paraconsistente 4-valorada: ainda
mais, é uma genuina LFI (Lógica da Inconsistência Formal). Dentre
outras coisas, mostraremos a existência de um teorema DAT
(Derivability Adjustment Theorem) com relação à lógica proposicional
clássica, y que TML não é funcionalmente completa. Finalmente,
exibiremos uma apresentação no estilo Hilbert para TML em termos da
implicação contraposta, mostrando uma versão fraca do Meta-teorema da
dedução."
14.5.11
16/05 (segunda-feira, excepcionalmente) - Pedro Zambrano
"Supestabilidade em classes elementares abstratas métricas"
Pedro Zambrano, Universidad Nacional de Colombia, Bogotá
As classes Elementares Abstratas (AECs) correspondem a uma generalização da noção de Classe Elementar de Primeira Ordem, dada por S. Shelah e B. Jónsson. A unicidade dos modelos limites (módulo isomorfismos) corresponde a uma versão robusta de superestabilidade em AECs.
As AECs métricas (MAECs) correspondem a uma amalgama das noções de AECs e de Classe Elementar na Lógica Continua.
(Vide caderno de resumos do XVI EBL, pg 103)
http://www.cle.unicamp.br/ebl2011/
Pedro Zambrano, Universidad Nacional de Colombia, Bogotá
As classes Elementares Abstratas (AECs) correspondem a uma generalização da noção de Classe Elementar de Primeira Ordem, dada por S. Shelah e B. Jónsson. A unicidade dos modelos limites (módulo isomorfismos) corresponde a uma versão robusta de superestabilidade em AECs.
As AECs métricas (MAECs) correspondem a uma amalgama das noções de AECs e de Classe Elementar na Lógica Continua.
(Vide caderno de resumos do XVI EBL, pg 103)
http://www.cle.unicamp.br/ebl2011/
2.5.11
04/05 - Luis Saraiva
"A geração de 40 e a criação da Sociedade Portuguesa de Matemática"
Prof. Luis Saraiva
Centro de Matemática e Aplicações Fundamentais
Universidade de Lisboa
http://ciuhct.com.urltemporario.net/index.php/pt/component/contact/98-colaboradoresemprojectos/4-luis-manuel-ribeiro-saraiva.html
http://mat.fc.ul.pt/dm/docentes/i/l_r_saraiva
Resumo
A Sociedade Portuguesa de Matemática é fundada em Dezembro de 1940 por um
grupo de matemáticos que pretende não só trazer para Portugal as novas
áreas que então se pesquisavam nos países matematicamente avançados, mas
igualmente promover a divulgação da Matemática e a sua renovação em
Portugal por uma vaga de fundo que envolvesse a juventude escolar
pré-universitária e universitária.
Na nossa comunicação falaremos destes vários aspectos da acção do que
ficou conhecido em Portugal como "a geração de 40"
Prof. Luis Saraiva
Centro de Matemática e Aplicações Fundamentais
Universidade de Lisboa
http://ciuhct.com.
http://mat.fc.ul.pt/dm/
Resumo
A Sociedade Portuguesa de Matemática é fundada em Dezembro de 1940 por um
grupo de matemáticos que pretende não só trazer para Portugal as novas
áreas que então se pesquisavam nos países matematicamente avançados, mas
igualmente promover a divulgação da Matemática e a sua renovação em
Portugal por uma vaga de fundo que envolvesse a juventude escolar
pré-universitária e universitária.
Na nossa comunicação falaremos destes vários aspectos da acção do que
ficou conhecido em Portugal como "a geração de 40"
13.4.11
27/04 - Jairo José da Silva
"Filosofia da matemática ontem, hoje e amanhã."
Resumo: de uma forma ou de outra a filosofia da matemática sempre foi
uma filosofia aplicada, isto é, a tradução local de doutrinas
filosóficas mais gerais. Isso tem freqüentemente impedido que a
matemática, tal como é feita, não aquela lapidada para caber em
figurinos filosóficos "prêt-à-porter", seja submetida a uma análise
filosófica que vise antes compreender sua natureza, métodos e escopo
de aplicações que enquadrá-la em perspectivas predeterminadas. A
filosofia da matemática precisa de um novo mote: de volta à
matemática. Em minha palestra discorrerei sobre isso.
Prof. Dr. Jairo José da Silva, UNESP
Resumo: de uma forma ou de outra a filosofia da matemática sempre foi
uma filosofia aplicada, isto é, a tradução local de doutrinas
filosóficas mais gerais. Isso tem freqüentemente impedido que a
matemática, tal como é feita, não aquela lapidada para caber em
figurinos filosóficos "prêt-à-porter", seja submetida a uma análise
filosófica que vise antes compreender sua natureza, métodos e escopo
de aplicações que enquadrá-la em perspectivas predeterminadas. A
filosofia da matemática precisa de um novo mote: de volta à
matemática. Em minha palestra discorrerei sobre isso.
Prof. Dr. Jairo José da Silva, UNESP
Assinar:
Postagens (Atom)