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.
Formalism and beyond : on the nature of mathematical discourse / / edited by Godehard Link
| Formalism and beyond : on the nature of mathematical discourse / / edited by Godehard Link |
| Pubbl/distr/stampa | Boston : , : De Gruyter, , [2014] |
| Descrizione fisica | 1 online resource (430 p.) |
| Disciplina | 510.1 |
| Collana | Logos : Studien zur Logik, Sprachphilosophie und Metaphysik |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Philosophy of mathematics
history of mathematics mathematics |
| ISBN |
1-61451-847-5
1-61451-996-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Duality, Epistemic Efficiency & Consistency / Detlefsen, Michael -- Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others / Schirn, Matthias -- Frege on Formality and the 1906 Independence-Test / Blanchette, Patricia A. -- Formal Discourse in Russell: From Metaphysics to Philosophical Logic / Link, Godehard -- On Live and Dead Signs in Mathematics / Mühlhölzer, Felix -- Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 / Ziche, Paul -- Assumptions of Infinity / Niebergall, Karl-Georg -- The Interpretation of Classes in Axiomatic Set Theory / Roth, Daniel / Schneider, Gregor -- Purity in Arithmetic: some Formal and Informal Issues / Arana, Andrew -- Domain Extensions and Higher-Order Syntactical Interpretations / Polański, Marek -- Finite Methods in Mathematical Practice / Crosilla, Laura / Schuster, Peter -- List of Contributors -- Name Index |
| Record Nr. | UNINA-9910811237303321 |
| Boston : , : De Gruyter, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Founding Mathematics on Semantic Conventions / Casper Storm Hansen
| Founding Mathematics on Semantic Conventions / Casper Storm Hansen |
| Autore | Hansen, Casper Storm |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xi, 256 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Intuitionism and choice
Nominalism Paradoxes of Self-reference Philosophy of mathematics Semantic conventionalism epistemology of mathematics metaphysics of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274761 |
Hansen, Casper Storm
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Founding Mathematics on Semantic Conventions / Casper Storm Hansen
| Founding Mathematics on Semantic Conventions / Casper Storm Hansen |
| Autore | Hansen, Casper Storm |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xi, 256 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Intuitionism and choice
Nominalism Paradoxes of Self-reference Philosophy of mathematics Semantic conventionalism epistemology of mathematics metaphysics of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274761 |
|
Hansen, Casper Storm
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Humanizing Mathematics and its Philosophy : Essays Celebrating the 90th Birthday of Reuben Hersh / Bharath Sriraman editor
| Humanizing Mathematics and its Philosophy : Essays Celebrating the 90th Birthday of Reuben Hersh / Bharath Sriraman editor |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2017 |
| Descrizione fisica | x, 363 p. : ill. ; 24 cm |
| Soggetto topico |
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 00B30 - Festschriften [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 01A80 - Sociology (and profession) of mathematics [MSC 2020] |
| Soggetto non controllato |
Data processing
Humanist philosophy Math education Philosophy of mathematics Reuben Hersh Scientific Computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123998 |
| Cham, : Birkhäuser, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Humanizing Mathematics and its Philosophy : Essays Celebrating the 90th Birthday of Reuben Hersh / Bharath Sriraman editor
| Humanizing Mathematics and its Philosophy : Essays Celebrating the 90th Birthday of Reuben Hersh / Bharath Sriraman editor |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2017 |
| Descrizione fisica | x, 363 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 00B30 - Festschriften [MSC 2020] 01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A80 - Sociology (and profession) of mathematics [MSC 2020] |
| Soggetto non controllato |
Data processing
Humanist philosophy Math education Philosophy of mathematics Reuben Hersh Scientific Computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00123998 |
| Cham, : Birkhäuser, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Irrationality, Transcendence and the Circle-Squaring Problem : An Annotated Translation of J. H. Lambert’s Vorläufige Kenntnisse and Mémoire / Eduardo Dorrego López, Elías Fuentes Guillén ; Foreword by José Ferreirós
| Irrationality, Transcendence and the Circle-Squaring Problem : An Annotated Translation of J. H. Lambert’s Vorläufige Kenntnisse and Mémoire / Eduardo Dorrego López, Elías Fuentes Guillén ; Foreword by José Ferreirós |
| Autore | Dorrego López, Eduardo |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | xix, 171 p. : ill. ; 24 cm |
| Altri autori (Persone) | Fuentes Guillén, Elías |
| Soggetto topico |
01A50 - History of mathematics in the 18th century [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] |
| Soggetto non controllato |
18th and 19th Century Mathematics
Continued Fractions Euler and continued fractions History of mathematics Irrationality of Pi Lambert and non-Euclidean geometry Lambert's work and the development of irrational numbers Philosophy of mathematics The Circle-Squaring Problem Trascendental Numbers decimal expansions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278843 |
|
Dorrego López, Eduardo
|
||
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Language, Logic, and Mathematics in Schopenhauer / Jens Lemanski editor
| Language, Logic, and Mathematics in Schopenhauer / Jens Lemanski editor |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2020 |
| Descrizione fisica | vi, 326 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Analytic Philosophy
Contextualism History of mathematics Logic Logical Geometry Modal Logic Philosophy of mathematics Proof Theory Rationalism Schopenhauer Semantics Syllogistics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249383 |
| Cham, : Birkhäuser, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Language, Logic, and Mathematics in Schopenhauer / Jens Lemanski editor
| Language, Logic, and Mathematics in Schopenhauer / Jens Lemanski editor |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2020 |
| Descrizione fisica | vi, 326 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Analytic Philosophy
Contextualism History of mathematics Logic Logical Geometry Modal Logic Philosophy of mathematics Proof Theory Rationalism Schopenhauer Semantics Syllogistics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249383 |
| Cham, : Birkhäuser, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematics (Education) in the Information Age / Stacy A. Costa, Marcel Danesi, Dragana Martinovic editors
| Mathematics (Education) in the Information Age / Stacy A. Costa, Marcel Danesi, Dragana Martinovic editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | x, 226 p. : ill. ; 24 cm |
| Soggetto topico |
92B20 - Neural networks for/in biological studies, artificial life and related topics [MSC 2020]
97-XX - Mathematics education [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 91Fxx - Other social and behavioral sciences (mathematical treatment) [MSC 2020] 97U70 - Technological tools, calculators (aspects of mathematics education) [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] 97D30 - Objectives and goals of mathematics teaching [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Cognitive science Graphical literacy Immanent visuality Philosophy of mathematics Psychology of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249470 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematics (Education) in the Information Age / Stacy A. Costa, Marcel Danesi, Dragana Martinovic editors
| Mathematics (Education) in the Information Age / Stacy A. Costa, Marcel Danesi, Dragana Martinovic editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | x, 226 p. : ill. ; 24 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
91Fxx - Other social and behavioral sciences (mathematical treatment) [MSC 2020] 92B20 - Neural networks for/in biological studies, artificial life and related topics [MSC 2020] 97-XX - Mathematics education [MSC 2020] 97D30 - Objectives and goals of mathematics teaching [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] 97U70 - Technological tools, calculators (aspects of mathematics education) [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Cognitive science Graphical literacy Immanent visuality Philosophy of mathematics Psychology of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249470 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
