La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] proposizionale esteso, ossia il calcolo proposizionale del secondo ordine (primo scalino, per così dire, della formalizzate) segnò un'altra tappa fondamentale nella storia della logicadel Novecento.
Il successo fu enorme; a parte i chiarimenti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] α*=1 vale in ogni algebra di chiusura se e solo se α è un teorema del calcolo modale S4. Lo stesso rapporto sussiste tra il calcolo S5 (che è una tra queste e quelle esprimibili nella logica classica al primoordine, o altri problemi ancora, ma ...
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 [...] competenza le superficie razionali del 4° ordine a sezione di genere F (2), F (3) (le prime già note, munite di tacnodi). Due logica matematica e di logica della scienza. Altri scritti di carattere storico mettono ìn evidenza le qualità discorsive del ...
Leggi Tutto
AGNESI, Maria Gaetana
Mario Gliozzi
Gianfranco Orlandelli
Nacque il 16 maggio 1718 a Milano da Pietro, professore di matematica all'università di Bologna. Posta sotto la guida di ottimi insegnanti, [...] vindicabat M. C. de A. mediolanensis.
Vi si tratta di logica, ontologia, pneumatologia, meccanica dei gravi, dei fluidi, dei corpi agli sviluppi in serie, alle equazioni differenziali delprimo e del secondo ordine. L'A. studia molte curve piane, ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] trasferire queste proprietà alla geometria, formulando in termini logici generali la procedura che sta alla base della elementari: strutture e linguaggio
I linguaggi elementari o delprimoordine sono, non solo storicamente, i più importanti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] di 'definitezza' proponendo le formule di un linguaggio delprimoordine per gli assiomi che la coinvolgono. Ne deduce il e negli anni Venti i pochi che lo citeranno saranno i logici come John von Neumann (1903-1957). Maggiore risonanza ha la ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Vito Volterra
Angelo Guerraggio
Fino agli anni Settanta del secolo scorso, le tracce di Vito Volterra nel mondo matematico italiano sono rimaste piuttosto deboli. La maturazione di una diversa sensibilità [...] le ricerche matematiche, il valore da attribuire alla logica e a una sempre maggiore generalità dei risultati da Lotka-Volterra) pervenendo a un sistema di due equazioni differenziali delprimoordine:
Formula 1
dove x=x(t) rappresenta nel tempo ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] gli stessi valori di f). ◆ [FAF] Teorema di c. semantica: nella logica, teorema, dimostrato da H. Gödel nel 1930, secondo il quale ogni teoria elementare, cioè delprimoordine, non contraddittoria ha un modello numerabile, cioè ha un modello il cui ...
Leggi Tutto
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] fattori, di una frazione il numeratore e il denominatore. ◆ [ALG] [FAF] Nella logica matematica, in una teoria formalizzata delprimoordine o di ordine superiore, ogni costante individuale (se ve ne sono), ogni variabile individuale, ogni simbolo di ...
Leggi Tutto
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] un sistema formale delprimoordine. Il criterio per eseguire questo collegamento è, per lo più, il seguente. Si scelgono una volta per tutte più numeri interi a, b, c, d, ..., da farsi corrispondere ordinatamente ai vari segni del sistema formale, T ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...