apresentações. Serão aceitos trabalhos de qualquer
uma das 19 áreas que compõem os painéis (e o painel 1 é exatamente o de
Lógica e Fundamentos). Vejam detalhes em:
http://www.icm2018.org/portal/en/news29
Atés,
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo
... Aquilo tudo só pra chegar no Paradoxo do Mentiroso ?
... Ou será que a idéia era dizer que o Líder Supremo dos Godelianos é doido ?
Ai ai ai... Pobres macaquinhos do Jardim Botânico...
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
quadriênio, 2013-2016 já é um quadriênio).
Entusiastas da cienciometria, divirtam-se !
Atés,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
--
Você está recebendo esta mensagem porque se inscreveu no grupo
a não-construtiva" para
eu chegar na informação de que existe uma prova construtiva para S
(supondo o problema internalizado em Teoria dos Conjuntos, etc.)
Concordam ?
Atés,
[]s Samuel
On Monday, May 22, 2017 at 6:19:13 PM UTC-3, Joao Marcos wrote:
>
> El problema que los info
https://cstheory.stackexchange.com/questions/1923/which-interesting-theorems-in-tcs-rely-on-the-axiom-of-choice-or-alternatively
(esse é o post ao qual me referi)
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse
eço a opinião dos colegas.
Abraços,
[]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 gr
... E quem ainda não me conhece eu estou mais ou menos assim:
http://www.dmat.ufba.br/docentes/samuel-gomes-da-silva
On Saturday, May 6, 2017 at 12:16:54 PM UTC-3, Samuel Gomes da Silva wrote:
>
> Caros,
>
> Dei uma sugestão informal ao Wagner e ele aceitou,
>
> Então
frente, um bom número de
cadeiras) a partir das 9hs para ir juntando o grupo.
(Ainda não sei daonde vai sair o ônibus mas pelo menos com todo mundo junto não
vão esquecer da gente, hehe)
Até segunda,
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOG
São Paulo é
o meu "Uma Miscelânea de Aplicações de Ultrafiltros em Matemática" que já
comentei aqui na lista. Na semana seguinte vai ser apresentado na VIII
Bienal da Sociedade Brasileira de Matemática, no Rio de Janeiro.
Atés,
[]s Samuel
On Thursday, April 13, 2017 at 10:32:4
e organizador:
Lucia Renato Junqueira (IME-USP)
Samuel Gomes da Silva (IME-UFBA)
Hugo Luiz Mariano (IME-USP)
--
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-
rauthid=151430>
Consequences
of the axiom of choice. Mathematical Surveys and Monographs, 59.
<http://www-ams-org.ez10.periodicos.capes.gov.br/mathscinet/search/series.html?id=1567>
*American
Mathematical Society, Providence, RI,* 1998. viii+432 pp. ISBN:
0-8218-0977-6
... Atés,
[
detalhadas de nada - mas
de todas as formas aceitamos candidaturas !
Quem conhecer um pesquisador estrangeiro com interesse de passar um tempo no
Brasil, essa é uma oportunidade.
Atés,
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos
.br/ebl2017/ebl.html#sec-registration
>
> já estão disponibilizadas todas as informações sobre os procedimentos
> sobre
> o "registration" do próximo EBL, em Pirenópolis (valores, etc.).
>
> Atés,
>
> []s Samuel
>
> -
Caros,
Apenas para divulgar,
No endereço
http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration
já estão disponibilizadas todas as informações sobre os procedimentos sobre
o "registration" do próximo EBL, em Pirenópolis (valores, etc.).
Atés,
[
naturais procurando formalizar
primeiro os ultralimites (e não o contrário, que é o esperado !!!).
As aulas 3 e 4 são mais técnicas e avançadas, mas nas aulas 1 e 2 essa
abordagem é feita "a partir do zero" e é de fato interessante.
Atés,
[]s Samuel
--
Você está recebendo est
... Boa análise Hermógenes,
Esse jogo entre o Qualis-teoria-Jekyll e o Qualis-prática-Hyde ficou
interessante.
Até,
[]s Samuel
On Monday, December 19, 2016 at 12:40:56 PM UTC-3, sam...@ufba.br wrote:
>
> Caros,
>
> Recebi numa lista de pesquisadores de Matemática a informa
upado mais
com isso...)
Atés,
[]s Samuel
On Monday, December 19, 2016 at 12:40:56 PM UTC-3, sam...@ufba.br wrote:
>
> Caros,
>
> Recebi numa lista de pesquisadores de Matemática a informação de que o
> Qualis 2015 foi divulgado (o que deve ter sido recente).
>
>
mos ver o que acontecer quando
consolidar (supostamente no ano que vem).
O novo jornal South American Journal of Logic ter ido para C em Matemática
também é desanimador...
Mas é impressão minha ou só em Matemática que houve uma piora, e nas outras
está mais estável a coisa ?
Até,
[]s Samu
haverá um Qualis 2016 para fechar o quadriênio
(agora não é mais triênio, é quadriênio).
Sugiro que o pessoal que sempre acompanha dê uma olhada pra ver se
houve perdas em Filosofia e Computação, como seguramente houve em
Matemática.
Atés,
[
incluir nesse minicurso de
três sessões... Uma pena, mas enfim !
Atés,
[]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-
egarding any
> questions (apart from the list).
>
> Inscriptions: from April 29 to May 30, 2016. There is a possibility of
> extension of this deadline, but we cannot be sure of this so far. The
> selection process will take place at some moment of the second semester.
>
concurso é
possível).
Abraços,
[]s Samuel
On Saturday, April 30, 2016 at 11:16:48 AM UTC-3, sam...@ufba.br wrote:
>
> Caros,
>
> Escrevo para fazer propaganda de um concurso aberto aqui no
> Departamento de Matemática da UFBA. Como preparei um texto em inglês
> vou
... Um viva à Carolina e à lista, que sobreviverá !
Valeu Carol,
[]s Samuel
On Monday, September 12, 2016 at 7:41:24 PM UTC-3, LOGICA-L wrote:
>
> PessoALL:
>
> Parece que não será desta vez que a nossa lista será suspendida. Mesmo
> após preparar o terreno publicamente dur
... Tenho vontade de perguntar aos matemáticos(?) que escrevem os "A Beta
Books" se a Hipótese do Contínuo é
verdadeira ou falsa, só pra ver o que respondem - ou esperar pela
excomungação, um ritual de exorcismo ou o que seja.
Atés,
[]s Samuel
On Friday, June 17, 2016 at 2:35:2
).
Seu argumento com variáveis proposicionais aparentemente procede, mas não
seria o caso
de se pensar em demonstrações/refutações do fecho universal de fórmulas que
tenham pelo menos algum símbolo relacional ou funcional ?
Atés,
[]s Samuel
On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3
ica não seja tão imprescindível assim (para a
incompletude), mas algo a mais (no caso aí, a tal da cópula) seja
necessário. Deixo esta discussão
para os mais entendidos !
Atés,
[]s Samuel
On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3, Joao Marcos wrote:
>
> Partilho uma pergunta
que tem um conhecimento um pouco mais
aprofundado de Lógica me chamou a atenção:
- Isso é besteira. Todos os teoremas que demonstramos são equivalentes entre si.
... Só quem entende o que diz o teorema da completude teria clareza disso.
Até,
[]s. Samuel
--
Você está recebendo esta mensagem porque se
eorema de Incompletude ser consequência imediata (da demonstração) do
Primeiro não é muito comentada por aí...
Aí, é só usar o Teorema de Completude para conseguir os tais modelos onde
não há modelos.
É muito divertido isso tudo, com certeza...
Atés,
[]s Samuel
On Wednesday, June 15, 2016 at 2:1
//www.sbm.org.br/jointmeeting-italy/special-sessions/
Programação das sessões:
http://www.sbm.org.br/jointmeeting-italy/program/
... Estão todos convidados para prestigiar o Brasil/Itália, em especial os
colegas
sediados no Rio de Janeiro.
Grato,
[]s Samuel
PS: Enviei ontem essencialmente
/KOSTAS_palestra_SemanaL_2014.pdf
Minicurso - Princípios de Escolha em Análise e Topologia - Samuel G. Silva
www.veraomat.ufba.br/Verao_UFBA/SemanaL_files/SAMUEL_minicurso__SemanaL_2014.pdf
Palestra - Perspectives in Set Theory - Mirna Dzamonja
http://www.veraomat.ufba.br/Verao_UFBA/SemanaL_files
pretendo disponibilizar os arquivos .pdf das apresentações
realizadas durante a Semana (incluindo as dessa palestra que está nos videos).
Até mais,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
Olás,
Uma mensagem de Roman Kossak para a comunidade de lógicos brasileiros,
enviada via Andrey Bovykin.
Atés,
[]s Samuel
- Forwarded message --
From: Kossak, Roman
Date: 8 February 2014 15:32
Subject: ASL outreach program
To: Andrey Bovykin
Hi Andrey,
I am in charge
(Apologies for multiple postings)
Logic, Algebra and Truth Degrees 2014
July 16 - 19, Vienna, Austria
Call for papers
The conference Logic, Algebra and Truth Degrees 2014 will be
held on 16-19 July 2014 in Vienna, Austria, as part of the
Vienna Summer of Logic event http://vsl2014.at.
Presidente da Sociedade Européia de Teoria dos Conjuntos ministra
palestra no Instituto de Matemática da UFBA
A Profa. Mirna Dzamonja (Universidade de East Anglia, Norwich, Reino
Unido) ministrará palestra no Instituto de Matemática da UFBA
no próximo dia 13 de março, às 11hs. A palestra é
Oi Valeria,
Conhecendo os colegas aqui, nao serao todos a produzir slides... Sorry !
Também nao vejo muito como gravar tudo. Talvez a palestra da Mirna,
que é o evento mais importante...
Até ! Grato !
[]s Samuel
Quoting Valeria de Paiva valeria.depa...@gmail.com:
Samuel, parabens pra
-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo DOttaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UERJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de
Olás,
Aqui é Samuel, estou cuidando das cobranças da taxa de inscrição do EBL.
Escrevo apenas para avisar a comunidade sobre a seguinte
característica do pagamento da inscrição via PayPal: o email do PayPal
não é enviado automaticamente logo após a inscrição, os dados tem que
ser checados
)
Walter Carnielli (UNICAMP)
Oswaldo Chateaubriand Filho (PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo DOttaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UERJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva
-visitante-especial1
http://www.cienciasemfronteiras.gov.br/web/csf/jovem-talento3
Até mais,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l mailing list
-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo DOttaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UERJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de
Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D'Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio
Samuel
PS: Por enquanto o blog está sendo um depositário de discussoes que
ocorrem no Facebook, vamos ver se conseguimos nos organizar para
colocar textos mais expressivos.
Quoting logica-l-requ...@dimap.ufrn.br:
Enviar submissões para a lista de discussão Logica-l para
logica-l
)
... Eu só vi isso nesse livro do Enderton, Elements of Set Theory.
Uso nos cursos que dou na graduação para forçar o aluno a pensar em
domínio e imagem mesmo nos casos em que o conjunto nao é relacao. Não
conheço tratamento disso em outros lugares.
Atés,
[]s Samuel
de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D'Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC
. Loffredo DOttaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscilla Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio
sem graça).
... Se não funcionar o filme em sala de aula, pelo menos tem a Scarlet
Johansson !
Atés,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica
... Proof é melhor, claro ! Minha proposta nao era muito séria nao. 8-)
Até,
[]s Samuel
Quoting Valeria de Paiva valeria.depa...@gmail.com:
hmm Samuel,
ta' bom que a Scarlet Johansson e' muito linda e competente, mas eu acho
que nessa linha o Proof (com a Gweneth Paltrow)
http
(PUC-Rio) - co-chair
Marcelo Correa (UFF)
Hércules Feitosa (UNESP)
Renata de Freitas (UFF)
Hugo Mariano (USP)
Ítala M. Loffredo D'Ottaviano (UNICAMP) - co-chair
Luiz Carlos Pereira (PUC-Rio, UFRJ) - co-chair
Wagner Sanz (UFG)
Frank Sautter (UFSM)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria
)
Samuel G. da Silva (UFBA)
Sheila Veloso (UERJ)
Maria Inés Corbalán (Aluna de doutorado, UNICAMP)
Maria Priscila Coelho (Aluna de doutorado, PUC-Rio)
Bruno Lopes (Aluno de doutorado, PUC-Rio)
Leandro Suguitani (Aluno de doutorado, UNICAMP)
Sponsorship
Sociedade Brasileira de Lógica (SBL
de matemática, cumprindo carga horária com disciplinas
de matemática, esta é uma das poucas oportunidades existentes em nosso
país.
Até mais, grato,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
: stw2013saopa...@gmail.com
Organizers:
- Lucia R. Junqueira, chair (Universidade de Sao Paulo, USP)
- Leandro F. Aurichi (USP)
- Rodrigo R. Dias (USP)
- Marcelo D. Passos (Universidade Federal da Bahia, UFBA)
- Samuel G. da Silva (UFBA)
Deadline for pre-registration and abstracts: July 1, 2013.
Please
subconjuntos de um conjunto - e tudo bem).
Mas é claro que eu só digo isso porque eu nao vou nem na esquina, fico
ali em ZFC tranquilinho. A(s) diferenca(s) entre primeira e segunda
ordem está(ao) aí para ser(em) estudada(s), investigada(s) e
discutida(s).
Atés,
[]s Samuel
Quoting Carlos
teoria)
Ou seja: modelos de grupos seriam apenas tipos especiais de conjuntos.
Mas essa é só uma visão prática, inclusive acredito que seja assim
que os set theorists pensam (eu pelo menos penso assim), mas não
tenho bagagem filosófica para defendê-la. 8-)
Atés,
[]s Samuel
candidato a modelar ZFC; nao vejo porque, por exemplo,
valha o Axioma da Substituicao com os quantificadores restritos a G,
mas é algo a se pensar, claro)
Concordo que nada dessa discussao está nos livros ou nos artigos por aí.
Atés,
[]s Samuel
Quoting Joao Marcos botoc...@gmail.com:
13/5/25
contra-exemplos.
Atés,
[]s Samuel
Quoting Joao Marcos botoc...@gmail.com:
(Nao sei se G é candidato a modelar ZFC; nao vejo porque, por exemplo, valha
o Axioma da Substituicao com os quantificadores restritos a G, mas é algo a
se pensar, claro)
Queria acrescentar que eu acho que não é
curvas e pensar na curva que minimiza lá a
tal da integral e tudo, mas não teve jeito, o menino continou com o
desespero e a desilusão por todo o dia, hehe.
Atés,
[]s Samuel
PS: Claro que no contexto de Geometria Euclidiana elementar, não
existe a menor distância, porque a distância é
os pontos
podemos colocar o transferidor e medir ângulos de modo consistente com
o outro Axioma de medidas, o Axioma do Transferidor.
Quando chega no R2, é modelo de tudo e fica sem graça.
Até,
[]s Samuel
Quoting Jorge Petrucio Viana petru...@cos.ufrj.br:
humm
algo esta me
Olás,
Alguém pode explicar o que foi esse tal email do Badoo ??? Acheio meio
invasivo e perigoso. Posso estar exagerando.
[]s Samuel
Quoting logica-l-requ...@dimap.ufrn.br:
Enviar submissões para a lista de discussão Logica-l para
logica-l@dimap.ufrn.br
Para se cadastrar ou
no
fundo, seria a cardinal, não a ordinal...
(Observo ainda que, dados cardinais kappa e lambda, o produto cardinal
de kappa por lambda nada mais é do que a cardinalidade do produto
ordinal de kappa por lambda... Analogamente para soma.)
Até,
[]s Samuel
curiosamente, no modelo de Solovay vale o Princípio das Escolhas
Dependentes e portanto o Axioma da Escolha Enumerável !!!
Até,
[]s Samuel
P.S. Um outro modelo sem ultrafiltros livres é o seguinte:
Andreas Blass, A model without ultrafilters, Bull. Acad. Polon. Sci.
25 (1977), 329331
iniciação, o que eu uso sempre é o Bell Slomsom
mesmo, mas não tem exemplos detalhados assim não, de fato.
Até,
[]s Samuel
Quoting Carlos Gonzalez gonza...@gmail.com:
Caros,
Nas pp. 110-111 do livro de Felgner tem um resumo de equivalentes do
BPI. Do equivalente (f)
(f) In every Boolean
Tio Petros e a Conjectura de
Goldbach, teve uma epifania na hora que soube dos Teoremas de
Incompletude de Gödel...
Até,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
, Brazil
www.maresiashotel.com.br
Homepage of the event: Will be available soon.
E-mail: stw2013saopa...@gmail.com
Organizing Committee:
Lucia R. Junqueira, chair (USP, Brazil)
Leandro F. Aurichi (USP, Brazil)
Rodrigo R. Dias (USP, Brazil)
Marcelo D. Passos (UFBA, Brazil)
Samuel G. da Silva
ocorrer em meados de novembro.
Mais detalhes e link para o edital completo em:
http://www.dmat.ufba.br/noticias/publicado-edital-para-concurso
Interessados podem se sentir livres para escrever para mim para
maiores informações também (à parte da lista, sam...@ufba.br).
Até mais,
[]s Samuel
!
Até,
[]s Samuel
Quoting Joao Marcos botoc...@gmail.com:
A titulação é: Doutorado em Matemática, ou Doutorado em Filosofia (Lógica
Matemática). Ainda estamos conseguindo manter no nosso departamento essa
titulação de doutoramento em filosofia pensando em candidatos que
eventualmente tenham essa
melhorar.
Até,
[]s Samuel
Quoting Joao Marcos botoc...@gmail.com:
Olá, Samuel:
O pessoal de departamentos de matemática, em geral, não gosta muito que
físicos tentem entrar, e também não simpatizam muito com engenheiros, então
eles evitam o áreas afins. Sei disso de vários departamentos
ótima.
Deadline para submissao: 01 de outubro.
Até,
[]s Samuel
PS-1: O link em inglês para mandar para seus colaboradores:
http://www.cienciasemfronteiras.gov.br/web/csf-eng/opportunities-for-individuals-from-abroad
PS-2: Nao li nada do projeto, nao sei os detalhes... Tem aí também
Olás,
Sem querer incomodar mas já incomodando - algumas notícias dos
resultados dos proceedings do EBL ? A data dos resultados, após o
very comfortably extended deadline, era hoje...
Atés,
[]s Samuel
Universidade Federal da
a lista está
mais palatável. Algumas revistas generalistas que não eram A2 viraram
A2 (Canadian Journal of Mathematics, por exemplo...).
Tem um vetor baixando e um vetor subindo, mas eu gostei desse vetor
subindo aí.
Devem ter lido o documento, pelo menos !
Até,
[]s Samuel
tiver um aluno que já saiba, hehe, pode pedir arquivos para
alguém, por exemplo pra mim, é só ter o pacote beamer instalado e
analisar direitinho algum que já esteja pronto e sair fazendo.
Até,
[]s Samuel
Universidade Federal da
, estou jogando o jogo dos caras e não me
envergonho disso.
(Claro que também não me orgulho, hehe, cheguei já na fase do assim
que as coisas são.)
Até,
[]s Samuel
Quoting Joao Marcos botoc...@gmail.com:
Claro, não posso cobrar que todos tenham chegado no meu nível de aceite
das regras
trabalho.
Sem contar que passar o trabalho para outras pessoas (por favor,
diferencie aí caso a caso) me soa bastante antipático.
Vamos lá... Proposta 1 ! Vou ter que começar a pedir voto aqui.
Até,
[]s Samuel
Universidade
-me fora desta, Samuel! Definitivamente não estou de acordo
com o pressuposto de que a produtividade de um pesquisador individual
tenha sua _qualidade_ medida de forma diferente, de acordo com a régua
do medidor. O valor científico de uma certa pesquisa deveria ser
algo um pouco mais objetivo.
Agora
que o nosso documento é mesmo
tao ruim como primeira aproximacao do desejo da comunidade ?
Problemas pontuais, por favor apontem, sugiram, comentem. Esses
verbos, apontar, sugerir, comentar, podem ser conjugados num
clima nao-acusatório.
Até,
[]s Samuel
.
Isso vai mais ou menos no caminho do que eu, Rodrigo e Valeria
pensamos quando preparamos a tabela e a carta.
Até,
[]S Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
mais urgentes pra tratar,
possivelmente...
Até,
[]s Samuel
PS: Lembrei de uma historinha: foi lembrado aqui que, a princípio, o
Qualis foi feito para avaliar programas de pós-graduação. Pois bem:
quem quiser checar, veja as regras de credenciamento do mestrado em
matemática da Ufba em
Olá Walter, Doria e Jean Yves,
Já estou convencido de que essa revista deva entrar numa proposta em
Matemática sim, OK. Grato pelo retorno.
Até,
[]s Samuel
Quoting Walter Carnielli walter.carnie...@gmail.com:
Caro Samuel: pelo menos que eu me lembre, publicaram no BSL:
Paulo Veloso
sem perspectivas de encaminhá-lo
a curto prazo, depois de tantas críticas e polêmicas).
Até,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l mailing
a assinatura...
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo
comecar do
zero com *outra* *estratégia*. Que *a* *comunidade* nos peca isso
claramente.
Até,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l
Olá Decio, olá Doria,
Grato pelo apoio.
Lembramos aos colegas que esperamos as assinaturas no blog:
http://qualisabaixoassinado.blogspot.com.br/
Mesmo que nao seja tao efetivo quanto se deseja, ou que se espera,
acreditamos que estamos no caminho certo.
Até,
[]s Samuel
Quoting FAD 2
A2... Não seria fácil uma revista nova pular para
o A2.
Até,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http
Oi,
Assino também, claro !
[]s Samuel
PS: Acho que um subgrupo da lista poderia se comunicar diretamente
para fazer isso, para nao ficar enchendo a logica-l de mensagens, eu
me candidato a participar do subgrupo, hehe...
Quoting Valeria de Paiva valeria.depa...@gmail.com:
Legal. Valeu
... Pois é,
Eu também estou enrolado este final de semana e na outra semana
inteirinha (com o tal encontro não sei de quem, hehe), mas, o que vc
quer dizer com quem mantém o documento, seria quem faz a página ?
Não seria o Eduardo Ochs ?
Até,
[]s Samuel
Quoting Valeria de Paiva
um movimento
contra a inércia toda da coisa, nada muda ou mudará...
O jogo é jogado e o lambari é pescado !
Até,
[]s Samuel
Quoting logica-l-requ...@dimap.ufrn.br:
Send Logica-l mailing list submissions to
logica-l@dimap.ufrn.br
To subscribe or unsubscribe via the World Wide Web
---
FIRST ANNOUNCEMENT
The 15th Latin American Symposium on Mathematical Logic,SLALM2012,
will be held in Bogota, Colombia, during the week of June 4 to 8, 2012.
The first SLALM (Simposio Latinoamericano de Lógica Matemática) was
(University of Toronto, Canada)
Ramiro de la Vega (UniAndes, Colombia)
Daniel Vendrúscolo (UFScar, Brazil)
Andrés Villaveces (Unal, Colombia)
Organizing Committee:
Samuel Gomes da Silva (UFBA, Brazil) (Chair)
Leandro Aurichi (USP Sao Carlos, Brazil)
Joao Paulo Cirineu de Jesus (PhD Student, USP, Brazil
eu
fazer isso, hehe...
Até,
[]s Samuel
PS: Há alguns anos atrás eu vi algo de um russo em um congresso
dizendo que inacessíveis nao existiam, deve ser o mesmo Kiselev...
Seria bom se um cara como o Kanamori, ou o próprio Solovay, viesse a
público e desse uma opinião rápida sobre esse
uma posição num
departamento de matemática, o que pode ser atraente para algumas
pessoas, de acordo com sua formação e interesses.
Os interessados podem se sentir livres para me escrever, à parte da
lista, para maiores informações.
Até,
[]s Samuel
PS: No mesmo edital, estão abertas três
representante (o cardinal do truque de Scott). Até agora, tenho
conseguido fazer isso, nao sei se haverá um momento no qual nao
poderei escapar de tratar desses cardinais nao-alephs.
[]s Samuel
Quoting Rodrigo Freire freires...@gmail.com:
Legal Samuel, esse é um bom jeito de pensar nesses
(que é equivalente ao
Teorema do Ultrafiltro) e LT é o Teorema de Lós, segue o link do
artigo...
http://www.jstor.org/stable/2040659)
É como se o LT fosse a parte de existir(em) o(s) modelo(s) no
primeiro parágrafo acima, seria o a mais...
Até,
[]s Samuel
PS: Só pra
se juntam coisas para formar uma equivalência com o
Axioma da Escolha, fica mais interessante juntar coisas que são
sabidamente mais fracas, como BPI e LT, BPI mais algo muito próximo do
Lowenhein-Skolem eu já começo a não perceber onde entrou o a mais...
Até,
[]s Samuel
Citando
para os enunciados com esses caras e prefiro
traduzir para uma informacao de equipotência entre conjuntos...
Até,
[]s Samuel
Quoting Rodrigo Freire freires...@gmail.com:
Pois é, esses resultados são mais interessantes quando a conjunção de dois
enunciados mais fracos implica escolha. O
continuar o interesse, podemos mesmo
tentar marcar alguma sessao, seguindo a sugestao de Joao Marcos.
[]s Samuel
PS: Também tem o problema de revistas que nao estao na lista, o mais
gritante é mesmo o Journal of Symbolic Logic. Mathematical Logic
Quarterly também nao está.
Quoting
...
Abraços,
[]s Samuel
PS: Já apresento uma sugestão: nos últimos anos os proceedings do EBL
foram publicados algumas vezes no Logic Journal of IGPL. Não sei se
existe o plano de continuar publicando esses proceedings ali, mas se
fosse o caso seria uma boa opção para ser sugerido que esse
Olá Joao e demais,
Valeu pelas sugestoes !
Hum, acho que um abaixo-assinado por email, enviado para um dos
membros da comissao, seria melhor... Ou um documento com os nomes no
final.
Nao sei, a discutir no EBL.
Até,
[]s Samuel
Citando Joao Marcos botoc...@gmail.com:
De todo modo
no rito, dá pra se
contornar os problemas.
Até,
[]s Samuel
PS: Outra dica: em pontos teóricos de filosofia, sem bibliografia,
dê uma olhada na producao dos pesquisadores que já trabalham na
instituicao que vc vai se candidatar e tente descobrir qual é a linha
que eles trabalham. Isso pode
===
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011)
===
26-30 July 2011
Universités
equivalências do Axioma
da Escolha (e, segundo Ofelia, foi ela mesmo quem mandou pra eles).
Eu e Joao Paulo já tinhamos mais ou menos contado essa história numa
carta, para a Revista Matemática Universitária (número 44, se nao me
engano).
Até mais,
[]s Samuel
PS: Carlos Gonzalez me avisou que
num
produto topológico (de Tychonoff), entao pelo menos um dos fatores é
fechado.
* Os dois matemáticos brasileiros a que me refiro sao Edison Farah e
Ofélia Teresa Alas, da USP.
Abracos a todos,
[]s Samuel
Universidade
201 - 300 de 312 matches
Mail list logo