BORELLI, Giovanni Alfonso
Ugo Baldini
Nacque a Napoli il 28 genn. 1608 da Laura Borrello (Porrello, Vorriello), moglie di un soldato spagnolo della guarnigione del Castel Nuovo, Miguel Alonso "de Varoscio", [...] retta per un punto esterno come il risultato di un teorema ricavabile da assiomi precedenti, e non una nozione primaria, una disputa tra lo Huygens ed il padre Fabri sul "sistemadi Saturno", cioè sulla configurazione del pianeta coi suoi anelli, i ...
Leggi Tutto
Diritto
Fabio Alonzi
Raffaella Bonsignori
Il diritto può essere definito, in estrema sintesi, come un insieme di previsioni normative che, supportato da un adeguato apparato sanzionatorio, tende a [...] del 1975 e del 1986, che hanno introdotto un sistemadi misure alternative alla detenzione, rimane immutata: un fondo nella rappresentazione di alcuni importanti assiomi culturali: in primo luogo la presunzione dell'indispensabilità di ogni parte del ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] incompletezza ottenuti da Kurt Gödel nel 1931. Questi dimostrano, in primo luogo, che nessun sistema finito diassiomi riuscirà mai a caratterizzare completamente e univocamente la struttura dei numeri interi, che pure è l’oggetto matematico più ...
Leggi Tutto
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 [...] matematiche si possono vedere come sistemi deduttivi definiti in opportuni linguaggi formali aventi un carattere puramente combinatorio, specificabile in termini di insiemi diassiomi e di regole di deduzione algoritmicamente dominabili. L'idea ...
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 [...] Macaulay (1862-1937) l'analisi di speciali sistemidi equazioni algebriche (come gli ideali determinantali quali si assumono poi come assiomi nella definizione di complesso algebrico) e da queste proprietà si deducono i gruppi di omologia Hi(X):=Zi(X ...
Leggi Tutto
Geomatica per la gestione del territorio
Maurizio Fea
Mario Angelo Gomarasca
La geografia è oggi una disciplina autonoma, capace di fornire una visione sintetica del nostro pianeta e delle complesse [...] nelle zone potenzialmente interessate. Il luogo ideale di adozione di un sistemadi questo tipo è dunque quello di una sala operativa. In tale ottica, il sistema è basato su tecniche congiunte di SIT e di ingegneria delle reti informatiche che lo ...
Leggi Tutto
DE CECCO, Marcello
Pier Francesco Asso
Nascita e formazione
Marcello de Cecco nacque a Roma il 17 settembre 1939.
È stato un economista, storico e pubblicista tra i più noti e rispettati nella seconda [...] una visione dell’economia come scienza ‘pura’, fondata su assiomi logici e astratti, avulsi dai contesti politici, sociali e colpo all’operatività del sistemadi Bretton Woods, rendendo più ardue le capacità di controllo degli aggregati monetari ...
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 [...] il terreno al punto di vista che porterà in seguito a distinguere un sistemadi regole e procedimenti a tale sviluppo, Peirce fissa un insieme diassiomi per la logica enunciativa e propone di valutare gli enunciati composti attribuendo in maniera ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Economia (2013)
Bruno de Finetti
Stefano Lucarelli
Giorgio Lunghini
Bruno de Finetti ha dato molti e importanti contributi alle scienze: alla matematica pura e applicata, alla teoria della probabilità, alle scienze [...] variabile aleatoria G che rappresenta il guadagno relativo a un sistemadi scommesse sugli eventi considerati: G=SI(E)–V. A permettere a ciascuno di tendere a realizzare il massimo tornaconto egoistico. [...] Ma è vero un simile assioma? Molte pseudo ...
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 [...] classica) si può dimostrare una proposizione p dotata di significato con l'aiuto diassiomi transfiniti, dalla coerenza di A segue solo che non-p non è formalmente derivabile nel sistema A. Tuttavia rimane concepibile che si possa percepire ...
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...
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...