Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type forallexistsforall, while the axiom system based on congruence and order can beformulated using only forallexists-axioms.

ArgumentUp until the French Revolution, European mathematics was an “aristocratic” activity, the intellectual pastime of a small circle of men who were convinced they were collaborating on a universal undertaking free of all space-time constraints, as they believed they were ideally in dialogue with the Greek founders and with mathematicians of all languages and eras. The nineteenth century saw its transformation into a “democratic” but also “patriotic” activity: the dominant tendency, as shown by recent research to analyze this transformation, seems (...) to be the national one, albeit accompanied by numerous analogies from the point of view of the processes of national evolution, possibly staggered in time. Nevertheless, the very homogeneity of the individual national processes leads us to view mathematics in the context of the national-universal tension that the spread of liberal democracy was subjected to over the past two centuries. In order to analyze national-universal tension in mathematics, viewed as an intellectual undertaking and a profession of the new bourgeois society, it is necessary to investigate whether the network of international communication survived the political, social, and cultural upheavals of the French Revolution and the European wars waged in the early nineteenth century, whether national passions have transformed this network, and if so, in what way. Luigi Cremona's international correspondence indicates that relationships among individuals have been restructured by the force of national membership, but that the universal nature of mathematics has actually been boosted by a vision shared by mathematicians from all countries concerning the role of their discipline in democratic and liberal society as the basis of scientific culture and technological innovation, as well as a basic component of public education. (shrink)