Cargando…

Towards a philosophy of real mathematics /

In this ambitious study, David Corfield sets out a variety of approaches to new thinking about the philosophy of mathematics, and challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Corfield, David
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, UK ; New York : Cambridge University Press, 2003.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.