Obrigado, João Marcos, pelo link! Só corrigindo: o link para a edição original da Dialectica (livremente disponível) é: http://www3.interscience.wiley.com/journal/119884067/issue
[]s Adolfo ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ========================================== On Fri, Nov 28, 2008 at 1:17 PM, Joao Marcos <[EMAIL PROTECTED]> wrote: > A edição original da Dialectica está livremente disponível em: > > http://www3.interscience.wiley.com/journal/119884067/issue?CRETRY=1&SRETRY=0 > > In addition to the new special issue celebrating the 50th anniversary > of Gödel's Dialectica interpretation, Wiley-Blackwell has made the > original Dialectica issue in which it appeared freely available. That > issue itself was a Festschrift in honour of Paul Bernays's 70th > birthday. (I'm sorry I'm late to herewith commemorate the 120th > birthday of Bernays, who was born October 17, 1888.) The issue also > includes the classics "Hilbert's programme" by Kreisel, "80 years of > foundational studies" by Wang, and "Observation language and > theoretical language" by Carnap, in addition to papers by Ackermann, > Beth, Curry, Heyting, Fraenkel, Gonseth, Goodstein, Hermes, Péter, A. > Robinson, Schütte, Schmidt, Skolem, and Specker. > http://www.ucalgary.ca/~rzach/logblog/2008/11/paul-bernays-at-120.html<http://www.ucalgary.ca/%7Erzach/logblog/2008/11/paul-bernays-at-120.html> > > jm > > > On Tue, Nov 25, 2008 at 7:51 PM, Valeria de Paiva > <[EMAIL PROTECTED]> wrote: > > eu sei que muitos da logica tb assinam FOM, mas pros que nao assinam, > > vale o lembrete. > > valeria > > > > > > > > ---------- Forwarded message ---------- > > From: Philipp Keller <[EMAIL PROTECTED]> (by way of Martin Davis > > <[EMAIL PROTECTED]>) > > To: [EMAIL PROTECTED] > > Date: Tue, 25 Nov 2008 12:59:40 -0800 > > Subject: [FOM] dialectica special issue on Gödel's dialect ica > interpretation > > To celebrate the 50th anniversary of Gödel's > > dialectica interpretation, dialectica has made > > freely available the whole issue (including > > papers by Ackerman, Beth, Carnap, Curry, > > Fraenkel, Gonseth, Goodstein, Hermes, Heyting, > > Kreisel, Peter, Robinson, Schmidt, Schütte, Skolem, Specker and Wang): > > http://www3.interscience.wiley.com/journal/119884067/issue > > > > It also published a special issue dedicated to > > Gödel's dialectica interpretation, edited by > > Thomas Strahm (University of Berne): > > > > Introduction > > Thomas Strahm > > > http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01143.x?ai=k1d&ui=fo8v&af=T > > > > > > Functional Interpretations of Constructive Set Theory in All Finite > > Types > > Justus Diller > > > http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01133.x?ai=k1d&ui=fo8v&af=T > > > > > > > > Lieber Herr Bernays!, Lieber Herr Godel! Godel on finitism, > > constructivity and Hilbert's program > > Solomon Feferman > > > http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01136.x?ai=k1d&ui=fo8v&af=T > > > > > > > > A Most Artistic Package of a Jumble of Ideas > > Fernando Ferreira > > > http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01134.x?ai=k1d&ui=fo8v&af=T > > > > > > > > Godel's Functional Interpretation and its Use in Current Mathematics > > Ulrich Kohlenbach > > > http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01141.x?ai=k1d&ui=fo8v&af=T > > > > > > > > An Analysis of Godel's dialectica Interpretation via Linear Logic > > Paulo Oliva > > > http://www.blackwell-synergy.com/doi/abs/10.1111/j.1746-8361.2008.01135.x?ai=k1d&ui=fo8v&af=T > > -- > My homepage: > http://sequiturquodlibet.googlepages.com/ > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
