ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] fondamentale tesi secondo cui, nel fondare la geometria, accanto al criterio logico di indipendenza e compatibilità dei postulati, occorre tener conto del criterio psicologico, che porta ad indagare le sensazioni e le esperienze che hanno condotto a ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] tedesco, insegnante dal 1876 al 1902 presso la Technische Hochschule di Karlsruhe, è colui che sistema e porta a compimento l'algebra della logica del XIX secolo. I tre volumi delle sue Vorlesungen über die Algebra der Logik (Lezioni sull'algebra ...
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 [...] dell'allocazione delle risorse; la ricerca delle condizioni che portano alla migliore ripartizione di risorse date diventa il problema come Otto Neurath (autore del manifesto del neopositivismo logico), Moritz Schlick, Rudolf Carnap e Karl Menger ( ...
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 [...] , dunque questo è impossibile. Dal momento che l'assunzione ¬φ porta a una conclusione impossibile, si conclude che S⊦φ, come desiderato la consacrazione definitiva dei risultati di Gödel presso i logici, l'accettazione tra i matematici, invece, è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] certo insieme limitato B del piano il campo di vettori corrispondente entra ed esce alternativamente. Gli sviluppi di questa tecnica porteranno alla nozione di indice di Conley. Francesco Stoppelli sarà il primo, nel 1952, a usare il metodo di Leray ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] si traduce nell'affermazione che le attività cerebrali di natura logica o deduttiva si possono simulare mediante un computer. Norbert perché si sperava che il suo studio avrebbe potuto portare a una descrizione semplice dell'insieme di tutte le ...
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 [...] del suo programma di innovazione: esso, per la parte logica, è più interessato a rafforzare il legame della teoria con livello di fuzziness della descrizione presa in esame. E questo porta al problema delle .
Una misura di fuzziness h è semplicemente ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Enrico Betti
Iolanda Nagliati
Enrico Betti fu uno dei più importanti matematici italiani del 19° sec.; ottenne risultati rilevanti in vari campi di ricerca: l’algebra, con gli studi sulla risoluzione [...] due curatori nell’introduzione come «inimitabile modello di logica e di chiarezza» per insegnare ai giovani la 58-84); in esse formulò un importante teorema di reciprocità che porta il suo nome e che gli consentì di elaborare metodi originali per ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Ruggero Giuseppe Boscovich
Pasquale Tucci
Nato in Dalmazia da padre serbo, si formò e operò in Italia, dove fu tra i primi a promuovere la diffusione e la discussione critica del newtonianesimo. Nell’opera [...] Boscovich, 1961, p. 30). Nel 1759 intraprese un viaggio che lo portò prima a Parigi per sei mesi, e poi a Londra, dove entrò di elaborazione. In essa Boscovich criticava la struttura logica della meccanica newtoniana, dove lo spazio assoluto e il ...
Leggi Tutto
CONFORTO, Fabio
Francesco Saverio Rossi
Nato a Trieste nel 1909 da Ruggero e Irene Vascotto, quando la città era ancora parte integrante dell'Impero austro-ungarico, visse gli anni dell'infanzia, a [...] in un punto dello spigolo normalmente a una faccia, porta la risoluzione del problema mediante l'ìntegrazione di un giusto valore testi scolastici, enciclopedie, opere di logica matematica e di logica della scienza. Altri scritti di carattere storico ...
Leggi Tutto
porta1
pòrta1 s. f. [lat. pŏrta, affine a pŏrtus -us «porto3»] (pl. -e; pop. ant. le pòrti). – 1. a. Vano aperto in un muro o altra struttura per crearvi un passaggio costituito da un elemento orizzontale (soglia) posto a livello del pavimento,...
rigore
rigóre s. m. [dal lat. rigor -oris, der. di rigēre «essere rigido»]. – 1. letter. Rigidità, in senso materiale: il r. delle membra intirizzite; il r. della morte (lat. rigor mortis); tronchi ... in rigor di pietra, simili a gemmei steli...