Caros,
lembrete do prazo para submissão ao LSFA 2013: >>>26 de Maio, 2013<<<
*LSFA 2013 --- CALL FOR PAPERS*
8th Workshop on Logical and Semantic Frameworks, with Applications
2-3 September 2013, Sao Paulo, Brazil
http://lsfa.ime.usp.br/lsfa2013
Logical and semantic frameworks are formal langua
Caros,
lembrete do prazo para submissão ao DCM 2013: Primeiro de Junho de 2013.
==
Call for Papers
DCM 2013
Developments in Computational Models
http://www.dcm-workshop.org.uk/2013
Buenos Aires, Argentina
Monday August 26 2013
A
Se nao me engano, Kant nunca saiu de Koenigsberg. Assim, sua Insercao
Internacional era pessima. Nada de bolsa de pesquisa para o Immanuael! ---Julio
Stern
> Date: Thu, 23 May 2013 00:47:51 +0200
> From: beziau...@gmail.com
> To: logica-l@dimap.ufrn.br
> Subject: [Logica-l] Qualis do Kant
>
E a maior parte de sua docência e publicações foi em antropologia, não
filosofia.
Entretanto, não acho adequado menosprezar as contribuições fundamentais do
ilustre de Königsberg que perduram até hoje (como as inspirações kantianas
implícitas na célebre distinção de "data" e "phenomena" na filosof
A quantidade de besteiras que os grandes filósofos já proferiram causa de
fato um grande desconforto (minha favorita é a consideração de Hegel sobre
o ímã ser "essencialmente uma contradição").
Filósofos são falíveis mas o que prejudica é a pretensão, consciente ou
culturalmente esperada, de que o
Olá Tony.
Eu gostaria de discordar de você quando v diz que conjecturas simples
devem ter demonstrações simples.
Uma vez eu tive uma conversa absolutamente informal, bate papo mesmo,
com o Ruy Exel, em que a gente "convergiu" para uma "medida do grau de
interesse" de um resultado matemático. E o
E conhecido tambem que Kant morreu virgem,
mesmo assim ele opinou sobre mulheres e sexualidade
opinou tambem sobre matematica sem conhecer quase nada fora de 7+5=12.
Ha filosofos muito mais interessantes que Kant:
Descartes, Leibniz, Rousseau
so para citar alguns nomes
Sim Renato, acho que Goiânia seria uma opcao interessante para o EBL 2014
talvez o Wagner toma a iniciativa
Florianopolis onde voce esta agora me parece tambem uma excellente opcao
Um abraço, JY
2013/5/23 Renato Mendes Rocha
> Voltando para o Brasil.
>
> Se paisagem à beira-mar não for uma cond
Concordo com o João ... a decisão do próximo local para o EBL deveria vir
desde a SBL em conjunto, mas não concordo que venha só de uma pessoa, se
não gostaram que já tem heróis que começaram a (pre)organizar o EBL.
Tem jeito que a SBL em conjunto possa concordar isso?
Aqui na Colômbia, a decisão
Julio
Inserção internacional não significa necessariamente IR pessoalmente. Mas seus
escritos eram conhecidos fora de Königsberg, pois não?
Abraço
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Flo
Manuel
Que tal acrescentar à lista a pérola "quando Lula fala o mundo se ilumina"? De
uma filósofa bem conhecida (como musa do PT).
Desculpe, João Marcos, mas não resisti...
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de
Sentimental não, racional. A eficiente pressupõe sempre a busca pela
simplicidade das explicações. Agora, essas conjecturas enunciadas em termos
simples não têm demonstrações simples, mas isso não é uma necessidade. Logo
logo alguém conseguirá demonstrações muito mais eficientes. É só uma
questão d
Acho que essa discussao faz perfeitamente sentido Pedro.
Nao e so levar em consideracao a opiniao da direitoria da SBL
(que no momento nao esta determinada)
mas de todos os interessados em logica no Brasil,
que podem se manifestar nesta lista de discussao.
No EBL anterior, Petropolis 2011,
começa
É uma opinião bem argumentada. Mas, eu me reservo ao direito de desconfiar
dessa medida. Afinal de contas, uma comparação cabível é com o tratamento
da gripe: se alguém pode ser curado com vitamina C e repouso não vale a
penas apelar para radioterapia, ainda que alguém descubra alguma
radioterapia
> No Brasil tem 26 estados.
Por enquanto são 27.
JM
--
http://sequiturquodlibet.googlepages.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Nao sao 26 estados + o DF?
http://pt.wikipedia.org/wiki/Brasil#Subdivis.C3.B5es
o DF tambem e uma possibilidade para o EBL 2014!
Alem disso existe a antartica brasileira ...
2013/5/23 Joao Marcos
> > No Brasil tem 26 estados.
>
> Por enquanto são 27.
>
> JM
>
> --
> http://sequiturquodlibet.g
Oi Tony.
Talvez o que v queira seja impossível. Ou indemonstrável.
Uma das estratégias para provar que P =/= NP é mostrar que NP =/=
coNP. E uma das formas de demostrar este último é mostrar que em
qualquer método de prova existe um teorema que só possui provas
exponencialmente grandes.
Se NP=
2013/5/23 jean-yves beziau :
> Nao sao 26 estados + o DF?
> http://pt.wikipedia.org/wiki/Brasil#Subdivis.C3.B5es
>
> o DF tambem e uma possibilidade para o EBL 2014!
Pois é, lá tem governador e tudo o mais. Principalmente tudo o mais. :-)
> Alem disso existe a antartica brasileira ...
Uau, essa
Antartica brasileira pode ser uma boa opcao,
acredito que la nao ha assaltos
mas seria melhor fazer durante o inverno,
porque no verao a populacao duplica:
http://pt.wikipedia.org/wiki/Ant%C3%A1rtida_Brasileira
2013/5/23 Joao Marcos
> 2013/5/23 jean-yves beziau :
> > Nao sao 26 estados + o DF
O Boolos tem um artiguinho bem conhecido ("A curious inference") no
qual ele exibe um exemplo de um teorema de primeira ordem cuja
demonstração mais curta tem tamanho astronômico:
http://www.jstor.org/discover/10.2307/30226368?uid=2&uid=4&sid=21102251570291
(A ideia passar por uma codificação da
Caros: Vou comentar uma ideia do Joao Marcos que me parece muito razoavel,
e que corresponde a maneira como a qual muitas sociedades cientificas
(inclusive algumas que ja presidi) organizam suas conferencias. Ao
fianal de cada EBL, deveriamos eleger a nova diretoria da SBL, cuja m
Dividir o átomo já foi impossível, considerando que átomo significa
indivisível.
Mas, a questão que você coloca abaixo já não faz parte dos enunciados que
eu considero simples. Não falo da simplicidade do formato do enunciado,
falo do conhecimento necessário para entender o que é enunciado. O
enun
Pois é, disseste bem: "do que sabemos". Mas, o que sabemos não é o limite
de tudo. O saber constantemente se amplia. Do que se sabia no século XIV,
nada indicava que fosse possível fazer máquinas voadoras que chegassem a
Vênus.
Em 23 de maio de 2013 11:59, Joao Marcos escreveu:
> O Boolos tem um
Três excelentes lugares para a próxima EBL: Campinas, São Paulo e São José
dos Campos, a última opção sendo muito boa e muito em conta, a uma hora e
meia de praias do litoral norte paulista, muitos hotéis bons e bons
shoppings, além de instituições de ensino superior bem interessantes como o
CTA (o
Caros colegas:
Concordo com o Julio e a idéia do João, os locais para este tipo de
encontros deveriam ser concordados com anterioridade e deveria depender do
apóio de uma organização tipo SBL -realmente eu acreditava que a
organização dependia diretamente da SBL, mas pelo comentário do João
entend
Pedro, Julio e Tony
Agradeço seus commentarios.
Concordo que tem que ter boa infraestrutura e pessoas competentes no local
do evento plenejado.
Mas e importante de apontar que no Brasil nao tem so o eixo Rio-SP que e
desenvolvido.
Ja visitei 20 estados do Brasil + o DF (a antartica brasileira aind
Caro Jean-Yves:
Voce toca em um assunto delicado.
Em nome de combater a
> discriminacao regional, em particular contre o nordeste.
ja muita bobagem se fez neste pais.
Boas politicas de desenvolvimento regional na area academica
se fazem (na minha opiniao) montando centro
Jean-Yves, quero apontar o seguinte: o custo de traslado e hospedagem é
fundamental para todos, principalmente para quem não tem bolsa nem
financiamento. Ter uma cidade com infraestrutura é essencial, mas é preciso
que seja mais barata. Não dá para fazer no Acre, por exemplo, porque a
maioria dos e
Olá, caros colegas,
os professores André Leclerc e Marco Ruffino estao engajados em trazer o
próximo encontro da Associacao Latino-americana de Filosofia Analítica para
Fortaleza em 2014. Ainda nao há maiores detalhes. Mas Fortaleza e 2014
parecem ser pontos já determinados.
http://alfa-n.org/
Ent
Caros,
consegui uma solução satisfatória. Para registrar (se
alguém tiver esse mesmo problema), usei o pacote xytree
http://www.ctan.org/pkg/xytree [6]
Código
xytree{
xynode{1.} &&&
xynode{$sim(square(psupset q)supset(square psupsetsquare q))$} &&&
xynode{($n$)}& xynode{NTF}\
xynode{2.}
> Não dá para fazer no Acre, por exemplo, porque a
> maioria dos estudantes de lógica não mora perto de lá e lá mesmo nada é
> perto. Precisa ver isso: como as pessoas chegam lá e onde se hospedam e
> comem e quanto isto custa, além de riscos de pegar dengue, ser assaltado,
> não ter ônibus senão u
Caramba, Pedro, essa ideia da Amazonia parece bacana.
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
Ja visitei Rio Branco, e achei tambem uma cidade bem bacana.
JY
2013/5/23 Joao Marcos
> > Não dá para fazer no Acre, por exemplo, porque a
> > maioria dos estudantes de lógica não mora perto de lá e lá mesmo nada é
> > perto. Precisa ver isso: como as pessoas chegam lá e onde se hospedam e
> >
Caro Marcos
Bom saber que o proximo encontro da ALFAn vai ser em Fortaleza em 2014.
Pretendo ir, espero entao que nao seja no inicio de maio
porque nesta altura vamos organizar o congresso sobre o quadrado no Vaticano
http://www.square-of-opposition.org/
Talvez depois deste ALFAn em Fortaleza se
As observações seguintes sobre custo e como chegar não são específicas de
Rio Branco. São de vários lugares. Mas, Rio Branco continua fora de mão e a
maioria dos brasileiros e a maioria dos universitários brasileiros não mora
perto de lá.
Por favor, tenham comiseração com quem não pode pagar passa
Eu não vou correr esse risco no Acre pq simplesmente não posso pagar a
passagem para lá ir. E depois hospitais funcionando direito não há, como
os jornais mostram. E se houver não dá para arriscar. Gente, ponham na
cabeça que as pessoas não têm dinheiro em quantidade infinita enumerável
para gasta
Olá a todos. Tenho acompanhado as discussões sobre a escolha do local para
o EBL. Fiquei estarrecido com as opiniões de alguns lógicos BRASILEIROS
aqui nesta lista. Pessoas falando mal de cidades brasileiras etc..
Entretanto, o meu ponto não é esse, o meu ponto é: parece que os
brasileiros ainda nã
Não é mudando o sentido do que as pessoas dizem que você pode contribuir
para a discussão. Lamentável, meu caro, é não ter dinheiro para viajar e
hospedar-se em qualquer canto do país. Se você acha que as pessoas por
serem pobres e não poderem bancar os custos das coisas que os outros
organizam são
Meu caro, não estou mudando o sentido do que as pessoas falaram. Vou te dar
um pequeno exemplo: você está reclamando do preço das passagens, do preço
dos hotéis, falando que em determinadas cidades não tem hospitais,
farmácias, ou se tem não funcionam, que estão querendo fazer o EBL no meio
da "flo
Tá, então vamos supor que o próximo EBL vai ser em algum
lugar como Boa Vista, Letícia, ou São Gabriel da Cachoeira.
As passagens pra lá são caras. Quais são as opções de
hospedagem? E de lugares pra comer? E de outras coisas pra fazer?
Interessados em programas exóticos vão poder tomar Daime num
Primeiramente, você não tem o direito de desqualificar os outros. Segundo,
alienado é quem acha que o preço de hotéis e passagens para Manaus, sendo
muito maiores que os das cidades médias do sudeste e mesmo da Europa e da
América do Norte, estão dentro das possibilidades de renda da maioria dos
b
Pois é o que estou falando: uma pessoa sair de um lugar em que o custo de
vida é mais alto para passar uns dias onde o custo de vida é mais barato é
muito mais lógico do que fazer o contrário.
Em 24 de maio de 2013 00:46, Eduardo Ochs escreveu:
> Tá, então vamos supor que o próximo EBL vai ser e
Não estou desqualificando ninguém! As próprias pessoas é que desqualificam
a si mesma (como parece ser o seu caso). Você leu a minha primeira
postagem? Parece que não! Ou você deve ter algum problema com interpretação
de textos. O que eu frisei foi justamente que o EBL deveria ser um
instrumento pa
Concordo completamente ... o meu exemplo de Letícia na Amazônia Colombiana
que falei na mensagem anterior é um exemplo do que eu estou criticando ...
é muito caro lá por causa que a gente só pode ir de avião de Bogotá até lá,
e aqui na Colômbia as passagens de avião são mais caras do que as passage
Aí, você diz que é meu caso. Está me desqualificando sim.
Ora bolas, as pessoas que saem de Rio Branco no Acre se passarem uns dias
em Presidente Prudente ou São José dos Campos gastam menos com hospedagem
do que quem sai de uma dessas duas cidades e passa uns dias em Rio Branco
no Acre. É óbvio q
Você realmente deve ser muito estúpido!
Quem é que está falando em deslocamento de pessoas? Quem é que está falando
em haver vantagens para determinadas pessoas fazerem determinados
percursos? Não vou ficar me repetindo aqui, pois parece que você é estúpido
demais para compreender um ponto ELEMENT
Não, eu não sou estúpido e não admito que você fale comigo assim. Ou você
pede desculpas ou se retira da lista, se não tem condições de falar
educadamente com os demais.
Em 24 de maio de 2013 01:35, Marcio Cunha escreveu:
> Você realmente deve ser muito estúpido!
>
> Quem é que está falando em de
E ademais, as Universidades do Norte e do Nordeste precisam primeiramente
de mais dinheiro para seus gastos correntes. O custo de fazer um evento
desses no interior do Amapá, por exemplo, seria melhor empregar o dinheiro
em aumento abono ou aumento de salário dos professores nas instituições
federa
Se você não admite que os outros te chamem de estúpido, então não aja como
um! Você vai pedir desculpas pela maneira jocosa que se referiu a algumas
cidades? Outras pessoas aqui vão pedir desculpas por também terem se
referido de maneira jocosa a algumas cidades? Aposto que não! E sabe por
quê? Por
49 matches
Mail list logo
