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 [...] quest'ultimo. Belinfante indagò negli anni Trenta la teoria intuizionista delle funzioni complesse; Heyting si occupò di geometria proiettiva intuizionista e di algebra (in particolare di algebra lineare e teoria dell'eliminazione). Tra il 1952 e il ...
Leggi Tutto
MONFORTE, Antonio
Federica Favino
– Nacque il 28 maggio 1644 a Laurito, nel Cilento, da un ramo della famiglia dei duchi feudatari di quella baronia fin dal XIV secolo.
Compiuti i primi studi a Potenza [...] lo più disconoscevano all’ars analytica. La costruzione geometrica delle equazioni ha qui una funzione elusivamente surrettizia, necessaria solo in quei casi in cui l’algebra non è in grado di fornire le risposte dovute. Trattando analiticamente dei ...
Leggi Tutto
MIRANDA, Carlo
Franco Palladino
Nacque a Napoli il 15 ag. 1912 da Giovanni, medico e professore all’Università di Napoli (di cui fu rettore nel 1921-23) e da Elena Nimmo.
Compiuti gli studi secondari, [...] anni accademici 1935-37 fu incaricato dell’insegnamento di teoria delle funzioni all’Università di Roma. Nel 1937 vinse il concorso per la cattedra di analisi matematica algebrica e infinitesimale e fu chiamato dall’Università di Genova in qualità ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] a oggi hanno avuto un ruolo privilegiato: la semantica algebrica e la semantica dei mondi possibili, detta anche relazione di accessibilità (o affinità) fra mondi e da una funzione che a ogni enunciato associa la classe dei mondi possibili in ...
Leggi Tutto
GENOCCHI, Angelo
Livia Giacardi
Nacque a Piacenza il 5 marzo 1817 da Carlo, agiato possidente, e da Carolina Locatelli. Fin da giovanissimo il G. si distinse negli studi, in particolar modo in quelli [...] Tortolini, III [1852], pp. 395-405, e Intorno alla funzione Γ(x) e alla serie dello Stirling che ne esprime il logaritmo 320, 345-362), in cui egli fornisce una completa versione algebrica dei problemi presentati da Leonardo Pisano (L. Fibonacci) nel ...
Leggi Tutto
politica e matematica
Angelo Guerraggio
Politica e matematica
Se della politica si vuole sottolineare il carattere propulsivo che ha, o dovrebbe avere, nell’indirizzare la società verso il raggiungimento [...] delle direzioni e degli obiettivi che la ricerca persegue sono funzione anche del periodo storico. L’aria e la cultura che , chiude nel 1966 l’introduzione del suo Cours d’algèbre – un classico manuale di matematica – ricordando la difficoltà ...
Leggi Tutto
topologia
topologia termine che indica sia un settore disciplinare della matematica sia la famiglia (o collezione) di insiemi aperti (o semplicemente aperti) che definisce uno → spazio topologico.
La [...] topologiche astratte di dimensione n qualunque di cui si servì nei suoi lavori sulla teoria delle funzioni e sulla geometria algebrica. Ma il vero fondatore della topologia moderna può essere considerato H. Poincaré, che in alcune fondamentali ...
Leggi Tutto
calcolatore
calcolatóre [Der. di calcolare "eseguire calcoli", da calcolo] [ELT] [INF] Termine, equivalente all'ingl. computer, per indicare generic., spec. nel passato, dispositivi per effettuare calcoli [...] (G. Meslin, 1900). Sempre per la risoluzione di equazioni algebriche, sono da ricordare vari c. elettrici, basati sull'uso di y✄(t)+ a₀y(t), in cui x(t) è una funzione data, y(t) è la funzione da determinare e a₀, a₁, a₂ e b sono coefficienti costanti ...
Leggi Tutto
ASCOLI, Guido
Nicola Virgopia
Nato a Livorno il 12 dic. 1887, studiò a Pisa e ivi si laureò a soli 20 anni (1907) svolgendo con L. Bianchi una tesi di laurea sulle singolarità delle funzioni analitiche. [...] composte mediante funzioni armoniche.
Tra i suoi testi universitari si ricordano: Lezioni di matematiche complementari, fasc. 2, Torino 1952(litografate); Lezioni di algebra, 3 ediz., Torino 1955.Collaborò con le voci Insieme (1933)e Massimi e ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] spazio intersezione e, rispettiv., lo spazio congiungente; (c) nell'algebra, nella teoria dei gruppi, a ogni gruppo G si possono diffrazione solo sotto angoli molto piccoli. Nel caso di funzionamento con luce di lunghezza d'onda λ in trasmissione con ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...