logika szeminarium

Az ELTE BTK Logika tanszek szeminariuman apr. 15., csutortok du. 4-kor Paolo Mancosu (UC Berkeley -- Wissenschaftskolleg Berlin) tart eloadast HILBERT'S FINITISM: confrontations with philosophy, 1922-1930. cimmel. Helyszin: Pesti B. u. 1., A ep. felem. 23. Az eloadas kivonata: In the last ten years there has been renewed interest in the historical development of Hilbert's program. By making use of unpublished material preserved at the library of the Mathematisches Institut in Gottingen, Hallett, Peckhaus, and Sieg, among others, have been able to unearth a significant amount of new information that dramatically increases our understanding of the various phases of Hilbert's program. However, there is an important aspect of Hilbert's program that has been largely ignored in the literature, namely, the philosophical underpinnings and the philosophical reception of Hilbert's program in the 1920s. During this period Hilbert and Bernays' conception of finitism underwent significant shifts. Moreover, several philosophers working in a variety of traditions, ranging from neo-Kantianism to phenomenology, dealt quite critically with Hilbert's new foundations of mathematics. One can name, among others, O. Becker, E. Cassirer, D. Mahnke, A. Muller, and L. Nelson. Drawing on published and unpublished sources, I will give an overview of the exchange between Hilbert's school and the philosophers mentioned above, emphasizing in particular issues related to the nature of Hilbert's finitism. Bibliography P.Mancosu (ed.): From Brouwer to Hilbert. The debate on the foundations of mathematics in the 1920s. Oxford University Press, New York, 1998. ============================================================================== Andras Mate CSc, assoc. prof. -- Dept. of Symbolic Logic Lorand Eotvos University Budapest, Faculty of Arts and Humanities H-1364 Budapest, POB 107 Phone: (36 1) 266 9100/5328 -- TAD/Fax: (36 1) 266 41 95 e-mail:mate@isis.elte.hu Home: H-1119 Budapest, Nandorfehervar koz 11 / Phone: (36 1) 204 0489