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.
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek
| Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek |
| Autore | Krajícek, Jan |
| Pubbl/distr/stampa | Cambridge [England] ; New York : Cambridge University Press, 1995 |
| Descrizione fisica | xiii, 343 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Encyclopedia of mathematics and its applications ; 60 |
| Soggetto topico |
Computational complexity
Constructive mathematics Proposition (Logic) |
| ISBN | 0521452058 |
| Classificazione |
AMS 03F
QA9.56.K73 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000722369707536 |
Krajícek, Jan
|
||
| Cambridge [England] ; New York : Cambridge University Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara
| Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | 1 online resource (299 p.) |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-98918-5
9786611989187 0-19-152000-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910454674903321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara
| Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | xv, 282 p. : ill |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
0191520004
9780191520006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910795842803321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence / / Charles S. Chihara
| Constructibility and mathematical existence / / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | xv, 282 p. : ill |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
0191520004
9780191520006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Acknowledgements -- Contents -- I: The Constructibility Theory -- 1. The Problem of Existence in Mathematics -- 1. The Philosophical Problem -- 2. Quine's Platonism -- 3. Gödel's Platonism -- 4. Heyting's Intuitionism -- 2. The Constructibility Quantifiers -- 1. Introduction -- 2. The Language L -- 3. The Language L* -- 4. Some Objections Considered -- 3. Constructibility and Open-Sentences -- 1. The Constructibility of Open-Sentences -- 2. A Simple Type Theory for Open-Sentences -- 3. A Comparison with a Predicative System -- 4. The Logical Space of Open-Sentences -- 5. The Kinds of Open-Sentences to be Discussed -- 6. Quine's Objections to Modality -- 4. The Deductive System -- 1. The Language Lt -- 2. The Theory Ct -- 3. Objections to Type Theory -- 4. Objections to the Constructibility Theory -- 5. Cardinality and Number Theory -- 1. Formal Developments -- 2. Philosophical Amplifications -- 6. Measurable Quantities and Analysis -- 1. A Standard Development of Real Analysis -- 2. A Theory of Lengths -- 3. Geometrical Representations of Functions -- 4. Putnam's Case for Realism -- 5. Complex Analysis -- 6. Applications by Means of Structural Identity -- II: Philosophical Developments -- 7. Mathematical Structuralism -- 1. Introduction -- 2. The Structuralist View of Applications -- 3. Resnik on the Nature of Structures -- 4. An Evaluation of Shapiro's Account of Mathematics -- 5. An Evaluation of Resnik's Account of Structures -- 8. Science without Numbers -- 1. Introduction to Field's Instrumentalism -- 2. The Conservation Theorem -- 3. Field's Cardinality Theory -- 4. Field's Nominalistic Physics -- 5. Some Doubts about the Adequacy of Field's View -- 6. A Comparison with the Constructibility Theory -- 7. A Re-examination of Resnik's Reasoning -- 8. The Neo-Quinian Argument Reconsidered.
9. Why Burgess Is a Moderate Realist -- 1. A Dilemma for the Nominalist -- 2. A False Dilemma -- 3. Burgess's Objection to Field's Preference for Nominalism -- 10. Maddy's Solution to the Problem of Reference -- 1. Involved Platonists -- 2. Problems of Reference for Mathematical Platonism -- 3. Maddy's Solution -- 4. Doubts about Maddy's Solution -- 5. Concluding Comments -- 11. Kitcher's Ideal Agents -- 1. Kitcher's Account of Mathematical Knowledge -- 2. An Analysis of Kitcher's View: Details and Doubts -- 12. Deflationism and Mathematical Truth -- 1. Field's Deflationism -- 2. A Reconsideration of the Veridicality of Mathematics -- Appendix: Field's Nominalistic Logical Theory -- Postscript -- Bibliography -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- Q -- R -- S -- T -- V -- W -- Z. |
| Record Nr. | UNINA-9910971792403321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence / Charles S. Chihara
| Constructibility and mathematical existence / Charles S. Chihara |
| Autore | Chihara, Charles S. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1990 |
| Descrizione fisica | xv, 282 p. : ill. ; 23 cm. |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Mathematical logic Mathematics-philosophy Symbolic logic |
| ISBN | 0198239750 |
| Classificazione | QAB.4.C45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000783669707536 |
|
Chihara, Charles S.
|
||
| Oxford : Clarendon Press, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructive continuity / / Mark Mandelkern
| Constructive continuity / / Mark Mandelkern |
| Autore | Mandelkern Mark <1933-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1983] |
| Descrizione fisica | 1 online resource (126 p.) |
| Disciplina |
510 s
515.7 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functions, Continuous
Constructive mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0687-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""CONTENTS""; ""ABSTRACT""; ""1. PROBLEMS, METHODS, AND MAIN RESULTS""; ""PART I. PRELIMINARIES""; ""2. Brouwerian Counterexamples""; ""3. Real Numbers""; ""4. Infima and Suprema""; ""5. Metric Spaces""; ""PART II. RELIEFS AND CONTINUOUS FUNCTIONS""; ""6. Reliefs""; ""7. Continuity""; ""8. Intermediate Values""; ""9. Bounds and Extremes""; ""10. Connectivity and Convexity""; ""11. Located Sets""; ""PART III. MONOTONE FUNCTIONS""; ""12. Monotonicity""; ""13. Monotonicity and Continuity""; ""PART IV. RELIEF FUNCTIONS AND THE LIMITED CONTINUITY PRINCIPLE""; ""14. Relief Functions""
""15. Existence of Relief Functions""""16. The Limited Continuity Principle""; ""REFERENCES""; ""INDEX OF SYMBOLS""; ""INDEX OF TERMS"" |
| Record Nr. | UNINA-9910479927903321 |
|
Mandelkern Mark <1933->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1983] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive continuity / / Mark Mandelkern
| Constructive continuity / / Mark Mandelkern |
| Autore | Mandelkern Mark <1933-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1983] |
| Descrizione fisica | 1 online resource (126 p.) |
| Disciplina |
510 s
515.7 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functions, Continuous
Constructive mathematics |
| ISBN | 1-4704-0687-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""CONTENTS""; ""ABSTRACT""; ""1. PROBLEMS, METHODS, AND MAIN RESULTS""; ""PART I. PRELIMINARIES""; ""2. Brouwerian Counterexamples""; ""3. Real Numbers""; ""4. Infima and Suprema""; ""5. Metric Spaces""; ""PART II. RELIEFS AND CONTINUOUS FUNCTIONS""; ""6. Reliefs""; ""7. Continuity""; ""8. Intermediate Values""; ""9. Bounds and Extremes""; ""10. Connectivity and Convexity""; ""11. Located Sets""; ""PART III. MONOTONE FUNCTIONS""; ""12. Monotonicity""; ""13. Monotonicity and Continuity""; ""PART IV. RELIEF FUNCTIONS AND THE LIMITED CONTINUITY PRINCIPLE""; ""14. Relief Functions""
""15. Existence of Relief Functions""""16. The Limited Continuity Principle""; ""REFERENCES""; ""INDEX OF SYMBOLS""; ""INDEX OF TERMS"" |
| Record Nr. | UNINA-9910788898903321 |
|
Mandelkern Mark <1933->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1983] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive continuity / / Mark Mandelkern
| Constructive continuity / / Mark Mandelkern |
| Autore | Mandelkern Mark <1933-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1983] |
| Descrizione fisica | 1 online resource (126 p.) |
| Disciplina |
510 s
515.7 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Functions, Continuous
Constructive mathematics |
| ISBN | 1-4704-0687-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""CONTENTS""; ""ABSTRACT""; ""1. PROBLEMS, METHODS, AND MAIN RESULTS""; ""PART I. PRELIMINARIES""; ""2. Brouwerian Counterexamples""; ""3. Real Numbers""; ""4. Infima and Suprema""; ""5. Metric Spaces""; ""PART II. RELIEFS AND CONTINUOUS FUNCTIONS""; ""6. Reliefs""; ""7. Continuity""; ""8. Intermediate Values""; ""9. Bounds and Extremes""; ""10. Connectivity and Convexity""; ""11. Located Sets""; ""PART III. MONOTONE FUNCTIONS""; ""12. Monotonicity""; ""13. Monotonicity and Continuity""; ""PART IV. RELIEF FUNCTIONS AND THE LIMITED CONTINUITY PRINCIPLE""; ""14. Relief Functions""
""15. Existence of Relief Functions""""16. The Limited Continuity Principle""; ""REFERENCES""; ""INDEX OF SYMBOLS""; ""INDEX OF TERMS"" |
| Record Nr. | UNINA-9910828762603321 |
|
Mandelkern Mark <1933->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1983] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive functional analysis / D. S. Bridges
| Constructive functional analysis / D. S. Bridges |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | London ; San Francisco : Pitman Publishing, 1979 |
| Descrizione fisica | 203 p. ; 25 cm. |
| Disciplina | 515.7 |
| Collana | Pitman research notes in mathematics series, ISSN 02693674 ; 28 |
| Soggetto topico |
Best approximations
Constructive mathematics Functional analysis Proof theory |
| ISBN | 0273084186 |
| Classificazione |
AMS 03F99
AMS 41A50 AMS 46-01 AMS 46-XX QA320 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000784669707536 |
|
Bridges, Douglas S.
|
||
| London ; San Francisco : Pitman Publishing, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman
| Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman |
| Edizione | [1st ed. 1981.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981] |
| Descrizione fisica | 1 online resource (X, 350 p.) |
| Disciplina | 511.36 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Constructive mathematics
Intuitionistic mathematics |
| ISBN | 3-540-38759-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Seidenberg's condition P -- Field extensions -- Dedekind domains -- Effective mathematics — the computer algebra viewpoint -- On some open problems in constructive probability theory -- Consistency and independence results in intuitionistic set theory -- Errata -- Computability of ordinal recursion of type level two -- A constructive approach to classical mathematics -- Remarks on the notion of standard non-isomorphic natural number series -- Reflections on Bishop's philosophy of mathematics -- Formalizing constructive mathematics: Why and how? -- Independence of premisses and the free topos -- An intuitionistic infinitesimal calculus -- Liberal constructive set theory -- Locating metric complements in ?n -- A disjunctive decomposition theorem for classical theories -- Towards a constructive foundation for quantum mechanics -- About infinity, finiteness and finitization (in connection with the foundations of mathematics) -- A class of theorems with valid constructive counterparts -- Rational constructive analysis. |
| Record Nr. | UNISA-996466490703316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||