).
Muito grato,
[]s Samuel - UFBA
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
Oi Ruan,
Se não me engano, o Adolfo tem um blog que já tem alguns grupos de
Lógica ali cadastrados...
[]s Samuel
Citando 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 descadastrar via WWW
(UFBA)
Lúcia Renato Junqueira (University of São Paulo)
Charles Morgan (University College London and CMAF, University of Lisbon)
Samuel Gomes da Silva (UFBA)
There is no registration fee !
If you'd like to participate (or even give a talk), please contact the
organizer, Samuel Gomes da Silva
respostas não chegaram. Peço
desculpas pelo ocorrido.
Por favor, quaisquer informações sobre a Semana de Teoria dos
Conjuntos e Topologia Geral da Ufba podem ser obtidos, também, em meu
email particular
samuca_...@yahoo.com.br
Novamente, peço mil desculpas pelos transtornos.
[]s Samuel
Prezados colegas,
Gostaria de saber se alguém pode me informar se existe a previsão de
realização de EBL em 2010.
Grato,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
dez meses de pós-doutorado no México, a partir da
semana que vem.
[]s Samuel - Ufba
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l mailing list
Logica-l
agradeci também. Vou comentar algo
da sua resposta:
Quoting Walter Carnielli walter.carnie...@gmail.com:
Caro Samuel:
o que você levanta são questões profundamente interessantes.
Envio a voce em separado (parece que a Lista não aceita o arquivo)
um prefácio de Robert Vaught sobre o
http://www.emis.de/journals/CMUC/pdf/cmuc9301/sochor.pdf
Até,
[]s Samuel
Quoting Valeria de Paiva valeria.depa...@gmail.com:
oi Marcelo, Samuel,
Achei interessante a ideia de uma `teoria de conjuntos finitos'.
Seria parecida com a teoria de modelos finitos,
http://en.wikipedia.org/wiki
ou
recursao num conjunto qualquer, aí sim é necessário o Axioma da Escolha.
Até,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l mailing list
Logica-l
Olá Arthur,
É o Set Theory - An Introduction to Independence Proofs.
A parte de ordinais está bem feitinha, aliás toda a parte de conjuntos
bem ordenados e de isomorfismos de boas ordens.
Até,
[]s Samuel
Quoting logica-l-requ...@dimap.ufrn.br:
Enviar submissões para a lista de discussão
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
escolhas enumeráveis, se
nao me engano.
Até mais,
[]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 descadastrar via WWW, visite o endereço
http://www.dimap.ufrn.br/cgi-bin
importante lembrar algo que nao é muito citado por aí: é possível
indexar uma família com o conjunto vazio: nesse caso, a família
indexada é vazia, o produto cartesiano é o unitário do vazio e nao há,
obviamente, como definir projecoes.
Até,
[]s Samuel
Quoting Carlos Gonzalez gonza
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
===
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011)
===
26-30 July 2011
Universités
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
...
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
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
(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
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
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
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
(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
---
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
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
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
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
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
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
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
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
-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
, 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
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
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
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
ó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
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
, 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
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
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
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
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
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
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 é
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
: 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
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
)
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
(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
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
. 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
)
... 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
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
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
-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
)
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
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
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
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.
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
/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
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,
[
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,
[
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
anos em aberto).
Atés e parabéns pelo trabalho,
[]s Samuel
Em sexta-feira, 9 de outubro de 2020 às 08:29:14 UTC-4, marciopalmares
escreveu:
> Olá, pessoal!
>
> Estamos divulgando nosso trabalho sobre a teoria Flow, uma teoria geral
> sobre funções, cujo propósito inicial era
... Foi pelo blog do Karagila que há alguns anos atrás eu fiquei sabendo do
Princípio da Partição,
Se ele está acompanhando a coisa, trata-se de um especialista no assunto,
muito bem !
Atés
[]s Samuel
Em sexta-feira, 9 de outubro de 2020 às 17:43:11 UTC-4, marciopalmares
escreveu:
>
/jigpal/jzaa023/5875437?redirectedFrom=fulltext
Atés
[]s Samuel
Em sexta-feira, 9 de outubro de 2020 às 18:19:17 UTC-4, samuel escreveu:
> ... Foi pelo blog do Karagila que há alguns anos atrás eu fiquei sabendo
> do Princípio da Partição,
>
> Se ele está acompanhando a coisa, tr
Caros,
Parabéns à Valeria e à Elaine, por nos representarem na seleta lista de
embaixadores...
Abraços,
[]s Samuel
Em sexta-feira, 4 de dezembro de 2020 às 14:41:45 UTC-4, Joao Marcos
escreveu:
> Mais sobre o World Logic Day 2021, com declarações de seus atuais
> embaixadores:
&
Caros,
Apenas repassando, não tenho informações específicas da chamada.
Abraços,
[]s Samuel
__ Email PhD Cofund
MathInParis2020 __
Dear colleagues,
The international Doctoral Training in Mathematical Sciences
ue faz com que
a renovação seja de 18 dólares ainda para 2021.
Eu acho que vale a pena para receber as revistas (JSL, RSL, BSL), ter
acesso online, etc.
Atés
[]s Samuel
Em domingo, 29 de novembro de 2020 às 18:37:49 UTC-4, valeria.depaiva
escreveu:
> oi gente,
> a ASL ta' mandan
asos ("uso do Terceiro Excluído",
concordo...)
Se x pertence a f(x), entao x não pertence a Y.
Se x não pertence a f(x), entao x pertence a Y.
Logo, para todo x, eu uso ele mesmo para mostrar que f(x) e Y são
diferentes (de um jeito ou de outro, conforme o caso).
Atés,
[]s Samuel
convidado Peter Arndt
(Universidade de Dusseldorf).
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...
s de X, ela nao tem inversa à direita"
Só que a implicacao
"não ter inversa à direita" --> "não é sobrejetora"
é equivalente a
"a função é sobrejetora" > "tem inversa à direita"
e esta última é uma equivalência do Axioma da Escolha
Go
Bedregal estava na banca do concurso que fiz para entrar na UFBA, em 2005.
Possivelmente o matemático mais simpático do país, uma
pessoa extremamente agradável.
Muito triste com a notícia.
Meus sentimentos aos amigos e família.
[]s Samuel
Em quinta-feira, 8 de abril de 2021 às 08:55:33 UTC
rma os tais arenques vermelhos.
Atés
[]s Samuel
Em quarta-feira, 25 de agosto de 2021 às 13:16:52 UTC-4, Joao Marcos
escreveu:
> De onde vêm os termos matemáticos?
> Matemáticos adoram pegar palavras comuns e usá-las para seus próprios fins
>
> https://www1.folha.uol.com.br/colunas/
Marcelo Coniglio (IFCH-Unicamp, Campinas, BRA)
Hugo L. Mariano (IME-USP, São Paulo, BRA)
Ciro Russo (UFBA, Salvador de Bahia, BRA)
Samuel G. da Silva (UFBA, Salvador de Bahia, BRA)
Andrés Villaveces (UNAL, Bogotá, COL)
Pedro H. Zambrano (UNAL, Bogotá, COL)
Partners:
Sociedad Col
... E, nesse mesmo Edital onde aparece essa vaga na Matemática, tem uma
vaga para Lógica no Departamento de Filosofia ! Obrigado ao Thiago
Nascimento
da UFRN que me chamou a atenção para isso.
Então, tem ainda mais essa oportunidade aqui na UFBA na área de Lógica.
Atés
[]s Samuel
Em quarta
Oi gente,
Talvez eu não tenha sido claro na mensagem anterior, mas pra que não restem
dúvidas, o concurso é uma vaga geral para matemática, não é um concurso
específico pra lógica - o que eu quis chamar a atenção é que lógicos podem
concorrer, com as titulações que descrevi.
Atés
[]s Samuel
1 - 100 de 311 matches
Mail list logo
