Computation, logic, philosophy : A collection of Essays / Wang Hao. |
Autore | Hao, Wang |
Pubbl/distr/stampa | Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 |
Descrizione fisica | XXVII, 373 p. ; 24 cm |
Disciplina | 511 |
Soggetto non controllato |
Logica generale
Teoria della ricorsivita' |
ISBN | 7-03-000211-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001324800403321 |
Hao, Wang
![]() |
||
Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational methods in ordinary differential equations / J. D. Lambert |
Autore | Lambert, J. D. |
Pubbl/distr/stampa | Chichester : J. Wiley & Sons, 1973 |
Descrizione fisica | xv, 278 p. ; 24 cm |
Disciplina | 511 |
Collana | Introductory mathematics for scientists and engineers |
Soggetto topico | Ordinary differential equations |
ISBN | 0471511943 |
Classificazione | AMS 65L |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000775269707536 |
Lambert, J. D.
![]() |
||
Chichester : J. Wiley & Sons, 1973 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Computers and Graph Theory : Representing Knowledge for Processing by Computers / Ramachandran Bharath |
Autore | Bharath, Ramachandran |
Pubbl/distr/stampa | New York : Ellis Horwood, 1991 |
Descrizione fisica | 136 p. ; 24 cm |
Disciplina | 511 |
Soggetto non controllato | Metodi matematici per la statistica, Teoria dei grafi, Informatica |
ISBN | 0131616056 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990002538230403321 |
Bharath, Ramachandran
![]() |
||
New York : Ellis Horwood, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Connections in combinatorial optimization / Andras Frank |
Autore | Frank, Andras |
Pubbl/distr/stampa | New York : Oxford University Press, 2011 |
Descrizione fisica | xxiii, 639 p. ; 24 cm |
Disciplina | 511 |
Collana | Oxford lecture series in mathematics and its applications |
Soggetto non controllato | Teoria dei grafi, Combinatorica |
ISBN | 978-0-19920527-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009432460403321 |
Frank, Andras
![]() |
||
New York : Oxford University Press, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Connectivity in graphs / by W. T. Tutte |
Autore | Tutte, William Thomas |
Pubbl/distr/stampa | Toronto : University of Toronto Press, 1966 |
Descrizione fisica | v, 143 p. ; 23 cm |
Disciplina | 511 |
Collana | Mathematical expositions |
Soggetto non controllato | Teoria dei grafi |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001238710403321 |
Tutte, William Thomas
![]() |
||
Toronto : University of Toronto Press, 1966 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Constructibility and mathematical existence / Charles S. Chihara |
Autore | Chihara, Charles S. |
Pubbl/distr/stampa | Oxford (N.Y.) : Clarendon Press, c1990 |
Descrizione fisica | XV, 282 p. ; 22 cm |
Disciplina | 511 |
Soggetto non controllato |
Matematica - Filosofia
Logica - Filosofia |
ISBN | 0-19-823975-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001319720403321 |
Chihara, Charles S.
![]() |
||
Oxford (N.Y.) : Clarendon Press, c1990 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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-9910823203403321 |
Chihara Charles S. <1932->
![]() |
||
Oxford, : Clarendon Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|