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 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
