Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers
| The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers |
| Autore | Byers William |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, c2011 |
| Descrizione fisica | 1 online resource (334 p.) |
| Disciplina | 500 |
| Soggetto topico |
Science - Social aspects
Uncertainty (Information theory) |
| Soggetto non controllato |
Acknowledgment (creative arts and sciences)
Algorithm Ambiguity Analogy Approximation Axiom Axiomatic system Basic research Big O notation Calculation Certainty Chaos theory Circumference Computation Concept Conjecture Consciousness Consistency Contingency (philosophy) Continuous function Continuum hypothesis Contradiction Counting David Bohm Dynamism (metaphysics) Emergence Euclidean geometry Explanation Feeling Fermat's Last Theorem Geometry Gestalt psychology Gregory Chaitin Gödel's incompleteness theorems Human behavior Human intelligence Hypothesis Ideology Inference Integer Irrational number Learning Logic Logical reasoning Mathematician Mathematics Measurement Methodology Modernity Molecule Natural number Nature Paradigm shift Paradox Participant Phenomenon Philosopher Philosophy of mathematics Philosophy of science Philosophy Platonism Prediction Principle Probability Pythagoreanism Qualitative property Quantification (science) Quantity Quantum mechanics Randomness Rational number Rationality Real number Reality Reason Reductionism Relationship between religion and science Result Science Scientific method Scientific progress Scientific theory Scientist Self-reference Set theory Special case Subatomic particle Subjectivity Suggestion Technology The Philosopher Theorem Theoretical physics Theory of everything Theory Thomas Kuhn Thought Uncertainty Universality (philosophy) Writing |
| ISBN |
1-283-00150-0
9786613001504 1-4008-3815-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface: The Revelation of Uncertainty -- 1. The Blind Spot -- 2. The Blind Spot Revealed -- 3. Certainty or Wonder? -- 4. A World in Crisis! -- 5. Ambiguity -- 6. Self-Reference: The Human Element in Science -- 7. The Mystery of Number -- 8. Science as the Ambiguous Search for Unity -- 9. The Still Point -- 10. Conclusion: Living in a World of Uncertainty -- Acknowledgments -- Notes -- References -- Index |
| Record Nr. | UNINA-9910781106903321 |
Byers William
|
||
| Princeton, : Princeton University Press, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Contradictions, from Consistency to Inconsistency / Walter Carnielli, Jacek Malinowski editors
| Contradictions, from Consistency to Inconsistency / Walter Carnielli, Jacek Malinowski editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | vi, 322 p. : ill. ; 24 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] |
| Soggetto non controllato |
Consistency
Contradictions Inconsistency Logic and Philosophy of Science Logic for Computer Science Logics of Formal Inconsistency Negation Paraconsistent Logic Principle of Explosion |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124617 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Contradictions, from Consistency to Inconsistency / Walter Carnielli, Jacek Malinowski editors
| Contradictions, from Consistency to Inconsistency / Walter Carnielli, Jacek Malinowski editors |
| Edizione | [Cham : Springer, 2018] |
| Pubbl/distr/stampa | vi, 322 p., : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] |
| Soggetto non controllato |
Consistency
Contradictions Inconsistency Logic and Philosophy of Science Logic for Computer Science Logics of Formal Inconsistency Negation Paraconsistent Logic Principle of Explosion |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124617 |
| vi, 322 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The structure of affine buildings [[electronic resource] /] / Richard M. Weiss
| The structure of affine buildings [[electronic resource] /] / Richard M. Weiss |
| Autore | Weiss Richard M (Richard Mark), <1946-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, c2009 |
| Descrizione fisica | 1 online resource (381 p.) |
| Disciplina | 512/.2 |
| Collana | Annals of mathematics studies |
| Soggetto topico |
Buildings (Group theory)
Moufang loops Automorphisms Affine algebraic groups |
| Soggetto non controllato |
Addition
Additive group Additive inverse Algebraic group Algebraic structure Ambient space Associative property Automorphism Big O notation Bijection Bilinear form Bounded set (topological vector space) Bounded set Calculation Cardinality Cauchy sequence Commutative property Complete graph Complete metric space Composition algebra Connected component (graph theory) Consistency Continuous function Coordinate system Corollary Coxeter group Coxeter–Dynkin diagram Diagram (category theory) Diameter Dimension Discrete valuation Division algebra Dot product Dynkin diagram E6 (mathematics) E7 (mathematics) E8 (mathematics) Empty set Equipollence (geometry) Equivalence class Equivalence relation Euclidean geometry Euclidean space Existential quantification Free monoid Fundamental domain Hyperplane Infimum and supremum Jacques Tits K0 Linear combination Mathematical induction Metric space Multiple edges Multiplicative inverse Number theory Octonion Parameter Permutation group Permutation Pointwise Polygon Projective line Quadratic form Quaternion Remainder Root datum Root system Scientific notation Sphere Subgroup Subring Subset Substructure Theorem Topology of uniform convergence Topology Torus Tree (data structure) Tree structure Two-dimensional space Uniform continuity Valuation (algebra) Vector space Without loss of generality |
| ISBN |
1-282-45836-1
9786612458361 1-4008-2905-4 |
| Classificazione | SI 830 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter 1. Affine Coxeter Diagrams -- Chapter 2. Root Systems -- Chapter 3. Root Data with Valuation -- Chapter 4. Sectors -- Chapter 5. Faces -- Chapter 6. Gems -- Chapter 7. Affine Buildings -- Chapter 8. The Building at Infinity -- Chapter 9. Trees with Valuation -- Chapter 10. Wall Trees -- Chapter 11. Panel Trees -- Chapter 12. Tree-Preserving Isomorphisms -- Chapter 13. The Moufang Property at Infinity -- Chapter 14. Existence -- Chapter 15. Partial Valuations -- Chapter 16. Bruhat-Tits Theory -- Chapter 17. Completions -- Chapter 18. Automorphisms and Residues -- Chapter 19. Quadrangles of Quadratic Form Type -- Chapter 20. Quadrangles of Indifferent Type -- Chapter 21. Quadrangles of Type E6, E7 and E8 -- Chapter 22. Quadrangles of Type F4 -- Chapter 23. Quadrangles of Involutory Type -- Chapter 24. Pseudo-Quadratic Quadrangles -- Chapter 25. Hexagons -- Chapter 26. Assorted Conclusions -- Chapter 27. Summary of the Classification -- Chapter 28. Locally Finite Bruhat-Tits Buildings -- Chapter 29. Appendix A -- Chapter 30. Appendix B -- Bibliography -- Index |
| Record Nr. | UNINA-9910780926103321 |
|
Weiss Richard M (Richard Mark), <1946->
|
||
| Princeton, N.J., : Princeton University Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan
| Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
| Autore | Smullyan Raymond M. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (157 pages) : illustrations |
| Disciplina | 511.33 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Metamathematics |
| Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8200-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154750903321 |
|
Smullyan Raymond M.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards consistency and transparency in academic integrity / / Salim Razı, Irene Glendinning, Tomáš Foltýnek (editors)
| Towards consistency and transparency in academic integrity / / Salim Razı, Irene Glendinning, Tomáš Foltýnek (editors) |
| Autore | Razi Salim |
| Pubbl/distr/stampa | Bern, : Peter Lang International Academic Publishing Group, 2018 |
| Descrizione fisica | 1 online resource (xi, 253 pages) : illustrations |
| Disciplina | 808.02/5 |
| Soggetto topico |
Cheating (Education)
Plagiarism |
| Soggetto non controllato |
Academic
Consistency Contract cheating essay mills higher education Integrity integrity policies plagiarism detection plagiarism prevention Razı Transparency |
| ISBN | 3-631-78159-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | English language teaching student's attitudes towards plagiarism and their locus of control / Billur Yıldırım and Salim Razı -- The student voice : what we know about the student's perspective of academic integrity / Clare Johnson and Mike Reddy -- Plagiarism in the South African higher education system : discarding a common-sense understanding / Amanda Martha Matee Mphahlele and Sioux McKenna -- Plagiarism in Kosovo and its perception in Kosovo and Albania society / Dukagjin Leka and Bajram Kosumi -- A case study of plagiarism in higher education : student's awareness, information sources, and reasons / Elham Golzar Adabi, Dilek Pecenek, and Markus Pissarek -- Insights into university student's perceptions about plagiarism / Muhammad Ramzan, Muhammad Asif and Hina Adeeb -- Student's and teacher's perceptions about academic dishonesty at a university in Pakistan / Muhammad Shahbaz -- Integrity management in high Adabi, Dilek Pecenek, and Markus Pissarek -- Insights into university student's perceptions about plagiarism / Muhammad Ramzan, Muhammad Asif and Hina Adeeb -- Student's and teacher's perceptions about academic dishonesty at a university in Pakistan / Muhammad Shahbaz -- Integrity management in high schools : paving a way to misconduct? / Loreta Tauginiené and Inga Gaižauskaitė -- Micro-level policies and practices regarding plagiarism in advanced reading and writing courses in Turkey / Ali Erarslan and Ece Zehir Topkaya -- Academic integrity skill development amongst the faculty at a Swedish university / Sonja Bjelobaba -- Challenges and solutions for academic integrity in mass communication education in Pakistani universities / Fahad Mahmood -- Teaching about plagiarism at higher education level / Ivana Hebrang Grgić -- Plagiarism and artefacts : a phenomenon of neglected ethics / Mamoona Khan and Aalia Sohail Khan -- Global essay mills survey in Czechia : insights into the cheater's mind / Veronika Králíčková, Tomáš Foltýnek, Jana Dannhoferová, Dita Dlabolová and Pavel Turčínek -- Whose work is it anyway? : exploring the existence of contract cheating in the UAE context / Zeenath Reza Khan, Sabiha Mumtaz, Priyanka Hemnani, and Sanjana Raheja -- Challenges in publishing at newly-established universities in Kosovo and Macedonia / Sabiha Shala, Dukagjin Leka and Mimoza Hyseni-- Academic integrity and quality of research in higher education : inclination and confrontation for young scholars / Adeela Rehman -- Perspectives on the role of university libraries in preventing plagiarism among research scholars / Faiqa Mansoor and Kanwal Ameen. |
| Record Nr. | UNINA-9910476912003321 |
|
Razi Salim
|
||
| Bern, : Peter Lang International Academic Publishing Group, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||