What is a mathematical theory?

Mycielski, Jan

32609-120654-1-PB.pdf (1.334Mb)

Author

Mycielski, Jan

Type

Artículo de revista

Document language

Español

Publication Date

1985

Summary

Since Hilbert' s and Skolem's work in foundations of mathematics we got used to mathematizing the concept of a theory as a theory formalized in first order logic.

Keywords

Hilbert' s ; Skolem's ; foundations of mathematics ; theory ; logic ;

URI

https://repositorio.unal.edu.co/handle/unal/48783

Collections

Revista Colombiana de Matemáticas [827]

Atribución-NoComercial 4.0 Internacional

This work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit