METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] to Gödel, a source book in mathematical logic 1879-1931 (a cura di J. Van Hejenoort), Cambridge, Mass., 1967; La filosofiadellamatematica (a cura di C. Cellucci), Bari 1967 (contiene, inter alia, la versione italiana del già riferito saggio di G ...
Leggi Tutto
KOLMOGOROV, Andrej Nikolaevič
Matematico sovietico, nato a Tambov il 25 aprile 1903. Dal 1938 al 1966 professore di teoria della probabilità all'università di Mosca e poi direttore dei laboratori di [...] e statistica, K. si è occupato di molti rami dellamatematica, dove pure ha dato contributi di ricerca notevoli, di filosofiadellamatematica, di logica e di fondamenti dellamatematica e di applicazioni alla fisica, alla biologia, alla tecnologia ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti dellamatematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] tout court o il ruolo nella riflessione filosofica sulla matematica, e rubricando questioni vitali di filosofiadellamatematica come questioni di pertinenza della teoria della conoscenza.
L’unica figura della scuola di Peano che affronta il problema ...
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 [...] , in maniera più radicale e decisa dei semiintuizionisti, la concezione intuizionista dellamatematica. La filosofiadellamatematica di Brouwer è inserita in un sistema filosofico generale, ai punti essenziali del quale egli restò fedele per tutta ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni matematiche
Roshdi Rashed
Le tradizioni matematiche
Capire lo sviluppo dellamatematica in un periodo di sette secoli, stabilire [...] di primo piano sia algebristi (v. cap. XLI). Esistono poi ricerche di filosofiadellamatematica; c'è la tradizione dei commenti alle grandi raccolte di matematica, che si presentano sotto varie forme, cioè compendi, commenti esplicativi, commenti ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] teorie logiche dei pensatori che si richiamano in vario modo alla filosofia hegeliana (F.H. Bradley e B. Bosanquet in Inghilterra, alla teoria logicista che considera la l. come fondamento dellamatematica; non però, come i formalisti, in quanto gli ...
Leggi Tutto
Filosofia
Nel linguaggio filosofico, lo stato di ogni realtà in quanto è tale, o, in senso specifico, lo stato della realtà che può essere oggetto di un’esperienza sensibile.
E. ed essenza
Nella storia [...] da una aperta insoddisfazione per la filosofiadella conciliazione e della totalità (per es., di per un dato problema. Mentre i grandi matematici dei secoli precedenti e della prima metà dell’Ottocento avevano generalmente ammesso come evidente l’ ...
Leggi Tutto
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] da premesse, modellato sul tipo della d. matematica (R. Descartes, G. Leibniz). Nuovo impulso ha ricevuto lo studio della d. con lo sviluppo dell’assiomatica (➔ assioma) e delle ricerche sui fondamenti dellamatematica fino al costituirsi di un ...
Leggi Tutto
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] trovano continua applicazione nell’algebra (coefficienti binomiali, determinanti, gruppi di sostituzioni) e sono di utilità in tutti i campi dellamatematica. L’analisi c. offre inoltre i mezzi per risolvere alcune questioni fondamentali del calcolo ...
Leggi Tutto
Filosofia
Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità.
Critica dei f. Processo iniziato [...] , non collegati tra loro da alcuna relazione o operazione ( teoria generale degli insiemi), della concatenazione e della diramazione delle varie branche dellamatematica a partire dalla teoria degli insiemi, quando si introducono via via relazioni ...
Leggi Tutto
filosofia
filoṡofìa s. f. [dal lat. philosophĭa, gr. ϕιλοσοϕία, comp. di ϕιλο- «filo-» e σοϕία «sapienza»]. – 1. Nella tradizione occidentale, termine che, a partire da un primo sign. di desiderio di cultura e di conoscenza in generale, si...
identità s. f. [dal lat. tardo identĭtas -atis, der. di idem «medesimo», calco del gr. ταὐτότης]. – 1. L’essere identico, perfetta uguaglianza: i. di due firme, di due concetti; i. piena, vera, totale, assoluta. Con accezioni partic.: a. In...