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...

Descrizione completa

Dettagli Bibliografici

Autore principale:	GIORGIO VENTURI
Natura:	Artigo
Lingua:	Inglês
Pubblicazione:	UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
Serie:	Manuscrito
Soggetti:	Hilbert Axioms Intuitions Axiom of Completeness Frege Reference of axioms Cesar's problem Foundations of geometry Proof theory Grundlagen der Geometrie
Accesso online:	http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015000200005&lng=en&tlng=en
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!