| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996386469303316 |
|
|
Titolo |
An abstract of the gross produce of the following branches of their Ma[jes]ties revenue of Ireland for half a year ended at Midsom[me]r 1691 [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Revenue - Ireland |
Ireland History 17th century Early works to 1800 |
Great Britain History William and Mary, 1689-1702 Early works to 1800 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Caption title. |
In ms. |
Signed: Examd. James Bonnell Acommpt Gen[era]ll. |
Harleian mss. 7615 leaf 102. |
Reproduction of original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910786641503321 |
|
|
Autore |
Hatcher William S. |
|
|
Titolo |
The logical foundations of mathematics / / by William S. Hatcher |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford, England : , : Pergamon Press, , 1982 |
|
©1982 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[First edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (331 p.) |
|
|
|
|
|
|
Collana |
|
Foundations and Philosophy of Science and Technology Series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; The Logical Foundations of Mathematics; Copyright Page; Dedication; Preface; Table of Contents; Chapter 1. First-order Logic; 1.1. The sentential calculus; 1.2. Formalization; 1.3. The statement calculus as a formal system; 1.4. First-order theories; 1.5. Models of first-order theories; 1.6. Rules of logic; natural deduction; 1.7. First-order theories with equality; variable-binding term operators; 1.8. Completeness with vbtos; 1.9. An example of a first-order theory; Chapter 2. The Origin of Modern Foundational Studies; 2.1. Mathematics as an independent science |
2.2. The arithmetization of analysis2.3. Constructivism; 2.4. Frege and the notion of a formal system; 2.5. Criteria for foundations; Chapter 3. Frege's System and the Paradoxes; 3,1. The intuitive basis of Frege's system; 3.2. Frege's system; 3.3. The theorem of infinity; 3.4. Criticisms of Frege's system; 3.5. The paradoxes; 3.6. Brouwer and intuitionism; 3.7. Poincare'snotion of im predicative definition; 3.8. Russell's principle of vicious circle; 3.9. The logical paradoxes and the semantic paradoxes; Chapter 4. The Theory of Types; 4.1. Quantifying predicate letters |
4.2. Predicative type theory4.3. The development of mathematics in PT; 4.4. The system TT; 4.5. Criticisms of type theory as a foundation for mathematics; 4.6. The system ST; 4.7. Type theory and first-order logic; Chapter 5. Zermelo-Fraenkel Set Theory; 5.1. Formalization of ZF; 5.2. The completing axioms; 5.3. Relations, functions, and simple recursion; 5.4. The axiom of choice; 5.5. The continuum hypothesis; |
|
|
|
|
|
|
|
|
|
|
|
descriptive set theory; 5.6. The systems of vonNeumann-Bernays-Godel and Mostowski-Kelley-Morse; 5.7. Number systems; ordinal recursion; 5.8. Conway's numbers |
Chapter 6. Hilbert's Program and Godel's IncompletenessTheorems6.1. Hilbert's program; 6.2. Godel's theorems and their import; 6.3. The method of proof of Godel's theorems; recursive functions; 6.4. Nonstandard models of S; Chapter 7. The Foundational Systems of W. V. Quine; 7.1. The system NF; 7.2. Cantor's theorem in NF; 7.3. The axiom of choice in NF and the theorem of infinity; 7.4. NF and ST; typical ambiguity; 7.5. Quine's system ML; 7.6. Further results on NF; variant systems; 7.7. Conclusions; Chapter 8. Categorical Algebra; 8.1. The notion of a category |
8.2. The first-order language of categories8.3. Category theory and set theory; 8.4. Functors and large categories; 8.5. Formal development of the language and theory CS; 8.6. Topos theory; 8.7. Global elements in toposes; 8.8. Image factorizations and the axiom of choice; 8.9. A last look at CS; 8.10. ZF andWT; 8.11. The internal logic of toposes; 8.12. The internal language of a topos; 8.13. Conclusions; Selected Bibliography; Index |
|
|
|
|
|
|
Sommario/riassunto |
|
The Logical Foundations of Mathematics |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910847595203321 |
|
|
Autore |
Albayrak İsmail <1968-> |
|
|
Titolo |
A Contemporary Turkish Prison Diary : Reflections on the Writings of Said Nursi and Aleksander Solzhenitsyn / / by Ismail Albayrak |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (0 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Islamic philosophy |
Islam - Doctrines |
Corrections |
Punishment |
Theology |
Middle East - Politics and government |
Middle Eastern literature |
Islamic Philosophy |
Islamic Theology |
Prison and Punishment |
Christian Theology |
Middle Eastern Politics |
Middle Eastern Literature |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Said Nursi and Aleksander Solzhenitsyn: Chronologies of prison experiences -- 2. Prison Spirituality and Inner Peace -- 3. Contemporary Turkish Prison Experience. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book explores the religious experiences of two notable figures who endured severe trials under authoritarian regimes: Bediuzzaman Said Nursi (1877–1960) within the Islamic tradition, and Aleksander Solzhenitsyn (1918–2008) within the Russian Orthodox Christian tradition. Against the tumultuous backdrop of the twentieth century’s spiritual, social, political, and intellectual upheavals, both Nursi and |
|
|
|
|
|
|
|
|
|
|
Solzhenitsyn grappled with immense hardships because of their beliefs. Despite immense tribulations, both individuals demonstrated unwavering faith and resilience in the face of adversity, continuing their scholarly and literary activities. The current study centers on the dichotomy of spiritual confinement and expansiveness, illustrating how people can experience spiritual distress even without physical restraints. It explores the historical and conceptual aspects of imprisonment within Christian and Muslim perspectives, explores the reasons for Nursi and Solzhenitsyn's incarceration, examines their coping mechanisms in the face of hardship, and underscores the role of faith and spirituality. The author integrates personal experiences, particularly his own incarceration during the aftermath of the 2016 Turkish staged coup attempt, within the context of the narratives of Nursi and Solzhenitsyn. The book addresses court proceedings, release, departure from Turkey, and resettlement in Australia. Throughout, the author draws parallels between their own observations and those of Nursi and Solzhenitsyn, contributing to the broader discourse on individual spirituality and collective consciousness. The book offers insights into spiritual resilience in the face of adversity, utilizing the lives of these figures to illuminate shared human experiences. A unique collation of personal narration and scholarly reflection, it is relevant to academics and students in history, political science, sociology, Islamic and Middle Eastern studies, and to social scientists researching the phenomenon of exile and prison in different countries across the world. It also speaks to the work of activists and policymakers in human rights. |
|
|
|
|
|
| |