E.W. Beth Memorial Colloquium: Logic and Foundations of Science Paris, Institut Henri Poincare, 19-21 May 1964

Peu aprt!s la mort d'E. W. Beth, j'ai pu organiser a Paris, a l'Institut Henri Poincare, un Colloque a sa memoire. Je suis heureux qu'aujourd'hui les Actes de ce Colloque soient publies en un volume qui materialise l'hom- mage que ses amis, collegues et eleves ont voulu lui rendre. Ce Colloque international qui groupait des specialistes de nationalites diverses appartenant a de nombreuses disciplines, a fait ressortir la ri- chesse et la portee de l'oeuvre d'E. W. Beth et Ie rayonnement de sa personnalite. Que Madame Beth veuille bien trouver ici l'hommage que no us adres- sons tous a la memoire de son mario C'est grace aux soins de la Maison d'edition D. Reidel que ce volume a pu etre realise sous une forme digne de celui que no us voulons honorer. Paris, mai 1967 J. -L. DES TOUCHES v TABLE OF CONTENTS Preface, by Jean-Louis Destouches v G. H. VON WRIGHT / Memorial Address 1 J. -L. DES TOUCHES / Allocution 2 A. HEYTING / Remarques sur la theorie intuitionniste des espaces lineaires 4 K. L. DE BOUVERE / Some Remarks about Synonymity and the Theorem of Beth 10 J. J. F. NIELAND / Beth’s Tableau-Method 19 MARCEL GUILLAUME / Quelques remarques sur les Tableaux de Beth 39 ROLAND FRAisSE / Une hypothese sur I'extension des relations finies et sa verification dans certaines classes particulieres ( deuxieme partie) 46 J. J. A.