Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] … Dt sia conseguenza di Γ′. A questo scopo si utilizza la teoria dell'unificazione, che ci permette di restringere la ricerca dei termini da infinitario. Se non ci sono dubbi sulla qualità scientifica di alcuni di questi lavori, le perplessità ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] sono scoperte allo stesso tempo in più luoghi. [...] Poiché ogni lotta scientifica è solo una gran guerra, alla quale non so quando seguirà spazio, quelle da porre a fondamento di una teoria geometrica che parlasse davvero del mondo fisico in cui ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] il fascio strutturale della varietà da cui si deducono altri fasci di ideali, di moduli, di sizigie e così via; secondo la teoria di Cartan e Serre i fasci quasi coerenti e coerenti sono i principali oggetti di studio, i quali, formando una categoria ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] tempo, premessa e limite di conoscenza. Le inferenze del pensiero scientifico non operano più sul reale, bensì sui simboli della traduzione imposte al modello: questo può essere la traduzione di una teoria, più che di una realtà empirica, anche per l' ...
Leggi Tutto
Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] atomica e subatomica. A questa eccezionale stagione scientifica partecipò attivamente Weyl, che fu uno dei preciso fra punti di V//G e le G-orbite in V.
La teoria è stata sviluppata quasi esclusivamente nel caso dei gruppi riduttivi. Il morfismo π è ...
Leggi Tutto
PACIOLI, Luca
Francesco Paolo Di Teodoro
PACIOLI, Luca. – Nacque a Sansepolcro (allora Borgo Sansepolcro), presso Arezzo, attorno al 1446-48, da Bartolomeo, piccolo allevatore e coltivatore, e da Maddalena [...] anni ed è ben manifestato dall’intera sua produzione scientifica, prendendo le mosse, a evidenza, sia dallo -102; J.C. Santoyo, La autotraducción en la edad media, in Autotraduzione, teoria ed esempi fra Italia e Spagna (e oltre), a cura di M. Rubio ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] dell'Ottocento, principalmente ma non esclusivamente in ragione dell'affermarsi della teoria cinetica dei gas e di quella darwiniana dell'evoluzione, in ambito scientifico furono utilizzate maggiormente leggi statistiche con le quali non si afferma ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] e in quella che chiama 'algebra assoluta', intesa come una teoria generale delle connessioni, la base di tutte queste discipline. La di determinare le leggi, o forme, del ragionamento scientifico che rimangono identiche per tutti gli uomini. Nel ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] dimostrazioni che sono altro che affermazioni gratuite", ma "affermare una teoria è una cosa; dimostrarla è un'altra" (1974, p di Lionel Robbins (1898-1984), rappresentato da personalità scientifiche come Friedrich August von Hayek (1899-1992) e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] fu avanzato il dubbio che la loro validità potesse essere legata al particolare sistema formale considerato (una versione della teoria dei tipi), dall'altro si usarono i risultati di Gödel come argomento per abbandonare i sistemi formali. In parte ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...