"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/
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
31.3.11
13/04 - Dante Cardoso
Dante Cardoso, estudante de mestrado do IFCH/CLE Unicamp
TÍTULO: Paradoxo da Cognoscibilidade em cenários multiagentes.
TÍTULO: Paradoxo da Cognoscibilidade em cenários multiagentes.
11.3.11
Cronograma
Pessoal, segue os dias dos próximos seminários:
23/03 Márcio; 30/03 Walter; 13/04 Dante; 27/04 Jairo; 04/05 Ricardo; 25/05 Bicudo; 08/06 Pedro; 22/06 Roberto; 29/06 S. Nobre; 06/07 Fábio.
Títulos e resumos serão enviados em momento oportuno.
23/03 Márcio; 30/03 Walter; 13/04 Dante; 27/04 Jairo; 04/05 Ricardo; 25/05 Bicudo; 08/06 Pedro; 22/06 Roberto; 29/06 S. Nobre; 06/07 Fábio.
Títulos e resumos serão enviados em momento oportuno.
7.3.11
30/03 - Walter Carnielli
Prof. Dr. Walter Carnielli
Instituto de Filosofia e Ciências Humanas - IFCH-UNICAMP
Diretor do Centro de Lógica, Epistemologia e História da Ciência - CLE-UNICAMP
Website: http://www.cle.unicamp.br/prof/carnielli
"O problema 'ax + b': a generalização mais natural possível do Problema de Collatz"
Resumo:
A Conjecture de Collatz ou ``Problema 3x + 1'' é talvez o problema numérico mais simples de se enunciar e o mais difícil de ser resolvido: uma de suas generalizações é inclusive indecidível. Este tipo de problema tem interessado a especialistad em Teoria dos Números, a lógicos e mesmo a alguns filósofos interessados em questões heurísticas.
Pretendo mostrar como descobri uma generalização do problema que leva a uma classe infinita de novos problemas, ainda mais intrigantes, e como este enfoque pode ser usado para novas generalizações de outra vertentes do problema.
Um programa de simulação desenvolvido pelo Prof. Keith Matthews (Brisbane, Austrália) encontra-se em:
http://www.numbertheory.org/php/carnielli.html
e uma versão preliminar de um artigo expositório a respeito está em:
W. Carnielli. The problem ax + b: the most natural generalization
of Collatz problem.
CLE e-Prints vol. 11(1), 2011
ftp://logica.cle.unicamp.br/pub/e-prints/vol.11,n.1,2011.pdf
Instituto de Filosofia e Ciências Humanas - IFCH-UNICAMP
Diretor do Centro de Lógica, Epistemologia e História da Ciência - CLE-UNICAMP
Website: http://www.cle.unicamp.br/
"O problema 'ax + b': a generalização mais natural possível do Problema de Collatz"
Resumo:
A Conjecture de Collatz ou ``Problema 3x + 1'' é talvez o problema numérico mais simples de se enunciar e o mais difícil de ser resolvido: uma de suas generalizações é inclusive indecidível. Este tipo de problema tem interessado a especialistad em Teoria dos Números, a lógicos e mesmo a alguns filósofos interessados em questões heurísticas.
Pretendo mostrar como descobri uma generalização do problema que leva a uma classe infinita de novos problemas, ainda mais intrigantes, e como este enfoque pode ser usado para novas generalizações de outra vertentes do problema.
Um programa de simulação desenvolvido pelo Prof. Keith Matthews (Brisbane, Austrália) encontra-se em:
http://www.numbertheory.org/
e uma versão preliminar de um artigo expositório a respeito está em:
W. Carnielli. The problem ax + b: the most natural generalization
of Collatz problem.
CLE e-Prints vol. 11(1), 2011
ftp://logica.cle.unicamp.br/
Assinar:
Postagens (Atom)