Ernst Zermelo


Book Description

This biography attempts to shed light on all facets of Zermelo's life and achievements. Personal and scientific aspects are kept separate as far as coherence allows, in order to enable the reader to follow the one or the other of these threads. The presentation of his work explores motivations, aims, acceptance, and influence. Selected proofs and information gleaned from unpublished notes and letters add to the analysis.













Theoretical Kinematics


Book Description

Classic, comprehensive treatment covers Euclidean displacements; instantaneous kinematics; two-position, three-position, four-and-more position theory; special motions; multiparameter motions; kinematics in other geometries; and special mathematical methods.







PISA The PISA 2003 Assessment Framework Mathematics, Reading, Science and Problem Solving Knowledge and Skills


Book Description

The PISA 2003 Assessment Framework presents the conceptual underpinning of the PISA 2003 assessments. Within each assessment area, the volume defines the content that students need to acquire, the processes that need to be performed and the contexts in which knowledge and skills are applied.




Mathematical Logic


Book Description

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.