ente essas 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.
[
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
maio.
Qualquer outra dúvida, escrevam para mim, à parte da lista.
Até breve,
[]s Samuel - Ufba
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l mailing list
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
)
A sentenca de Godel G é equivalente a Con(PA). Assim, se eu assumo
Con(PA), estou assumindo que G é verdadeira. Ela nao deveria entao ser
verdadeira em todos os modelos de PA ? Como fica o argumento acima
para modelos nao-standard ?
É isso, espero que os especialistas possam me ajudar...
agradeci também. Vou comentar algo
da sua resposta:
Quoting Walter Carnielli :
> 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
of certain recursive functions as
emphasized by Kreisel circa 1958. Indeed.
Até,
[]s Samuel
Quoting Francisco Antonio Doria :
> Gentzen 36 equivale à sentença de Gödel, Samuel. Tem Kleene 36. Dá pra fazer
> infinidades.
>
> 2010/8/2
>
>> Olá Dória,
>>
>
ca suficientemente clara se retirarmos
o Axioma da Escolha ! Perde-se a equivalência com a nocao de
infinitude de Dedekind.
Até mais,
[]s Samuel
Quoting Carlos Gonzalez :
> Olá Samuel,
>
> Além de Con(PA) poder ser provada em ZF, podemos trabalhar com teorias
> mais fortes,
njunto
V_omega da teoria dos conjuntos usual: nao seria um conjunto nessa
outra teoria dos conjuntos, já que seria o universo.
Até,
[]s Samuel
Quoting Francisco Antonio Doria :
> Sempre tem um algoritmo pa resolver instâncias finitas e número do problema
> da parada; não tem é ***
1&SRETRY=0
http://www.emis.de/journals/CMUC/pdf/cmuc9301/sochor.pdf
Até,
[]s Samuel
Quoting Valeria de Paiva :
> oi Marcelo, Samuel,
>
> Achei interessante a ideia de uma `teoria de conjuntos finitos'.
> Seria parecida com a teoria de modelos finitos,
> http://en.wiki
sa tal
"bi-interpretacao"...
[]s Samuel
Quoting Valeria de Paiva :
> Decio,
> obrigada, eu nao sabia. Mas tem resultado equivalent pra teorias
> intuitionisticas, isto e', IZF sem axioma do infinito= HA (Heyting
> arithmetic)?
> Samuel, obrigada pelos links. t
revista de lógica matemática acima da
classificacao B1.
Se isso for verdade, o que acredito que seja mesmo, é impossível para
um lógico matemático realizar uma publicacao "top" no Brasil...
Até mais,
[]s Samuel
PS1: A situacao anda feia até para uma área nobre como a Álgebra...
Atua
razao, o meu comentário sobre "publicacoes top" é
*segundo a avaliacao da CAPES*... O dia que eu publicar algo na
Fundamenta Mathematicae, terei certeza de que é uma "publicacao top",
mesmo sendo B1 na lista...
Até,
[]s Samuel
Quoting logica-l-requ...@dimap.ufrn.br:
fazer nenhuma política, a revista acaba entrando no Qualis...
Infelizmente, nao é assim que funciona nao.
Abracos a todos !
[]s Samuel
PS: Como existem listagens diferentes para Computacao, Filosofia,
Matemática, etc., uma lista unificada dá uma ajuda, sim.
Quoting Jorge Petrucio Viana :
>
claro que para fazer inducao 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
___
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 pa
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.di
um .pdf do artigo, estou num computador
público agora.
É 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 projec
de Rubin e Rubin de 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: Carlo
gostaríamos de contar com mais gente para trabalhar.
Até mais,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http
===
>TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011)
> ===
>
> 26-30 July 2011
> Universi
toria, nao
é fácil conseguir que os editais fiquem "do jeitinho que gostaríamos".
Mas com um pouco de "bom senso" e muito cuidado no rito, dá pra se
contornar os problemas.
Até,
[]s Samuel
PS: Outra dica: em pontos teóricos de filosofia, "sem bibliografia",
d
Caros,
Vou fazer uma pergunta bem desagradável.
Alguém sabe se o LNCC em Petrópolis teve algum dano devido às chuvas ?
Pergunto porque estaremos lá daqui a quatro meses.
Aproveito a oportunidade para apresentar minha solidariedade a todos
os colegas do Rio.
Abraco,
[]s Samuel
também
estarei querendo discutir isso durante o EBL...
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
foss
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 :
De todo modo, coloco a questão
azao.
Mais alguma observacao ? Se 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 Log
l Booleano Primo (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".
im, quando 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"...
A
sao alephs". Eu olho para os enunciados com esses caras e prefiro
traduzir para uma informacao de equipotência entre conjuntos...
Até,
[]s Samuel
Quoting Rodrigo Freire :
Pois é, esses resultados são mais interessantes quando a conjunção de dois
enunciados mais fracos implica escolha
m falar do
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 :
Legal Samuel, esse é um bom jeito de pen
... Sobre o concurso da Ufba: candidatos estrangeiros devem apresentar
o memorial e o curriculum em português.
Quem estiver com defesa de doutorado marcada, pode se inscrever. O
diploma de doutor só é exigido na posse, podem confirmar isso no edital.
[]s Samuel
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
r mais experiente do que 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
Caros,
Se no mesmo mês os inacessíveis ficarem inconsistentes e a
Relatividade ir por terra, vou começar a acreditar que o mundo acaba
em 2012 !!!
[]s Samuel
Citando logica-l-requ...@dimap.ufrn.br:
Send Logica-l mailing list submissions to
logica-l@dimap.ufrn.br
To subscribe
Tall (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, B
Vega (UniAndes, Colômbia)
Daniel Vendrúscolo (UFScar, Brasil)
Andrés Villaveces (Unal, Colômbia)
Comissão Organizadora
Samuel Gomes da Silva (UFBA, Brasil) (Coordenador)
Leandro Aurichi (USP Sao Carlos, Brasil)
Joao Paulo Cirineu de Jesus (Estudante de Doutorado, USP, Brasil)
Dimi Rangel (Estudante
---
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
h
na classificação anterior...).
Em resumo, como João Marcos já disse, se não houver 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
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 :
Legal. Valeu, Decio!
... 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 Valeri
.
E entao, vamos fazer um subgrupo separado para discutir/preparar isso
? Depois de feito o trabalho a gente divulga na lista e pega mais
assinaturas, claro...
[]s Samuel
PS: Rodrigo e Valeria, que bom que vcs vao estar aqui em Salvador
semana que vem, poderemos conversar a respeito disto
computação, alguém poderia nos dar um feedback...
Até,
[]s Samuel
Quoting "Itala M. L. D'Ottaviano" :
Caro Rodrigo:
Concordo com os termos do documento.
Entretanto, como não está mencionada Studia Logica?
Itala
Caros colegas
Nos últimos dias, eu, Samuel, Valéria e o Charles ela
ente ! A Proceedings AMS é
uma revista "apenas" 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
está em curso
e o tempo urge). Também pretendemos seguir algumas sugestoes que
recebemos no que se refere a divulgar essa nossa mobilizacao, em breve
trataremos disso também.
Abracos a todos,
[]s Samuel
Universidade Fed
dos no blog !
Abracos a todos,
[]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/logica-l
Olás,
Acabo de entrar com a adesao do Walter no blog.
Quem tiver com problemas para publicar no tal perfil "anonymous", por
favor dê seus dados publicamente aqui na lista, nos autorizando a
entrar com a adesao no blog.
Até,
[
Caros,
Valeria já comentou sobre isso, mas se o contra-exemplo para a
preocupacao que tivemos com a nocao de meia-vida é uma revista da
*ASL* que sempre chega no meu instituto no mesmo envelope plástico que
traz a JSL, entao acredito que mantenho minha coerencia também.
Até,
[]s Samuel
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
em ainda nao assinou pedimos 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.ufr
cho que está tudo bem. Mas, se a comunidade assim o
desejar, tudo o que fizemos pode ser engavetado para se comecar do
zero com *outra* *estratégia*. Que *a* *comunidade* nos peca isso
claramente.
Até,
[]s Samuel
o.
Temos coisas 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
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 :
Caro Samuel: pelo menos que eu me lembre, publicaram no BSL:
Paulo Veloso
Juliana Bueno-Soler
Walter
No momento, não
tenho clareza dos desejos da comunidade (e o abaixo-assinado se
encontra parado, obviamente, estamos sem perspectivas de encaminhá-lo
a curto prazo, depois de tantas críticas e polêmicas).
Até,
[]s Samuel
--
.
Será que fazer uma discussao mais longa agora e perder a avaliacao
*em* *curso* vale mesmo a pena ? Será que o nosso documento é mesmo
tao ruim como "primeira aproximacao" do desejo da comunidade ?
Problemas pontuais, por favor apontem, sugiram, comentem. Esses
verbos, &q
e acordo,
por exemplo, que a Studia Logica deve estar melhor "qualisficada" na
Filosofia do que em Matemática.
Até,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
_
7;s health."
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
;qualisficada" na Filosofia do que em
Matemática.
JM: "Inclua-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 medid
, 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 :
Claro, não posso cobrar que todos tenham chegado no meu nível de "aceite
das
rdo coletivo de
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
---
Olá Ana Teresa e demais,
Eu escrevi hoje uma mensagem mais pessoal para um dos coordenadores de
MA, Lorenzo Diaz (PUC-Rio), podem ficar tranquilos... Ele tem contato
com o pessoal da pós em Matemática aqui da Ufba, entao com ele temos
algum canal de diálogo.
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
e Matemática: parece que 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
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
Universida
me parece ó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
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
uma luta hercúlea !
Até,
[]s Samuel
Quoting Joao Marcos :
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 t
licos em
geral) para uma situação pelo menos razoável para a partir daí melhorar.
Até,
[]s Samuel
Quoting Joao Marcos :
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
é tão polêmico essa coisa
de "não pode haver ...(coloque o que você quiser aqui)...em inglês"...
Aula em inglês não pode, curriculo em inglês não pode, tese em inglês
não pode, defesa em inglês não pode, concurso em inglês não pode...
Até onde eu saiba, na maioria absoluta das un
, 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
trabalhos de Lógica que tenham grande intersecção com
(ou aplicações em) Teoria dos Conjuntos e Topologia Geral fazem parte
do escopo do evento.
Até mais,
[]s Samuel
Universidade Federal da Bahia - http
damentos "apenas para professores do Ensino Fundamental". Quem sai
de lá, sai com essa mentalidade, é a "filosofia" (hehe) do lugar,
passada adiante sistematicamente... Ou seja, não é à toa que é
difícil, uma luta inglória, fa
ontecer. Aquele personagem fictício
chamado "Tio Petros", do livro "Tio Petros e a Conjectura de
Goldbach", teve uma epifania na hora que soube dos Teoremas de
Incompletude de Gödel...
Até,
[]s Samuel
2 (1): 156.
Muito 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.
alunos de 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 :
Caros,
Nas pp. 110-111 do livro de Felgner tem um resumo de equivalentes do
BPI. Do equivalente (f)
(f) In every Boolean Alge
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
mprimentos de 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"
retas estão em mesma escala, assim como em todos 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 :
TWO YEARS POSTDOC POSITION IN SET THEORY IN TORINO (UPDATED)
There is an opening for a two year post doc position in set theory in
the department of mathematics of Torino university starting july 1st
2013 and finishing june the 30th 2015. Applicants are required to be
less than 35 and must have e
propriedade de
um objeto da 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 fi
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 :
13/5/25 Decio Krause :
Sim
contra-exemplos.
Atés,
[]s Samuel
Quoting Joao Marcos :
(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 é um candidato. Eu
juntos, tudo é
conjunto - incluindo os 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)
: 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
soal/etc. desejam trabalhar em
departamentos 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
Univer
(UFSM)
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
(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)
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 :
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://en.wikipedia.org/w
. 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
se é injetora ou nao)
... 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 lugare
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
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, PU
quem escreveu !
Entao um dos meus desejos de ano novo (às vésperas do resultado do pedido da
bolsa de produtividade, hehe) é:
"Que a avaliacao da producao científica dos pesquisadores (no Brasil e
no mundo) passe a ser menos Mateus 25:29 e passe a ser mais Lucas 12:48"
Atés,
[
-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
ras.gov.br/web/csf/pesquisador-visitante-especial1
http://www.cienciasemfronteiras.gov.br/web/csf/jovem-talento3
Até mais,
[]s Samuel
Universidade Federal da Bahia - http://www.portal.ufba.br
___
-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
1 - 100 de 384 matches
Mail list logo
