You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Many philosophers are aware of the paradoxes of set theory (e.g. Russell's paradox). For many people, these were solved by the iterative conception of set which holds that sets are formed in stages by collecting sets available at previous stages. This Element will examine possibilities for articulating this solution. In particular, the author argues that there are different kinds of iterative conception, and it's open which of them (if any) is the best. Along the way, the author hopes to make some of the underlying mathematical and philosophical ideas behind tricky bits of the philosophy of set theory clear for philosophers more widely and make their relationships to some other questions in philosophy perspicuous.
This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. Each chapter concludes with a list of exercises.
Auch in Zeiten von Krisen, Leid und Trauer sind Menschen sexuelle Wesen. Dieses Leidfaden-Heft bringt die Bedürfnisse nach körperlicher und seelischer Nähe ins Wort. Es thematisiert die Suche nach Möglichkeiten und die Begrenztheit, dem Ausdruck des Eigenen und Formen der Zuwendung Raum zu geben, wenn Krankheit, Leid, Trauer und Krisen das Leben aus der Bahn bringen. Welchen Stellenwert hat Sexualität in der Krise? Wie geht ein Mensch damit um, wenn sein Körper nicht mehr wie bisher attraktiv erscheint? Wie können Betroffene außerhalb des schützenden Rahmens des Privaten auf Sexualität angesprochen werden? Wie stehen Sexualität und Spiritualität zueinander? Welche Formen der Begleitung sind angemessen und wo dürfen und sollen auch Grenzen gesetzt werden? Diese und andere Fragen werden mit unterschiedlichen Zugängen ausgeleuchtet.
Die Herausgeber Josef Buchner, Christian F. Freisleben-Teutscher, Judith Hüther, Iris Neiske, Karsten Morisse, Ricarda Reimer greifen in diesem Tagungsband vielfältige Impulse der Konferenz, die unter dem Motto Agile Didaktik für nachhaltige Entwicklung" stand, auf und präsentieren spannende und zukunftsweisende Beiträge zum Thema.
This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent results in set theory without the axiom of choice. The third part explains the sophisticated technique of forcing in great detail, now including a separate chapter on Suslin’s problem. The technique is used to show that certain statements are neither provable nor disprovable from the axioms of se...
Für das Hansekolloquium zur Hochschuldidaktik der Mathematik gab es 2021 in Bochum gleich zwei Schwerpunkte, die aber durchaus miteinander verbunden sind: „Kompetenzorientiertes digitales Prüfen“ sowie „Herausforderungen und Unterstützung von Studienanfängerinnen vor und nach Corona“. Auch wenn in der Formulierung „während Corona“ nicht vorkommt, gab es einige Beiträge, die sich explizit dieser Zeit gewidmet haben, insbesondere hat die Durchführung digitaler Prüfungen während der Corona-Pandemie viele Hochschulen vor große Herausforderungen gestellt. Mit dem Blick nach vorn sind gerade die bewährten Konzepte, die auch die Kompetenzorientierung mitberücksichtigen, von ...