Dall'interno del libro
Risultati 1-3 di 20
Pagina 51
In tal modo si poteva veramente esser persuasi che ogni sistema assiomatico
non contradittorio risultasse « costitutivo » di ... In fondo , la libertà di proporre
sistemi assiomatici altro non era che la libertà di costruire nuovi enti matematici ,
e ...
In tal modo si poteva veramente esser persuasi che ogni sistema assiomatico
non contradittorio risultasse « costitutivo » di ... In fondo , la libertà di proporre
sistemi assiomatici altro non era che la libertà di costruire nuovi enti matematici ,
e ...
Pagina 54
Per essere sicuri della non contradittorietà di un sistema assiomatico non si può
d ' altra parte indefinitamente ricondurla a quella di un altro sistema ( come
tecnicamente si riesce a fare ) , perché verrà pure il momento in cui ci si dovrà
affidare ...
Per essere sicuri della non contradittorietà di un sistema assiomatico non si può
d ' altra parte indefinitamente ricondurla a quella di un altro sistema ( come
tecnicamente si riesce a fare ) , perché verrà pure il momento in cui ci si dovrà
affidare ...
Pagina 58
Ebbene , il teorema di Gödel chiarisce appunto come sia impossibile trovare
sistemi assiomatici « semanticamente completi » per l ' aritmetica elementare .
Che dire di questa conclusione ? Purtroppo non c ' è che da prendere atto :
sappiamo ...
Ebbene , il teorema di Gödel chiarisce appunto come sia impossibile trovare
sistemi assiomatici « semanticamente completi » per l ' aritmetica elementare .
Che dire di questa conclusione ? Purtroppo non c ' è che da prendere atto :
sappiamo ...
Cosa dicono le persone - Scrivi una recensione
Nessuna recensione trovata nei soliti posti.
Sommario
Sulla logica del cervello | 39 |
Riflessioni su alcuni orizzonti della logica | 47 |
Analisi logica e scelta | 71 |
Copyright | |
5 sezioni non visualizzate
Altre edizioni - Visualizza tutto
Parole e frasi comuni
absolu alla bonne Bultmann caractère Certes chose chrétienne Christ ciò come concept concrète condition connaissance conscience considérer critique d'être della demande démythisation détermination Dieu différentes dire discours divine doit donne effet exemple fatto fede filosofia fonde forme formule Grecs historique homme humaine interprétation j'ai l'acte l'autre l'être l'existence l'histoire l'homme langage liberté limite linguaggio logica logique lui-même manière manifeste matematica ment mito modo monde morale mouvement mythe mythique nature nécessaire objective ogni parler parole Paul pensée pensiero Père personne philosophie più plutôt porte pose position possibilité pourrait précisément premier présente problema propre proprio può pure qu'une quale questa question raison rapport réalité réel relation religieux religion représentation reste révélation rien s'agit s'il savoir science semble sens senso serait seulement signification simplement sistema solo structure subjective sujet symbole tale termes théologie trouve valeur vérité viene vrai zione
Informazioni bibliografiche
| Titolo | Archivio di filosofia, Edizioni 1-3 Archivio di filosofia, Associazione filosofica italiana Edizioni 1-3 di Archivio di filosofia: organo dell'Istituto di studi filosofici, Società filosofica italiana |
| Collaboratori | Istituto di studi filosofici, Associazione filosofica italiana, Società filosofica italiana |
| Editore | Bocca, 1966 |
| Provenienza dell'originale | la University of Michigan |
| Digitalizzato | 8 apr 2005 |
| Esporta citazione | BiBTeX EndNote RefMan |