Cargando…
A survey of mathematical logic /
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Dordrecht :
Elsevier Science,
1963.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 33. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Axiomatic method
- Eighty years of foundational studies
- On formalization
- Axiomatization of arithmetic
- Computation
- Variant to Turing's theory of calculating machines
- Universal Turing machines : an exercise in coding
- Logic of automata
- Toward mechanical mathematics
- Circuit synthesis by solving sequential Boolean equations
- Predicate calculus
- Many-sorted predicate calculi
- Arithmetization of metamathematics
- Ackermann's consistency proof
- Partial systems of number theory
- Different axiom systems
- Relative strength and reducibility
- Truth definitions and consistency proofs
- Between number theory and set theory
- Some partial system
- Certain predicates defined by induction schemata
- Undecidable sentences suggested by semantic paradoxes
- Formalization of mathematics
- Some formal details on predicative set theories
- Ordinal numbers and predicative set theory.