HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS
Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are...
में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | Artigo |
| भाषा: | Inglês |
| प्रकाशित: |
UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
|
| श्रृंखला: | Manuscrito |
| विषय: | |
| ऑनलाइन पहुंच: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015000200005&lng=en&tlng=en |
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|