https://time.com/6987747/noam-chomsky-stroke-brazil/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
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
https://www.quantamagazine.org/game-theory-can-make-ai-more-correct-and-efficient-20240509/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para
“ Perhaps inspired by his own work, Talagrand says he sees his career as a
random process. “It’s absolutely frightening if I look at my life and the
important things which happened, they are determined by minor random
influences, and there is no planning whatsoever,” he says.”
https://www.quantamagazine.org/never-repeating-tiles-can-safeguard-quantum-information-20240223/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para
“Beyond factorization
Prof. Sebastiani emphasized the potential to extend the use of these devices
beyond prime factorization, envisioning applications in encoding and checking
the satisfiability of various circuits.
"We believe that quantum annealers can be used to encode and check the
https://www.technologyreview.com/2023/12/14/1085318/google-deepmind-large-language-model-solve-unsolvable-math-problem-cap-set/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo
The Astonishing Behavior of Recursive SequencesBy ALEX STONENovember 16, 2023Some strange mathematical sequences are always whole numbers — until they’re not. The puzzling patterns have revealed ties to graph theory and prime numbers, awing
“Transcendental numbers include famous examples like e and π, but it took
mathematicians centuries to understand them.”
https://www.quantamagazine.org/recounting-the-history-of-maths-transcendental-numbers-20230627/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área
“The 2023-level AI can already generate suggestive hints and promising leads to
a working mathematician and participate actively in the decision-making
process. When integrated with tools such as formal proof verifiers, internet
search, and symbolic math packages, I expect, say, 2026-level AI,
https://www.quantamagazine.org/mathematicians-complete-quest-to-build-spherical-cubes-20230210/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para
https://www.quantamagazine.org/nasty-geometry-breaks-decades-old-tiling-conjecture-20221215/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para
https://www.nature.com/articles/d41586-022-03689-2
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
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
https://www.quantamagazine.org/teenager-solves-stubborn-riddle-about-prime-number-look-alikes-20221013/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do
. Universidad de Texas. San Antoni, USA.
Franco Montagna. Universidad de Siena. Siena, Italia.
Theodore Slaman. University of California at Berkeley, USA.
Charles Steinhorn. Vassar College, USA.
Ruy de Queiroz. Universidad Federal de Pernambuco, Brasil.
Plenary speakers:
Boris Zilber (University
Início da mensagem encaminhada
De: slalm2...@dc.uba.ar
Data: 11 de abril de 2014 16:01:31 BRT
Assunto: CFP XVI SLALM - SATELLITE COLLOQUIUM OF PHILOSOPHY OF LOGIC
XVI SLALM - SATELLITE COLLOQUIUM OF PHILOSOPHY OF LOGIC
A TRIBUTE FOR THE 50th ANNIVERSARY OF THOMAS MORO SIMPSON’S FORMAS
O Grupo de Lógica e Fundamentos da
Matemáticahttp://dgp.cnpq.br/diretorioc/fontes/detalhegrupo.jsp?grupo=0021101GPX6Z9G
(Centro
de Informática / Departamento de Matemática da UFPE) convida para a
palestra do Prof Joachim Kock http://mat.uab.es/~kock/ (Departament de
Matemàtiques, Universitat
Terwijn (Radboud University Nijmegen)
STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile
Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os
alunos do CIn-UFPE em 2013.2:
*Traduções:*
*Lógica*
https://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
Lógica categórica https://pt.wikipedia.org/wiki/Realizabilidade
Realizabilidade
)
Michael Kaminski (Haifa)
Marco Kuhlmann (Linkoping)
Larry Moss (Bloomington)
Ian Pratt-Hartmann (chair) (Manchester)
Ruy de Queiroz (Recife)
Giovanni Sambin (Padua)
Rob van der Sandt (Nijmegen)
Rineke Verbrugge (Groningen)
___
Logica-l
Infelizmente, a vinda de Eric Finster ficou inviabilizada.
O curso está, portanto, CANCELADO.
Pedimos desculpas pelos inconvenientes causados.
Ruy
2014-02-16 7:57 GMT-03:00 Ruy de Queiroz r...@cin.ufpe.br:
Aula de 2a.feira está CANCELADA!
O palestrante não conseguiu embarcar e perdeu o
Aula de 2a.feira está CANCELADA!
O palestrante não conseguiu embarcar e perdeu o vôo.
Até segunda ordem, o restante do calendário permanece como foi divulgado.
Ruy
2014-02-11 20:57 GMT-03:00 Ruy de Queiroz r...@cin.ufpe.br:
Aqui vão os dados do curso de Eric Finster:
Período: 17 a 21/02
Informática (CIn) da UFPE
21/02: 14h-18h, Sala A-014, Centro de Informática (CIn) da UFPE
A quem interessar: o livro Homotopy Type Theory pode ser obtido a partir
do seguinte endereço: http://homotopytypetheory.org/book/
Ruy
2014-01-07 19:32 GMT-03:00 Ruy de Queiroz r...@cin.ufpe.br:
É com
É com satisfação que confirmamos a oferta de um mini-curso em Teoria da
Homotopia e Teoria dos Tipos, por Eric Finster (Paris), como parte do
Programa de Verão 2014 da Matemática (UFPE).
Período: 17 a 21 de Fevereiro de 2014
Horário: 14-18hs
Sala: (a confirmar)
Para maiores informações sobre
, Grigori Mints, Luke
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile) (Local chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
Juan Reutter (Pontificia Universidad Católica de Chile)
Cristián Riveros
COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile) (Local chair)
Anjolina G. de Oliveira (U Fed Pernambuco
Philosophical Logic (@logicians)
05/10/13 11:47
Voevodsky’s #Univalence
Axiom in #Homotopy
Type Theory S. Awodey, et al. #math #logic #philosophy ams.org/notices/201309…
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os
alunos do CIn-UFPE em 2013.1:
*
*
*Lógica*
https://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
http://pt.wikipedia.org/wiki/Isomorfismo
https://pt.wikipedia.org/wiki/Paradoxos_da_Implica%C3%A7%C3%A3o_Material
Steve Awodey: *Structuralism, Invariance, and
Univalencehttp://www.andrew.cmu.edu/user/awodey/preprints/siu.pdf
* (Workshop CSPM, April 26, 2013 in Toulouse)
Recent advances in foundations have led to some developments that are
significant for the philosophy of mathematics, particularly
-- Forwarded message --
From: Peter Schuster psch...@maths.leeds.ac.uk
Date: 2013/7/17
Subject: [FOM] BLC 2013 + Dummett Day + Postgraduate Day (Leeds, September
2013)
To: f...@cs.nyu.edu
The British Logic Colloquium will take place at the University of Leeds,
September 5-7
Caro Rodrigo,
Vale a pena prestar atenção ao que diz o artigo
Turing Oracle Machines, Online Computing, and Three Displacements in
Computability
Theoryhttp://www.people.cs.uchicago.edu/~soare/History/turing.pdf
Robert I. Soare
sobretudo no que concerne a algumas referências à opinião de Gödel
-- Forwarded message --
From: Bertram Fronhöfer bertram.fronhoe...@tu-dresden.de
Date: 2013/4/28
Subject: European Master's Program in Computational Logic
To:
Dear all,
Please spread this information as wide as possible among friends and
colleagues, at your old universities
Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os
alunos do CIn-UFPE em 2012.2:
*
*
*Lógica*
http://pt.wikipedia.org/wiki/Verdade_l%C3%B3gica
http://pt.wikipedia.org/wiki/Begriffsschrift
http://pt.wikipedia.org/wiki/Modelo_de_aritm%C3%A9tica_n%C3%A3o-padr%C3%A3o
Dória,
2013/4/27 Francisco Antonio Doria famado...@gmail.com
Houve algum problema, Ruy, com os editores da Wiki?
Alguns problemas menores, que já foram contornados.
Ruy
On Sat, Apr 27, 2013 at 5:55 PM, Ruy de Queiroz r...@cin.ufpe.br wrote:
Seguem os endereços de verbetes da Wikipédia
Pratt-Hartmann (Manchester)
Ruy de Queiroz (Recife)
Giovanni Sambin (Padua)
Rob van der Sandt (Nijmegen)
Rineke Verbrugge (Groningen)
Heinrich Wansing (Bochum)
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman
Halpern, Wilfrid
Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira
Ono, Ruy de Queiroz.
*Organising Committee*
- Ulrich Kohlenbach http://www.loria.fr/~areces/ (Tech U Darmstadt)
(Local chair)
- Anjolina G. de Oliveira http://www.cin.ufpe.br/~ago (U Fed
-- Forwarded message --
From: Bertram Fronhöfer bertram.fronhoe...@tu-dresden.de
Date: 2013/2/24
Subject: ICCL Summer School 2013
To: r...@informatik.uni-leipzig.de, r...@tifr.res.in, rajeev.g...@anu.edu.au,
ranto...@ifi.uio.no, razvan.diacone...@imar.ro, rcign...@2vias.com.ar,
-- Forwarded message --
From: Bertram Fronhöfer bertram.fronhoe...@tu-dresden.de
Date: 2013/1/17
Subject: European Master's Program in Computational Logic
To: r...@informatik.uni-leipzig.de, r...@tifr.res.in, rajeev.g...@anu.edu.au,
ranto...@ifi.uio.no, razvan.diacone...@imar.ro,
Science (cs.LO); Algebraic Topology (math.AT)Cite
as:arXiv:1210.5658http://arxiv.org/abs/1210.5658
[math.LO] (or arXiv:1210.5658v1 http://arxiv.org/abs/1210.5658v1
[math.LO] for this version)
2012/12/3 Ruy de Queiroz r...@cin.ufpe.br
Caros,
Estamos trazendo Michael Warren http://www.math.ias.edu
O livro já pode ser adquirido no portal da Amazon.com:
http://www.amazon.com/Vers%C3%A3o-Curta-Teoria-Modelos-Portuguese/dp/1848900953/ref=sr_1_7?s=booksie=UTF8qid=1356885496sr=1-7keywords=wilfrid+hodges
Feliz 2013!
Ruy
Em 23 de dezembro de 2012 15:11, Ruy de Queiroz r...@cin.ufpe.br escreveu
Zamansky http://www.cs.tau.ac.il/~annaz/(TU Wien)
*Steering Committee*
- Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira
Ono, Ruy de Queiroz.
*Organising Committee*
- Ulrich Kohlenbach
A College Publications assinala a publicação da tradução do livro A
Shorter Model Theory (Cambridge Univ Press, 1997), em 17/Dezembro/2012,
como Vol. 3 da Série Cadernos de Lógica e Computação (dirigida por
Amílcar Sernadas Cristina Sernadas): (
http://www.collegepublications.co.uk/clc/?3)
-- Forwarded message --
From: Jeremy Avigad avi...@cmu.edu
Date: Thu, Oct 18, 2012 at 4:30 PM
Subject: New PhD program in Pure and Applied Logic
To:
Dear colleagues,
The Department of Philosophy at Carnegie Mellon University is now offering
a *Ph.D. in Pure and Applied Logic*
Parabéns a Hermann e aos organizadores dessa bela homenagem!
Ruy
Em 24 de setembro de 2012 16:06, Edward Hermann
edward.haeus...@gmail.comescreveu:
Obrigado Décio ! Valeu A coisa já está braba tem um
tempinho…...
On 5 jan 2009, at 3:02 PM, Décio Krause
://www.mimuw.edu.pl/~szymtor/ (Warsaw Univ)
- Anna Zamansky http://www.cs.tau.ac.il/~annaz/(TU Wien)
*Steering Committee*
- Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira
Ono, Ruy de Queiroz
Fiadeiro, University of London
Marcelo Finger, Universidade de São Paulo
Denis Hirschfeldt, University of Chicago
Valeria de Paiva, University of Birmingham
Luís Moniz Pereira, Universidade Nova de Lisboa
Ruy de Queiroz, Universidade Federal de Pernambuco
Paulo Oliva, University of London
Parabéns, Walter!
Em 1 de agosto de 2012 13:50, Joao Marcos botoc...@gmail.com escreveu:
-- Forwarded message --
From: Juliana Bueno-Soler juliana.bu...@cle.unicamp.br
Date: 2012/8/1
Subject: Walter Carnielli: indicação para medalha de ouro
Caros colegas e amigos:
escrevo
Caro Chico,
Tuas considerações são pertinentes, mas permita-me discordar das
conclusões: o sentido da regra em questão é o de enfraquecer um argumento,
como bem disse Valéria. Daí, é natural que a tradução em português utilize
a palavra enfraquecimento. Aliás, tenho a impressão de que o termo já
Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os
alunos do CIn-UFPE em 2012.1:
*
*
*Lógica*
http://pt.wikipedia.org/wiki/Endomorfismo
http://pt.wikipedia.org/wiki/Axiomas_de_Peano
http://pt.wikipedia.org/wiki/Programa_de_Hilbert
)
Dale Miller (Palaiseau)
Larry Moss (Bloomington)
Ian Pratt-Hartmann (Manchester)
Ruy de Queiroz (Recife)
Giovanni Sambin (Padua)
Rob van der Sandt (Nijmegen)
Rineke Verbrugge (Groningen)
Heinrich Wansing (Bochum)
___
Logica-l mailing list
Logica
(Warwick); Rod Downey (Wellington, NZ); Ruy
de Queiroz (Recife, Brazil); Antonio Montalban (Chicago); Rosalie Iemhoff
(Ultrecht); Bakhadyr Khoussainov (Auckland, NZ); Roman Kuznets (Bern);
Lawrence Moss (Bloomington, IN); Robert Lubarsky (Florida Atlantic
University); Victor Marek (Lexington, KY
http://www.kurims.kyoto-u.ac.jp/~terui/ (Kyoto)
**
*Steering Committee*
- Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy
de Queiroz.
**
*Organising Committee*
- Carlos Areces http
:
Deadline for Submissions: May 1, 2012.
Notification of Decision: July 8, 2012.
Committee :
Chris Barker (New York)
Wojciech Buszkowski (chair) (Poznan)
Dale Miller (Palaiseau)
Larry Moss (Bloomington)
Ian Pratt-Hartmann (Manchester)
Ruy de Queiroz (Recife)
Giovanni Sambin (Padua)
Rob van
Aos interessados: uma parte do material do curso de Lumsdaine foi por ele
disponibilizado em:
http://www.mathstat.dal.ca/~p.l.lumsdaine/misc_files/2012-02-recife/
Ruy
Em 5 de janeiro de 2012 08:21, Ruy de Queiroz r...@cin.ufpe.br escreveu:
A quem interessar possa
As datas do curso de Peter
Lumsdaine)
13 a 17/02, 13-15hs, Sala D-005 (CIn-UFPE)
Ruy
Em 5 de janeiro de 2012 08:21, Ruy de Queiroz r...@cin.ufpe.br escreveu:
A quem interessar possa
As datas do curso de Peter Lumsdaine estão confirmadas para:
13 a 17 de Fevereiro
23 e 24 de Fevereiro
Estarei dando umas aulas de
ainda está para ser confirmada.
Ruy
-- Mensagem encaminhada --
De: Ruy de Queiroz r...@cin.ufpe.br
Data: 24 de novembro de 2011 22:58
Assunto: Curso de Verão (Depto de Matemática): Homotopy Type Theory, por
Peter Lumsdaine
Para: staff st...@cin.ufpe.br, posgrad posg...@cin.ufpe.br
Caro João Marcos,
Louvo teu esforço (hercúleo, por sinal) em tentar estabelecer uma
terminologia para uma área que já tem uma (bem) estabelecida. Concordo com
Valéria: há um limite para a discussão sobre terminologia. Francamente, os
argumentos em favor de demonstração não me convencem.
Como já
://www.pps.jussieu.fr/
Ruy
Em 13 de novembro de 2011 07:50, Ruy de Queiroz r...@cin.ufpe.br escreveu:
Caro João Marcos,
Louvo teu esforço (hercúleo, por sinal) em tentar estabelecer uma
terminologia para uma área que já tem uma (bem) estabelecida. Concordo com
Valéria: há um limite para a discussão sobre
Caros(as),
Estão todos convidados a comparecer ao lançamento do nosso livro (em
parceria com Anjolina e Dov Gabbay):
The Functional Interpretation of Logical
Deductionhttp://www.worldscibooks.com/compsci/8215.html(World
Scientific, Oct 2011):
Onde: *SBS Livraria Internacional* (Av. Conselheiro
Mints, Hiroakira Ono, Ruy
de Queiroz.
*Organising Committee*
Carlos Areces http://www.loria.fr/~areces/ (U Nacional Cordoba)
(co-chair) (Local co-chair)
Santiago Figueira http://www.glyc.dc.uba.ar/santiago/ (U Buenos Aires)
(Local co-chair)
Anjolina G. de Oliveira http
more reading (both light and heavy) on Homotopy Type Theory can be
found at http://homotopytypetheory.org.
Em 27 de setembro de 2011 20:23, Ruy de Queiroz r...@cin.ufpe.br escreveu:
Reviravolta! Voevodsky cancelou a sua vinda.
Porém já encontramos um substituto: Steve Awodey, parceiro de
Parabéns, Renata e Márcio!
Em 8 de agosto de 2011 11:35, Renata Wassermann ren...@ime.usp.brescreveu:
Obrigada a todos pelos parabéns.
Estou muito orgulhosa pelo Márcio e por termos uma tese de lógica
reconhecida
como trabalho de computação!
Importante!
Abraço,
Ruy
Abraços,
Renata.
A quem interessar possa, aqui vai uma relação de verbetes da Wikipédia em
português produzidos e/ou ampliados por nossos alunos aqui no Centro de
Informática da UFPE. Trata-se, em sua grande maioria, de trabalho de
tradução do verbete em inglês já existente para a língua portuguesa.
Ruy
---
João Marcos,
Em 14 de junho de 2011 11:58, Joao Marcos botoc...@gmail.com escreveu:
Talvez alguém que tenha comparecido ao WoLLIC deste ano possa nos
explicar um pouco mais sobre os tais Univalent Foundations of
Mathematics?
Caros Walter, Steffen, e demais colegas,
A incorporação da auto-referência numa teoria da verdade pode ser tratada de
forma bem interessante quando se utiliza os chamados conjuntos
não-bem-fundados, da teoria de Honsell Forti, e, posteriormente, Aczel.
Um aluno meu de doutorado chamado Sérgio
Parabéns João Marcos!
Abraço,
Ruy
Em 25 de março de 2011 17:09, Ana Teresa a...@lia.ufc.br escreveu:
Oi João,
faço minhas as palavras da Valéria e do Mário.
Obrigada pelo seu empenho na criação e administração da lista.
Todos aprendemos muito nesta convivência virtual.
Bjs
Ana
On
/~janos/ (Haifa)
Michael Moortgat http://www.let.uu.nl/~ctl/docenten/moortgat.html
(Utrecht)
Vincent van Oostrom http://www.phil.uu.nl/~oostrom/ (Utrecht)
Prakash Panangaden http://www.cs.mcgill.ca/~prakash/ (Montréal)
Rohit Parikh http://www.sci.brooklyn.cuny.edu/cis/parikh/ (New York)
Ruy de Queiroz
)
Michael Moortgat http://www.let.uu.nl/~ctl/docenten/moortgat.html
(Utrecht)
Vincent van Oostrom http://www.phil.uu.nl/~oostrom/ (Utrecht)
Prakash Panangaden http://www.cs.mcgill.ca/~prakash/ (Montréal)
Rohit Parikh http://www.sci.brooklyn.cuny.edu/cis/parikh/ (New York)
Ruy de Queiroz http
Foi com satisfação que constatamos que o WoLLIC http://wollic.org/
(registrado
no DBLP como: http://www.informatik.uni-trier.de/~ley/db/conf/wollic/),
criado em 1994 aqui no então Departamento de Informática da UFPE, e com o
inestimável apoio de diversos colegas do cenário de Lógica no Brasil, é
http://www.phil.uu.nl/~oostrom/ (Utrecht)
Prakash Panangaden http://www.cs.mcgill.ca/~prakash/ (Montréal)
Rohit Parikh http://www.sci.brooklyn.cuny.edu/cis/parikh/ (New York)
Ruy de Queiroz http://www.cin.ufpe.br/~ruy (Recife)
Alexander Shen http://www.poncelet.ru/pers/shen.htm
)
Prakash Panangaden http://www.cs.mcgill.ca/~prakash/ (Montréal)
Rohit Parikh http://www.sci.brooklyn.cuny.edu/cis/parikh/ (New York)
Ruy de Queiroz http://www.cin.ufpe.br/~ruy (Recife)
Alexander Shen http://www.poncelet.ru/pers/shen.htm (Marseilles and
Moscow)
Bas Spitters http
Pode interessar aos colegas da lista de Lógica:
-
Saiu publicado na última 3a.feira (15/06, 15:11hs) no portal *Investimentos
e Notícias* (São Paulo), assim como no *Blog de Jamildo* (*Jornal do
Commercio* Online, Recife): Tecnologia da Informação, Crescimento
Exponencial e a
Caros Eliane, Eduardo, e demais colegas,
Uma teoria da prova para a igualdade pode ser formulada de forma mais
natural quando termos e símbolos de função são cidadãos de primeira
classe, o que não ocorre com a Dedução Natural de Prawitz, tampouco com o
Cálculo de Seqüentes de Gentzen. A
Caro Walter,
Em 4 de junho de 2010 13:11, Walter Carnielli
walter.carnie...@gmail.comescreveu:
A surpresa é que para classes 'altas'' o não- determinismo não faz mais
diferença: de fato, por um famoso teorema de W. Savitch de 1970,
PSpace = NPSpace e EXPSpace = NEXPSpace.
Tenho a
. Como diz Sipser, isso mostra que nossa intuição sobre
computação ainda tem muitas lacunas.
Um abraço,
Ruy
Abraços, Claus
2010/6/4 Ruy de Queiroz r...@cin.ufpe.br:
Caro Walter,
Em 4 de junho de 2010 13:11, Walter Carnielli
walter.carnie...@gmail.com
escreveu:
A surpresa é que
[image: Go to ScienceDirect® Home] http://www.sciencedirect.com/science
*Recommended Articles* *Sent By:*Ruy de Queiroz
I thought you would find this useful on ScienceDirect.
1.*Inside Front Cover: Editorial
Boardhttp://www.sciencedirect.com/science?_ob=GatewayURL_method
://www.cic.unb.br:9080/sitecic/departamento/docentes/cn
(U
Brasília, Brazil)
Anjolina G. de Oliveira http://www.cin.ufpe.br/~ago (U Fed Pernambuco,
Brazil)
Ruy de Queiroz http://www.cin.ufpe.br/~ruy (U Fed Pernambuco, Brazil)
(co-chair)
*Steering Committee*
*Samson Abramsky, Johan van
)
***Steering Committee*
*Samson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel
Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz.*
***Programme Committee*
*Verónica Becher* http://www-2.dc.uba.ar/profesores/becher/ (Buenos
Aires)
*Raffaella Bernardi* http
Amir Pnueli, Pioneer of Temporal Logic, Dies at 68
By KENNETH
CHANGhttp://topics.nytimes.com/top/reference/timestopics/people/c/kenneth_chang/index.html?inline=nyt-per
Published: November 14, 2009
Amir Pnueli, who turned a philosopher’s explorations of time, logic and free
will into a critical
Recommended Articles
Sent By:
Ruy de Queiroz
I thought you would find this useful on ScienceDirect.
1.Inside Front Cover: Editorial BoardInformation and Computation, Volume 207, Issue 10, October 2009, Page IFC
2.Editorial Board (continued)Information and Computation, Volume 207, Issue 10
)
Ruy de Queiroz http://www.cin.ufpe.br/%7Eruy (U Fed Pernambuco,
Brazil) (co-chair)
*Further information*
Contact one of the Co-Chairs of the Organising Committee.
*Web page*
http://wollic.org/wollic2010/
___
Logica-l mailing list
Logica-l
/*
*Bernhard Heinemann: /Observational Effort and Formally Open Mappings/*
*Bauer Kerstin, Raffaella Gentilini and Klaus Schneider: /Property
Driven Three Valued Model Checking on Hybrid Automata/*
*Gleifer Alves, Anjolina Grisi de Oliveira and Ruy de Queiroz:
/Transformations via geometric
81 matches
Mail list logo