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
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
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
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
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] porta al problema delle .
Una misura di fuzziness h è semplicemente un funzionale h: ✄(X)→ℝ+, dove ℝ+ denota i numeri reali non negativi, che soddisfa alcune condizioni che dipendono dal sistema considerato.
Gli assiomi base sono i seguenti :
a) h ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Federigo Enriques
Giorgio Israel
La figura di Federigo Enriques occupa una posizione centrale nella storia della cultura italiana tra la fine dell’Ottocento e la Seconda guerra mondiale. Egli fu uno [...] mediana: occorre conciliare il criterio logico di indipendenza e coerenza degli assiomi con la loro radice psicologica, che affonda un’obiettività crescente si consegue perfezionando il sistemadi rappresentazioni mentali scientifiche della realtà, e ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] del V postulato di Euclide, trasse un vasto e coerente sistemadi conseguenze geometriche nel tentativo di pervenire a una (1680) offriva un nuovo e importante tentativo di dimostrazione dell’assioma sulle parallele, e i Nouveaux elémens de géometrie ...
Leggi Tutto
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] termini di tre nozioni primitive (cioè non definite): quella di n. naturale, quella di successore e quella di zero (0). Gli assiomidi Peano di primo grado e di grado superiore, la ricerca delle soluzioni intere di equazioni, o disistemidi ...
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...