Cargando…
A study in the philosophy of science /
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Dodrecht :
Elsevier Science,
1959.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 25. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Prehistory of research into foundations
- Aristotle's theory of science
- Historical development of symbolic logic and formalised axiomatics
- Introduction
- Extension of the system of natural numbers
- Theory of natural numbers
- Axiomatics of fundamental theories of modern mathematics
- Introduction
- Survey of symbolic logic
- Finitary theory of proof
- Syntax
- Semantics
- Logicism
- Cantorism
- Intuitionism
- Nominalism
- Paradoxes of logic and set theory and their solution
- Completeness theorems for logical systems
- Calculus of systems and models
- Further applications of topological methods
- Theory of recursive functions and the negative results concerning the decision problem
- Metamathematics, philosophy of mathematics and general philosophy.