Wyniki wyszukiwania:

Philosophy of mathematics is moving in a new direction: away from a foundationalism in terms of formal logic and traditional ontology, and towards a broader range of approaches that are united by a focus on mathematical practice. The scientific research network PhiMSAMP (Philosophy of Mathematics: Sociological Aspects and Mathematical Practice) consisted of researchers from a variety of backgrounds and fields, brought together by their common interest in the shift of philosophy of mathematics towards mathematical practice. Hosted by the Rheinische Friedrich- Wilhelms-Universitat Bonn and...

The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, UK, 9 January - 6 July 2012, was one of the central activities of the Alan Turing Year 2012, the world-wide celebration of the life and work of the exceptional scientist Alan Mathison Turing (1912-1954). It had almost 200 visiting fellows and programme participants, as well as several hundred additional workshop participants, and was organised by Arnold Beckmann (Swansea), S. Barry Cooper (Leeds), Benedikt Lowe (Amsterdam & Hamburg), Elvira...

In the year 2014, both Peter Koepke and Philip Welch are celebrating their 60th birthdays, and this festive occasion is celebrated with this Festschrift in their honour containing scientific contributions of their students, collaborators, colleagues and friends which cover the various different research ares of logic in which Peter and Philip are active.