Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] cumulativa, seppur non consegue una condizione finale dicompletezza almeno vi si approssima asintoticamente. La scienza matematica (dal teoremadiGödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] all'opera Grundlagen der Mathematik (Fondamenti della matematica, 1934) ‒ che i teoremidiGödel segnassero il fallimento del suo programma. Ma egli doveva già aver preso visione di un altro risultato che sconvolgeva la sua concezione complessiva. Il ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] per l'esito del famoso teoremadi K. Gödel, che nel 1931 mostrò l'intrinseca impossibilità di stabilire, entro un sistema messa a punto delle nozioni tecniche di validità, dimostrabilità, indipendenza, completezza, coerenza e simili.
Da quanto ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] necessarie e sufficienti affinché una formula di T sia un teoremadi T. Una prima soluzione di questo problema è espressa dal teoremadicompletezza semantica diGödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] a problemi dicompletezza.
Valerij Ivanovič Glivenko (1897-1940) presentò nel 1928 una formalizzazione (incompleta) della logica proposizionale intuizionista derivando informalmente ¬¬(¬P⋁P), ¬¬¬P→¬P, (¬P⋁P→¬Q)→¬Q; egli utilizzò questi teoremi per ...
Leggi Tutto
completezzacompletézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] coincidente con f (nel senso che per gli stessi argomenti assume gli stessi valori di f). ◆ [FAF] Teoremadi c. semantica: nella logica, teorema, dimostrato da H. Gödel nel 1930, secondo il quale ogni teoria elementare, cioè del primo ordine, non ...
Leggi Tutto