Proceedings of the NATO Advanced Study Institute, Bad Windesheim, West Germany, July 21-August 1, 1980

A benchmark study of projective geometry and the birational theory of surfaces, first published between 1922 and 1925.

This book is a compilation of the papers presented at the conference in Winnipeg on the subject of finite geometry in 1984. It covers different fields in finite geometry: classical finite geometry, the geometry of finite planes, geometric structures and the theory of translation planes.

This book is a compilation of the papers presented at the conference in Winnipeg on the subject of finite geometry in 1984. It covers different fields in finite geometry: classical finite geometry, the geometry of finite planes, geometric structures and the theory of translation planes.

Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his proposals for a theory of the real numbers. This collection of essays addresses three main developments in recent work on Frege's philosophy of mathematics: the emerging interest in the intellectual background to his logicism; the rediscovery of Frege's theorem; and the reevaluation of the mathematical content of The Basic Laws of Arithmetic. Each essay attempts a sympathetic, if not uncritical, reconstruction, evaluation, or extension of a facet of Frege's theory of arithmetic. Together they form an accessible and authoritative introduction to aspects of Frege's thought that have, until now, been largely missed by the philosophical community.

Recent developments in all aspects of combinatorial and incidence geometry are covered in this volume, including their links with the foundations of geometry, graph theory and algebraic structures, and the applications to coding theory and computer science.Topics covered include Galois geometries, blocking sets, affine and projective planes, incidence structures and their automorphism groups. Matroids, graph theory and designs are also treated, along with weak algebraic structures such as near-rings, near-fields, quasi-groups, loops, hypergroups etc., and permutation sets and groups.The vitality of combinatorics today lies in its important interactions with computer science. The problems which arise are of a varied nature and suitable techniques to deal with them have to be devised for each situation; one of the special features of combinatorics is the often sporadic nature of solutions, stemming from its links with number theory. The branches of combinatorics are many and various, and all of them are represented in the 56 papers in this volume.

This book provides a collection of chapters on the development of scientific philosophy and symbolic logic in the early twentieth century. The turn of the last century was a key transitional period for the development of symbolic logic and scientific philosophy. The Peano school, the editorial board of the Revue de Métaphysique et de Morale, and the members of the Vienna Circle are generally mentioned as champions of this transformation of the role of logic in mathematics and in the sciences. The scholarship contained provides a rich historical and philosophical understanding of these groups and research areas. Specifically, the contributions focus on a detailed investigation of the relation between structuralism and modern mathematics. In addition, this book provides a closer understanding of the relation between symbolic logic and previous traditions such as syllogistics. This volume also informs the reader on the relation between logic, the history and didactics in the Peano School. This edition appeals to students and researchers working in the history of philosophy and of logic, philosophy of science, as well as to researchers on the Vienna Circle and the Peano School.