International Congress of Mathematicians Edinburgh 1958

• Publisher: John Wiley and Sons
• Year: 1958
• Tongue: English
• Weight: 72 KB
• Volume: 4
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19580041705

✦ Synopsis

In der Zeit vom 15. bis 21. August 1958 tagte in Edinburgh der internationale Mathematikerkongrelj. Auf diesem KongreB wurden folgende Vortrage aus dem Gebiet der mathematischen Logik und der Grundlagen der Mathematik gehalten : A. Vortrag v o n 6 0 M i n u t e n D a u e r : S. C. KLEENE, Mathematical logic:, constructive and non-constructive operations. B. VortrBge v o n 30 M i n u t e n D a u e r : E. W. BETH, Completeness results for formal systems. G. KREISEL, Ordinal logics and the characterisation of informal concepts of proof. A. A. MARKOV, Insolubility of the problem of homeomorphy.