Autore	Corfield David (David Neil)
Pubbl/distr/stampa	Cambridge : , : Cambridge University Press, , 2003
Descrizione fisica	1 online resource (x, 288 pages) : digital, PDF file(s)
Disciplina	510/.1
Soggetto topico	Mathematics - Philosophy
ISBN	1-107-13483-8 1-280-43434-1 9786610434343 0-511-17894-8 0-511-04270-1 0-511-14889-5 0-511-32600-9 0-511-48757-6 0-511-05445-9
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Introduction: a role for history -- Human and Artificial Mathematicians -- Communicating with automated theorem provers -- Automated conjecture formation -- The role of analogy in mathematics -- Plausibility, uncertainty and probability -- Bayesianism in mathematics -- Uncertainty in mathematics and science -- The Growth of Mathematics -- Lakatos's philosophy of mathematics -- Beyond the methodology of mathematical research programmes -- The importance of mathematical conceptualisation -- The Interpretation of Mathematics -- Higher dimensional algebra.
Record Nr.	UNINA-9910450531903321

Autore	Corfield David
Edizione	[1st ed.]
Pubbl/distr/stampa	Cambridge, UK ; ; New York, : Cambridge University Press, 2003
Descrizione fisica	1 online resource (x, 288 pages) : digital, PDF file(s)
Disciplina	510/.1
Soggetto topico	Mathematics - Philosophy
ISBN	1-107-13483-8 1-280-43434-1 9786610434343 0-511-17894-8 0-511-04270-1 0-511-14889-5 0-511-32600-9 0-511-48757-6 0-511-05445-9
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Introduction: a role for history -- Human and Artificial Mathematicians -- Communicating with automated theorem provers -- Automated conjecture formation -- The role of analogy in mathematics -- Plausibility, uncertainty and probability -- Bayesianism in mathematics -- Uncertainty in mathematics and science -- The Growth of Mathematics -- Lakatos's philosophy of mathematics -- Beyond the methodology of mathematical research programmes -- The importance of mathematical conceptualisation -- The Interpretation of Mathematics -- Higher dimensional algebra.
Record Nr.	UNINA-9910813664903321

Autore	Frascolla Pasquale <1952, >
Pubbl/distr/stampa	London ; ; New York : , : Routledge, , 1994
Descrizione fisica	1 online resource (201 p.)
Disciplina	510/.1
Soggetto topico	Mathematics - Philosophy
Soggetto genere / forma	Electronic books.
ISBN	1-134-97437-X 1-283-24106-4 9786613241061 0-203-02246-7
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	WITTGENSTEIN'S PHILOSOPHY OF MATHEMATICS; Copyright; CONTENTS; Preface; Abbreviations; 1 The Philosophy of Arithmetic of the Tractatus; Preliminaries; Systematic exposition; The ""knowledge "" of forms: vision and calculation; Foundations of mathematics (I); 2 Verificationism and Its Limits: The intermediate phase (1929-33); Introduction; Finite cardinal numbers: the arithmetic of strokes; Mathematical propositions; The mathematical infinite; Foundations of mathematics (II); 3 From Facts to Concepts: The later writings on mathematics (1934-44); The crisis of verificationism: rule-following Mathematical proofs as paradigmsThe problem of strict finitism; Wittgenstein's quasi-revisionism; Notes; References; Index
Record Nr.	UNINA-9910450152903321

Autore	Frascolla Pasquale <1952->
Edizione	[1st ed.]
Pubbl/distr/stampa	London ; ; New York, : Routledge, 1994
Descrizione fisica	1 online resource (201 p.)
Disciplina	510/.1
Soggetto topico	Mathematics - Philosophy
ISBN	1-134-97436-1 1-134-97437-X 1-283-24106-4 9786613241061 0-203-02246-7
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	WITTGENSTEIN'S PHILOSOPHY OF MATHEMATICS; Copyright; CONTENTS; Preface; Abbreviations; 1 The Philosophy of Arithmetic of the Tractatus; Preliminaries; Systematic exposition; The ""knowledge "" of forms: vision and calculation; Foundations of mathematics (I); 2 Verificationism and Its Limits: The intermediate phase (1929-33); Introduction; Finite cardinal numbers: the arithmetic of strokes; Mathematical propositions; The mathematical infinite; Foundations of mathematics (II); 3 From Facts to Concepts: The later writings on mathematics (1934-44); The crisis of verificationism: rule-following Mathematical proofs as paradigmsThe problem of strict finitism; Wittgenstein's quasi-revisionism; Notes; References; Index
Record Nr.	UNINA-9910823841103321

Autore	Marion Mathieu <1962->
Pubbl/distr/stampa	Oxford, : Clarendon Press
Descrizione fisica	1 online resource (281 p.)
Disciplina	510/.1
Collana	Oxford philosophical monographs
Soggetto topico	Mathematics - Philosophy
Soggetto genere / forma	Electronic books.
ISBN	0-19-170155-6 0-19-156832-5 1-281-99876-1 9786611998769
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Contents; List of Abbreviations; 1. Introduction: Wittgenstein's Anti-Platonism; 2. Logicism without Classes; 3. Arbitrary Functions; 4. Quantification and Finitism; 5. From Truth-Functional Logic to a Logic of Equations; 6. Philosophy and Logical Foundations; 7. The Continuum; 8. Strict Finitism; References; Index
Record Nr.	UNINA-9910455502003321