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 -- Philipp Keller, [EMAIL PROTECTED] Department of Philosophy, University of Geneva 2 rue de Candolle, CH-1211 Geneva, Switzerland managing editor of dialectica coordinator of eidos, the Genevan Center for Metaphysics http://www.philosophie.ch/philipp/ http://www.philosophie.ch/eidos/ http://www.blackwellpublishing.com/dialectica/ _______________________________________________ FOM mailing list [EMAIL PROTECTED] http://www.cs.nyu.edu/mailman/listinfo/fom _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
