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.
Rising Time Schemes in Babylonian Astronomy [[electronic resource] /] / by John M. Steele
| Rising Time Schemes in Babylonian Astronomy [[electronic resource] /] / by John M. Steele |
| Autore | Steele John M |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VIII, 109 p. 19 illus.) |
| Disciplina | 900 |
| Collana | SpringerBriefs in History of Science and Technology |
| Soggetto topico |
History
Astronomy Astrophysics Mathematics History, Ancient Physics History of Science Astronomy, Astrophysics and Cosmology History of Mathematical Sciences Ancient History History and Philosophical Foundations of Physics |
| ISBN | 3-319-55221-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Preliminaries -- Chapter 3. Calendar-Based Rising Time Schemes -- Chapter 4. Zodiac-Based Rising Time Schemes -- Chapter 5. Related Texts -- Chapter 6. Conclusions. |
| Record Nr. | UNINA-9910254769503321 |
Steele John M
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Road to Universal Logic [[electronic resource] ] : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I / / edited by Arnold Koslow, Arthur Buchsbaum
| The Road to Universal Logic [[electronic resource] ] : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I / / edited by Arnold Koslow, Arthur Buchsbaum |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 |
| Descrizione fisica | 1 online resource (519 p.) |
| Disciplina | 512.817 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Mathematical logic
Logic Mathematics History Mathematical Logic and Foundations History of Mathematical Sciences |
| ISBN | 3-319-10193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Ibn Sina’s Two‐Partite versus Nine‐Partite Logicography by Musa Akrami.- Homotopical categories of logics by Peter Arndt -- Semi‐implication: A Chapter in Universal Logic by Arnon Avron -- A Formal Framework for Hypersequent Calculi and their Fibring by Marcelo Esteban Coniglio and Martin Figallo -- Investigating Knowledge and Opinion by John Corcoran and Idris Samawi Ha -- The Algebra of Opposition (and universal logic interpretations) by Razvan Diaconescu -- Universal Logic as the Science of Patterns by Brian Gaines -- Hexagonal Logic of the Field F8 as a Boolean Logic with Three Involutive Modalities by René Guitart -- The move from one to two quantifiers by Wilfrid Hodges -- On the Contrary: Disjunctive Syllogism and Pragmatic Strengthening by Laurence Horn -- Aristotle on Language and Universal Proof by Jean‐Louis Hudry -- Béziau on And and Or by Lloyd Humberstone -- Universal Logic or Logics in Resemblance Families by Dale Jacquette -- Causality and Attribution in an Aristotelian Theory by Srecko Kovac -- Using Each Other's Words by Marcus Kracht -- On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” by Javier Legris -- Caramuel and the “Quantification of the Predicate” by Wolfgang Lenzen -- Lossy Inference Rules and their Bounds: a Brief Review by David Makinson and James Hawthorne -- Nonsets by Daniel Parrochia -- A Roadmap to Decidability by João Rasga, Cristina Sernadas and Amílcar Sernadas -- John Buridan on Non‐Contingency Syllogisms by Stephen Read -- Symbolic Existence in Hugh MacColl: a dialogical approach by Juan Redmond -- Beziau's Contributions to the Logical Geometry of Modalities and Quantifiers by Hans Smessaert and Lorenz Demey -- On Metalogical Pluralism by Vladimir L. Vasyukov -- Constructivism and Metamathematics by Jan Woleński. < . |
| Record Nr. | UNINA-9910299778303321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Road to Universal Logic [[electronic resource] ] : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II / / edited by Arnold Koslow, Arthur Buchsbaum
| The Road to Universal Logic [[electronic resource] ] : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II / / edited by Arnold Koslow, Arthur Buchsbaum |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 |
| Descrizione fisica | 1 online resource (607 p.) |
| Disciplina | 515.10923478 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Mathematical logic
Logic Mathematics History Mathematical Logic and Foundations History of Mathematical Sciences |
| ISBN | 3-319-15368-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Katarzyna Gan-Krzywoszyńska (edited by): Personal recollections about JYB by Newton da Costa and others -- 2. Jean-Yves Beziau: Logical Autobiography 50 -- 3. Marcos Antonio Alves and Itala M. Loffredo D’Ottaviano: A quantitative-informational approach to logical consequence -- 4. Hajnal Andréka and Istvan Németi: Finite-variable logics do not have weak Beth definability property -- 5. Irving Anellis: Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator -- 6. Ignacio Angelelli: The Meaning(s) of “is”: Normative vs. Naturalistic Views of Language -- 7. Régis Angot-Pélissier: The relation between logic, set theory and topos theory as it is used by Alain Badiou -- 8. Jonas Becker Arenhart and Décio Krause: Potentiality and Contradiction in Quantum Mechanics -- 9. Diderik Batens: Two, many and differently many -- 10. Hilan Bensusan, Alexandre Costa-Leite and Edelcio Gonçalves de Souza: Logics and their galaxies -- 11. Otavio Bueno: Can Identity be relativized? -- 12. Luis Estrada-González: From (paraconsistent) topos logic to Universal (topos) Logic -- 13. Yvon Gauthier: A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory -- 14. I. Grattan-Guinness: Is logic universal or hierarchical? -- 15. Dany Jaspers: The English Tenses, Blanche and the Logical Kite -- 16. Azriel Laufer and Dov Gabbay: Topological Aspects of Matrix Abduction 1 -- 17. Mai Ben Adar Bessos and Dov Gabbay: Topological Aspects of Matrix Abduction 2 -- 18. Sérgio Marcelino, Carlos Caleiro and Pedro Baltazar: Deciding theoremhood in fibred logics without shared connectives -- 19. Amirouche Moktefi and Fabien Schang: On rules and refereeing in football -- 20. Alessio Moretti: Arrow - Hexagons -- 21. Till Mossakowski, Mihai Codescu, Fabian Neuhaus, and Oliver Kutz: The Distributed Ontology, Modelling and Specification Language – DOL -- 22. Sergei Odintsov: Belnap constants and Nelson logic -- 23. Hitoshi Omori and Toshiharu Waragai: Negative modalities in the light of paraconsistency -- 24. Olga Pombo: Operativity and Representativity of the Sign in Leibniz -- 25. Henri Prade and Didier Dubois: Being consistent about inconsistency: Toward the rational fusing of inconsistent propositional logic bases -- 26. Giuseppe Primiero: Realist consequence, epistemic inference, computational correctness -- 27. Christian de Ronde: Epistemological and Ontological Paraconsistency in Quantum Mechanics: For and Against Bohrian Philosophy. |
| Record Nr. | UNINA-9910299780003321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Role of the History of Mathematics in the Teaching/Learning Process [[electronic resource] ] : A CIEAEM Sourcebook / / edited by Sixto Romero Sanchez, Ana Serradó Bayés, Peter Appelbaum, Gilles Aldon
| The Role of the History of Mathematics in the Teaching/Learning Process [[electronic resource] ] : A CIEAEM Sourcebook / / edited by Sixto Romero Sanchez, Ana Serradó Bayés, Peter Appelbaum, Gilles Aldon |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (464 pages) |
| Disciplina | 510.71 |
| Collana | Advances in Mathematics Education |
| Soggetto topico |
Mathematics—Study and teaching
Teachers—Training of Mathematics History Mathematics Education Teaching and Teacher Education History of Mathematical Sciences Ensenyament de la matemàtica Història de la matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-29900-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: The use of history in the teaching of mathematics -- Chapter 1. The exploration of Inaugural understandings in the history of mathematics and its potential for didactic and pedagogical reflection -- Chapter 2. The value of historical knowledge through challenging mathematical tasks -- Chapter 3. An historic approach to modelling: enriching high school student’s capacities -- Chapter 4. The introduction of the algebraic thought in Spain: the resolution of the second degree equation -- Part II: History of mathematics and its relation to mathematical education -- Chapter 5. Mathematics Education in Different Times and Cultures -- Chapter 6. Integrating the history of mathematics in mathematics education: examples and reflections from the classroom -- Chapter 7. Re-constructing the image of mathematics through the diversity of the historical journeys of famous mathematicians -- Chapter 8. History of Ethnomathematics: Recent developments -- Part III: The role of history in the process of training the mathematician -- Chapter 9. Problems and puzzles in history of mathematics -- Chapter 10. The potential in teaching the history of mathematics to pre-service teachers. Chapter 11. The role of history in enriching mathematic teachers’ training for Primary Education -- Chapter 12. Recent trends of history of Mathematics Teacher Education -- Part IV: Technology in the recent history of Mathematics Education -- Chapter 13. Tools and technologies in a sociocultural approach of learning mathematical modelling -- Chapter 14. Technology in primary and secondary school to teach and learn mathematics in the last decades -- Chapter 15. A Trajectory of Digital Technologies Integration in Mathematical Education in Brazil: challenges and opportunities -- Chapter 16. History, Technology and Dynamic Geometry: From resources with static construction to DGE with touchscreen. |
| Record Nr. | UNINA-9910731481303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ruggiero Boscovich’s Theory of Natural Philosophy [[electronic resource] ] : Points, Distances, Determinations / / by Luca Guzzardi
| Ruggiero Boscovich’s Theory of Natural Philosophy [[electronic resource] ] : Points, Distances, Determinations / / by Luca Guzzardi |
| Autore | Guzzardi Luca |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2020 |
| Descrizione fisica | 1 online resource (216 pages) |
| Disciplina | 509.033 |
| Collana | Science Networks. Historical Studies |
| Soggetto topico |
History
Physics Mathematics Philosophy History of Science History and Philosophical Foundations of Physics History of Mathematical Sciences History of Philosophy |
| ISBN | 3-030-52093-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | In the holy temples of mathematics -- God’s in his heaven, all’s right with the world -- The others -- The Book of Genesis -- The other labyrinth -- Touching infinity -- CONCLUDING REMARKS. The will to unify, the force of plurality. |
| Record Nr. | UNINA-9910416086903321 |
|
Guzzardi Luca
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Samuel Pepys, Isaac Newton, James Hodgson, and the Beginnings of Secondary School Mathematics [[electronic resource] ] : A History of the Royal Mathematical School Within Christ’s Hospital, London 1673–1868 / / by Nerida F. Ellerton, M. A. (Ken) Clements
| Samuel Pepys, Isaac Newton, James Hodgson, and the Beginnings of Secondary School Mathematics [[electronic resource] ] : A History of the Royal Mathematical School Within Christ’s Hospital, London 1673–1868 / / by Nerida F. Ellerton, M. A. (Ken) Clements |
| Autore | Ellerton Nerida F |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXIV, 325 p. 36 illus., 32 illus. in color.) |
| Disciplina | 510.712 |
| Collana | History of Mathematics Education |
| Soggetto topico |
Mathematics—Study and teaching
Mathematics History Mathematics Education History of Mathematical Sciences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mathematics in the Christ’s Hospital Curriculum Before 1673 -- Mathematics Beyond Arithmetic—Expanding the Domain of School Mathematics -- Stars in the RMS Firmament 1673–1798 -- Years of Struggle for RMS 1673–1708 -- Developments in RMS Curricula 1673–1798 -- RMS Comes of Age 1709–1755: The Hodgson Era -- William Wales: RMS Master 1776–1798 -- Redefining School Mathematics at Christ’s Hospital 1800–1868 -- An Appropriate Theoretical Lens: Lag Time -- The Importance of the Royal Mathematical School in the History of School Mathematics.-. |
| Record Nr. | UNINA-9910255100203321 |
|
Ellerton Nerida F
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sanskrit Astronomical Tables [[electronic resource] /] / by Clemency Montelle, Kim Plofker
| Sanskrit Astronomical Tables [[electronic resource] /] / by Clemency Montelle, Kim Plofker |
| Autore | Montelle Clemency |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (311 pages) |
| Disciplina | 016.52095483 |
| Collana | Sources and Studies in the History of Mathematics and Physical Sciences |
| Soggetto topico |
Mathematics
History Observations, Astronomical Astronomy—Observations Asia—History History of Mathematical Sciences Astronomy, Observations and Techniques History of South Asia |
| ISBN | 3-319-97037-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Content and Classification of Table Texts -- 3. Table-Text Manuscripts -- 4. Elements of Table Texts -- 5. The Evolution of the Table-Text Genre -- 6. Further Explorations -- Appendices. |
| Record Nr. | UNINA-9910315360103321 |
|
Montelle Clemency
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Saved from the Cellar [[electronic resource] ] : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics / / by Jan von Plato
| Saved from the Cellar [[electronic resource] ] : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics / / by Jan von Plato |
| Autore | von Plato Jan |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 315 p. 9 illus.) |
| Disciplina | 510.9 |
| Collana | Sources and Studies in the History of Mathematics and Physical Sciences |
| Soggetto topico |
Mathematics
History Mathematical logic History of Mathematical Sciences Mathematical Logic and Foundations |
| ISBN | 3-319-42120-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: A Sketch of Gentzen's Life and Work -- 1. Overture -- 2. Gentzen's years of study -- Dr. Gentzen's arduous years in Nazi Germany -- 4. The scientific accomplishments -- 5. Loose ends -- 6. Gentzen's genuis -- Part II: Overview of the Shorthand Notes -- 1. Gentzen's series of stenographic manuscripts -- 2. The items in this collection -- Practical remarks on the manuscripts -- Manuscript illustrations -- The German alphabet in Latin, Sutterlin, and Fraktur Type -- Bibliography for parts I and II -- Index of names for Parts I and II -- Part III: The Original Writings -- 1. Reduction of number-theoretic problems to predicate logic -- 2. Replacement of functions by predicates -- 3. The formation of abstract concepts -- 4. Five different forms of natural calculi -- 5. Formal conception of correctness in arithmetic I -- 6. Investigations into logical inferences -- 7. Reduction of classical to intuitionistic logic -- 8. CV of the candidate Gerhard Gentzen.-0 9. Letters to Heyting -- 10. Formal conception of correctness in arithmetic II -- 11. Proof theory of number theory -- 12. Consistency of artihmetic, for publication -- 13. Correspondence with Paul Bernays -- 14. Forms of type theory -- 15. Predicate logic -- 16. Propositional logic -- 17. Foundational research in mathematics -- Table of cross-references in the Gentzen papers -- Index of names in the Gentzen papers -- Index of subjects in the Gentzen papers. |
| Record Nr. | UNINA-9910254305503321 |
|
von Plato Jan
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Scholar and the State: In Search of Van der Waerden [[electronic resource] /] / by Alexander Soifer
| The Scholar and the State: In Search of Van der Waerden [[electronic resource] /] / by Alexander Soifer |
| Autore | Soifer Alexander |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2015 |
| Descrizione fisica | 1 online resource (475 p.) |
| Disciplina |
510
510.9 |
| Soggetto topico |
Mathematics
History History of Mathematical Sciences |
| ISBN | 3-0348-0712-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Greetings to the Reader: What is History? -- Why Van der Waerden and Why Me? The Family -- The Joys of Young Bartel -- Van der Waerden at Hamburg -- The Story of The Book -- The Theorem on Arithmetic Progressions -- From Göttingen to Groningen -- Transformations of The Book -- The Algebraic Revolution That Produced Just One Book -- On to Germany -- The Dawn of the Nazi Era -- The Princeton Offer -- Eulogy for the Beloved Teacher -- One Faculty Meeting at Leipzig -- A Cloud of Suspicion -- Mathematische Annalen -- Germany Treacherously Invades Holland -- Barrau’s Succession at Utrecht -- A Dream of Göttingen -- “Furniture and Scientific Books” -- Breidablik -- Home, Bittersweet Home -- The New World or Old? -- “The Defense” -- Van der Waerden and Van der Corput: Dialog in Letters -- One Heartfelt Letter to a Friend -- A Rebellion in Brouwer’s Amsterdam -- The Het Parool Affair -- Job History 1945–1947 -- “America! America! God shed His grace on thee” -- Van der Waerden, Goudsmit and Heisenberg: A Letteral Triangle -- On Active and Passive Opposition in the Third Reich -- Van der Waerden in Defense of Heisenberg -- Professorship at Amsterdam -- Escape to Neutrality -- The Theorem Becomes Classic -- Whose Conjecture Did Van der Waerden Prove? -- Zurück nach Zürich -- Reunions of Old Friends: Van der Waerden and Heisenberg -- The Drama of Van der Waerden -- The Scholar and the State -- Farewell to the Reader: “I Hope and I Hope”. |
| Record Nr. | UNINA-9910299767403321 |
|
Soifer Alexander
|
||
| Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scholars and Scholarship in Late Babylonian Uruk [[electronic resource] /] / edited by Christine Proust, John Steele
| Scholars and Scholarship in Late Babylonian Uruk [[electronic resource] /] / edited by Christine Proust, John Steele |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (281 pages) |
| Disciplina | 001.2 |
| Collana | Why the Sciences of the Ancient World Matter |
| Soggetto topico |
Mathematics
History History, Ancient Middle East—History Archaeology History of Mathematical Sciences History of Science Ancient History History of the Middle East |
| ISBN | 3-030-04176-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Acknowledgements -- Abbreviations -- Chapter 1. Introduction: Scholars, Scholarly Archives and the Practice of Scholarship in Late Babylonian Uruk (Christine Proust and John Steele) -- Chapter 2. Cultural Imports and Local Products in the Commentaries from Uruk. The case of the Gimil-Sîn Family (Uri Gabbay and Enrique Jiménez) -- Chapter 3. A Mathematical Collection Found in the “House of the āšipus”. The Art of Metrology in Achaemenid Uruk (Christine Proust) -- Chapter 4. Astronomical Activity in the ‘House of the āšipus’ in Uruk (John Steele) -- Chapter 5. Astrological Texts from Late Babylonian Uruk (Hermann Hunger) -- Chapter 6. Scholarly Mathematics in the Rēš Temple (Mathieu Ossendrijver) -- Chapter 7. ‘Star Anu, Lord of Heaven’: The Influence of the Celestial Sciences on Temple Rituals in Hellenistic Uruk and Babylon (Julia Krul) -- Chapter 8. Interactions Between Greek and Babylonian Thought in Seleucid Uruk (Paul-Alain Beaulieu) -- Chapter 9. Uruk and the Greco-Roman World (Alexander Jones). |
| Record Nr. | UNINA-9910484697203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
History of Mathematical Sciences
(287)
- History (285)
- Mathematics (285)
- History of Science (48)
- Mathematical logic (37)