Romanian Journal of Information Technology and Automatic Control / Vol. 23, No. 4, 2013

Definitions and Theorems

Paul SFETCU

Abstract:

In this article we review the facts that led to the crisis of mathematics and then to the quest of their fundaments, by which the foundation of sciences is found. We point out that the definition is not unique and that it is the dynamical factor of mathematics, allowing the intelectual act of creation all its liberty of movement.

Keywords:
definition, propositional function, metamathematics, proof.

View full article:

CITE THIS PAPER AS:
Paul SFETCU, "Definitions and Theorems", Romanian Journal of Information Technology and Automatic Control, ISSN 1220-1758, vol. 23(4), pp. 21-32, 2013.