Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A dynamic exploration of infinityIn Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the "Mindscape," where he explores infinity in all its forms: potential and actual, mathematical and physical, theological and mundane. Using cartoons, puzzles, and "ations to enliven his text, Rucker acquaints us with staggeringly advanced levels of infinity, delves into the depths beneath daily awareness, and explains Kurt Gödel's belief in the possibility of robot consciousness. In the realm of infinity, mathematics, science, and logic merge with the fantastic. By closely examining the paradoxes that arise, we gain profound insights into the human mind, its powers, and its limitations. This Princeton Science Library edition includes a new preface by the author.

Logic, Symbolic and mathematical. --- Set theory.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry. By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools. We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of university-level mathematics.

Categories (Mathematics) --- Computable functions. --- Logic, Symbolic and mathematical. --- Mathematical analysis.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book consists of short descriptions of 106 mathematical theorems, which belong to the great achievements of 21st century mathematics but require relatively little mathematical background to understand their formulation and appreciate their importance. The selected theorems of this volume, chosen from the famous Annals of Mathematics journal, cover a broad range of topics from across mathematics. Each theorem description is essentially self-contained, can be read independently of the others, and requires as little preliminary knowledge as possible. Although the sections often start with an informal discussion and toy examples, all the necessary definitions are included and each description culminates in the precise formulation of the corresponding theorem. Filling the gap between surveys written for mathematicians and popular mathematics, this book is intended for readers with a keen interest in contemporary mathematics.

Mathematics. --- Mathematics, general. --- Popular Science in Mathematics. --- Math --- Science --- Logic, Symbolic and mathematical. --- Induction (Mathematics)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"In much of his earlier work Roger D. Sell was shaping literary studies, historical perspectives, and pragmatics into a fluent interdisciplinarity. This enabled him to explore the fundamentally human relationships which develop between literary writers and those who respond to them. Literary writers, through their handling of deixis, evaluative and modal expressions, tellability, politeness norms, and genre expectations, activate the same interpersonal function of language as do other language users, and respondents' hermeneutic contextualizations of literary texts are, as a pragmatic procedure, no less standard. Not that context is completely determinative. In Sell's account, human beings are profoundly influenced by society, but can sometimes enter into co-adaptations with it. Like other people, literary writers and their respondents are "social individuals", who themselves benefit from respecting each other's relative autonomy. As well as explaining these theoretical positions, the papers selected here offered critical re-assessments of some major writers, including Chaucer and Dickens. They also suggested new ways of dealing with literary texts in literary and language education at all levels"--

Pragmatics. --- Pragmalinguistics --- General semantics --- Language and languages --- Logic, Symbolic and mathematical --- Semantics (Philosophy) --- Philosophy