Bolzano, Bernhard
Enciclopedia on line
Carlo Cellucci
Teologo cattolico, logico e matematico (Praga 1781 - ivi 1848). Figlio di un emigrato italiano nativo di Nesso, nel 1805 fu nominato prof. di filosofia della religione all'univ. di Praga. [...] ma nessun elemento di M1 o M2 sia un elemento di più di una coppia. Sulla base di questa definizione B. osservò che un insieme ìnfinito può essere isomorfo a un suo sottoinsieme proprio; tuttavia egli non adottò tale proprietà come definizione degli ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
GADAMER, Hans Georg
Enciclopedia Italiana - IV Appendice (1978)
GADAMER, Hans Georg
Valerio Verra
Filosofo tedesco, nato a Marburgo l'11 febbraio 1900. Dopo essersi laureato in filosofia con Natorp nel 1922, ha studiato filologia classica e successivamente ha conseguito [...] il senso totale della storia. Proprio per il suo carattere autenticamente dialettico e dialogico il linguaggio è infatti insieme infinito come lo spirito, e finito come ogni accadere storico; per questo l'interpretazione non è qualcosa di soggettivo ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] continuo, mentre lo è quello dei numeri reali. Come si può esprimere tutto ciò in termini di proprietà di insiemi infiniti? Il concetto di corrispondenza biunivoca si rivela lo strumento decisivo. È possibile, chiede Cantor a Dedekind, dimostrare che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
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 [...] questione irrisolta della teoria cantoriana dei numeri cardinali.
Evidentemente, Cantor dava per scontato che per ogni insieme infinito A l'insieme potenza
sia una totalità definita, con un suo numero cardinale. Inoltre, in base al suo principio ...
Leggi Tutto
L'Età dei Lumi: le scienze della vita. I modelli epistemologici della morfogenesi, dell'organizzazione e della finalità
Storia della Scienza (2002)
L'Eta dei Lumi: le scienze della vita. I modelli epistemologici della morfogenesi, dell'organizzazione e della finalita
Catherine Wilson
I modelli epistemologici della morfogenesi, dell'organizzazione [...] , la natura nascosta delle cause e la transitorietà delle forme. La Natura non ci offre altro che un insieme infinito di entità individuali, prive di suddivisioni precise, le cui reciproche connessioni e modalità di successione dipendono da nuances ...
Leggi Tutto
logiche a piu valori
Enciclopedia della Scienza e della Tecnica (2008)
logiche a più valori
Settimo Termini
Nel ricco panorama delle varianti della logica classica esse si presentano come logiche non classiche vero-funzionali (cioè, il valore di verità di un enunciato [...] valori di verità. Nei sistemi di logiche a più valori, i valori di verità solitamente formano un insieme finito ordinato, un insieme infinito numerabile o un insieme continuo come, per es., l’intervallo [0,1] della retta reale. Dato anche l’interesse ...
Leggi Tutto
CATEGORIA:
LOGICA
aritmetica di Presburger
Enciclopedia della Scienza e della Tecnica (2008)
aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] assioma di induzione al primo livello della logica si paga un prezzo molto alto: esso è sostituito da un insieme infinito di assiomi, uno per ciascuna proprietà P. La caratteristica fondamentale dell’aritmetica di Presburger è proprio di poter essere ...
Leggi Tutto
CATEGORIA:
LOGICA
calcolabilita
Enciclopedia della Scienza e della Tecnica (2008)
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] poste nei primi decenni del Novecento come conseguenza degli studi sugli insiemi infiniti sviluppatisi negli anni precedenti. Infatti gli algoritmi di calcolo appartengono a un insieme infinito numerabile (cioè i cui elementi possono essere messi in ...
Leggi Tutto
CATEGORIA:
LOGICA
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] può ritenere ben rappresentato da alcune grandi opere d’insieme, apparse a cavallo tra Settecento e Ottocento: i il calcolo delle variazioni si sono giovati dell’estensione infinito-dimensionale del calcolo differenziale classico con l’introduzione di ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
filosofia
Enciclopedia on line
Attività di pensiero che attinge ciò che è costante e uniforme al di là del variare dei fenomeni, con l’ambizione di definire le strutture permanenti della realtà e di indicare norme universali di comportamento.
Definizioni
La [...] comprendono, come la creatura si comprende nel creatore, il finito nell’infinito. Di qui diverse posizioni sui compiti e i limiti della f., descrizione) del mondo, quest’ultimo non essendo un insieme di dati, oggetti o fatti indipendenti dal modo in ...
Leggi Tutto