| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466402303316 |
|
|
Autore |
Hansen Casper Storm |
|
|
Titolo |
Founding mathematics on semantic conventions / / Casper Storm Hansen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (259 pages) |
|
|
|
|
|
|
Collana |
|
Synthese Library ; ; v.446 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematics - Philosophy |
Logic, Symbolic and mathematical |
Semantics (Philosophy) |
Filosofia de la matemàtica |
Lògica matemàtica |
Llibres electrònics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Intro -- Founding Mathematics on Semantic Conventions -- Preface -- Contents -- 1 Introduction -- 1.1 Overview and Guide to Partial Reading -- 2 Classical Mathematics and Plenitudinous Combinatorialism -- 2.1 Large Cardinal Axioms and Theorems of Arithmetic -- 2.2 Transfinite Ordinals -- 2.3 Transfinite Cardinals -- 2.4 The Continuum Hypothesis -- 3 Intuitionism and Choice Sequences -- 3.1 General Introduction -- 3.2 Brouwer on Freely Proceeding Choice Sequences -- 3.3 Constitution of Free Choice Sequences -- 3.4 Evaluation of Brouwer's Claim -- 3.5 Verificationism and Intuitionistic Logic -- 4 From Logicism to Predicativism -- 4.1 Frege -- 4.2 Russell -- 4.3 Weyl -- 4.4 Weyl's Failure to Include All Real Numbers -- 5 Conventional Truth -- 5.1 The Obvious Solution to the Liar Paradox -- 5.2 Conventional Truth Conditions -- 5.3 The Dogma -- 5.4 Possible Language Conventions -- 5.5 T-schemas and Expressive Strength -- 5.6 Dialectical Situation -- 5.7 The View from Nowhere -- 5.8 Comparison with Chihara's Position -- 5.9 Revenge -- 6 Semantic Conventionalism for Mathematics -- 6.1 Needs Assessment -- 6.2 |
|
|
|
|
|
|
|
|
|
|
Simple Arithmetic as a Conventional Language -- 6.3 Quine's Anti-Conventionalism -- 6.4 Rule-Following -- 6.5 Choice of Logic -- 7 A Convention for a Type-free Language -- 7.1 The Kripke Convention and Its Shortcomings -- 7.2 Reformulating the Kripke Convention -- 7.2.1 Collapsing Truth and Satisfaction of View-From-Nowhere Truth Conditions -- 7.2.2 Kleenification -- 7.2.3 Kripke Recursion -- 7.3 Adding a Conditional with Supervaluational Semantics -- 7.3.1 Supervaluation over All Possibilities -- 7.3.2 View-From-Nowhere Truth Conditions for the Strong Conditional -- 7.3.3 If the Supervaluation Criterion is Not Satisfied -- 7.3.4 Ensuring Quantification over All Possibilities in the Presence of Supervaluation. |
7.3.5 Iteration of the Strong Conditional -- 7.3.6 Summary -- 7.4 Denoting Terms for Applied Mathematics -- 7.5 Meta-Theorems -- 8 Basic Mathematics -- 8.1 Logic -- 8.2 Natural Numbers -- 8.3 Integers -- 8.4 Rational Numbers -- 8.5 Classicality So Far -- 8.6 Classes -- 8.7 An Example of Applied Mathematics -- 9 Real Analysis -- 9.1 Functions -- 9.2 Real Numbers -- 9.3 Exponentiation -- 9.4 Completeness -- 9.5 Suprema, Infima, and Roots -- 9.6 Continuity -- 9.7 Operations on Functions -- 9.8 Differentiation -- 9.8.1 Calculating Derivatives -- 9.8.2 Uniform Differentiability -- 9.9 Integration -- 9.10 Unbounded Intervals and Piecewise Continuity -- 9.11 Completifications of Functions Generalized -- 9.12 Another Example of Applied Mathematics -- 9.13 Diagonalization -- 10 Possibility -- 10.1 All Possible Real Numbers -- 10.2 Modal Metaphysics -- 10.3 Conclusion -- References -- Index of Symbols -- General Index. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910830132203321 |
|
|
Titolo |
Advanced ceramic coatings and interfaces IV [[electronic resource] ] : a collection of papers presented at the 33rd International Conference on Advanced Ceramics and Composites, January 18-23, 2009, Daytona Beach, Florida / / edited by Dongming Zhu, Hua-Tay Lin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, NJ, : Wiley |
|
Chichester, : John Wiley [distributor], 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-282-47178-3 |
9786612471780 |
0-470-58429-7 |
0-470-58427-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (137 p.) |
|
|
|
|
|
|
Collana |
|
Ceramic Engineering and Science Proceedings, 3 ; ; v.507 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Ceramic coating |
Ceramic materials |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Selected conference papers. |
|
|
|
|
|
|
Nota di contenuto |
|
Advanced Ceramic Coatings and Interfaces IV; Contents; Preface; Introduction; Oxides for High Temperature Vibration Damping of Turbine Coatings; Enhancing the Passive Damping of Plasma Sprayed Ceramic Coatings; Magnesia and Yttria Based Coatings for Direct-Copper-Bonding of Silicon Nitride Ceramics; Application of Semiconductor Ceramic Glazes to High-Voltage Ceramic Insulators; Ceramics for Abradable Shroud Seal Applications; Wear Resistance of Hard Materials in Drilling Applications; Thermal Barrier Coatings Deposited by the Faradayic EPD Process |
The Influence of Thickness on the Properties of Air Plasma Sprayed Ceramic Blend at Room TemperatureElectrical and Dielectric Properties of Thermally Grown Oxide (TGO) on Fecralloy Substrate Studied by Impedance Spectroscopy; Measurement of Thermal Barrier Coating Conductivity by Thermal Imaging Method; Thermal Residual Stress in |
|
|
|
|
|
|
|
|
|
|
|
|
|
Environmental Barrier Coated Silicon Nitride-Modeled; Fracture Mechanical Modelling of a Plasma Sprayed TBC System; Author Index |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume is a useful resource for understanding the most valuable aspects of advanced ceramic coatings and interfaces. Containing twelve contributed papers from the symposium, topics include vibration damping coatings, thermal and environmental barrier coating processing, testing and life modeling, non-destructive evaluation, multifunctional coatings and interfaces, highlighting the state-of-the-art ceramic coatings technologies for various critical engineering applications. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910144487003321 |
|
|
Titolo |
Journal of transport economics and policy |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : London School of Economics and Political Science, 1967- |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Soggetti |
|
Transportation |
Transports et communications |
Vervoerseconomie |
Vervoersbeleid |
TRANSPORT |
TRANSPORT ECONOMICS |
Czasopismo ekonomiczne |
Periodicals. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Refereed/Peer-reviewed |
Title from cover (JSTOR, viewed Jan. 22, 2009). |
|
|
|
|
|
|
|
| |