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 [...] di Teor, un predicato che esprime la dimostrabilità all'interno dell'aritmetica di Peano. Fu quindi individuata una classe di algebre di Boole arricchite di un operatore che traducesse le proprietà del predicato 'Teor', tra le quali vi è la proprietà ...
Leggi Tutto
BIANCHI, Luigi
Enzo Pozzato
Figlio del giurista Saverio, nacque a Parma il 18 genn. 1856. Entrato alla Scuola normale superiore di Pisa il 14 nov. 1873, si laureò in matematica il 30 nov. 1877. Fu abilitato [...] e principi di aritmetica analitica, Pisa 1921; Dimostrazione elementare della infinità degli ideali di primo grado in ogni corpo algebrico, in Rend. dell'Accademia nazionale dei Lincei, classe d. scienze fis., s. 5, XXXI (1922), 2, pp. 413-415 ...
Leggi Tutto
SANSONE, Giovanni.
Enrico Rogora
– Nacque a Porto Empedocle (Agrigento) il 24 maggio 1888, da Giuseppe, fuochista, e da Carmela Lifonti.
Compì gli studi superiori a Palermo presso la sezione fisico-matematica [...] in matematica con il massimo dei punti e la lode, sotto la direzione di Luigi Bianchi.
Fu assistente alle cattedre di algebra e geometria analitica presso l’Università di Pisa dal 1° novembre 1911 al 31 dicembre 1912. Nel 1913 vinse un concorso ...
Leggi Tutto
processo
procèsso [Der. del lat processus -us "avanzamento, progresso", dal part. pass. di procedere (→ procedimento)] [LSF] (a) Ogni successione di fenomeni e di operazioni che presenti una certa unità, [...] e debolmente equivalente: v. distribuzioni di probabilità infinitamente divisibili, teoria delle: II 225 c, d. ◆ [PRB] P. stocastico algebrico: v. probabilità quantistica: IV 596 b. ◆ [PRB] P. stocastico ergodico: v. processi stocastici: IV 608 b ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] Society di Cambridge e G. Boole
Il quadro cambia se ci si sposta in Inghilterra, dove il fiorire degli interessi algebrico-matematici troverà sbocco nella grande opera di G. Boole. Si era infatti formata a Cambridge la Analytical Society (1812 ...
Leggi Tutto
Conformità o equivalenza tra più parti, termini, elementi.
Biologia
Concetto che esprime il rapporto fra organi o strutture morfologiche propri di categorie tassonomiche diverse (fig. 1), ma aventi la [...] della retta limite j è ax+by+c=0.
Topologia
La teoria dell’o. costituisce uno dei capitoli centrali della topologia algebrica. Essa si propone di esprimere proprietà geometriche e caratteri topologici di una varietà Vn di dimensione n attraverso n+1 ...
Leggi Tutto
identità Termine filosofico indicante in generale l’eguaglianza di un oggetto rispetto a sé stesso.
Filosofia
Principio di i. Viene così chiamato il principio che, insieme a quelli di non-contraddizione [...] cioè corrispondere a ogni elemento dell’insieme l’elemento stesso).
In generale, i. di un gruppo o di altro insieme algebrico, è l’elemento identico o elemento neutro, quell’elemento cioè che risulta indifferente rispetto al prodotto.
Psicologia
L’i ...
Leggi Tutto
MATEMATICA
Federico Enriques
Matematica, o matematiche (gr. τὰ μαϑηματικά da μάϑημα "insegnamento") significa originariamente "disciplina" o "scienza razionale". Questo significato conferirono alla [...] matematiche indiane (p. 548); 9. Gli Arabi (p. 548); 10. Risveglio dell'Occidente (p. 549); 11. Il Rinascimento e gli algebristi italiani (p. 549); 12. Analisi infinitesimale e meccanica (p. 549); 13. Meccanicismo e fisico-matematica (p. 550); 14. La ...
Leggi Tutto
PROGRAMMAZIONE LINEARE
Amato HERZEL
Claudio NAPOLEONI
. 1. - Generalità e posizione del problema. - Sotto l'aspetto matematico, il termine p. l. indica una classe di problemi consistenti nella ricerca [...] modo, la variabile da eliminare dalla base è sempre univocamente determinata ed è esclusa la possibilità di cicli.
Aspetto algebrico del metodo del simplesso. - Siano xk1, xk2, ..., xkm le varabili-base di una soluzione-base accettabile, xkm+1, xkm ...
Leggi Tutto
RECIPROCO
. 1. Il vocabolo "reciproco" ricorre spesso, nella matematica, nel suo senso logico di carattere generale. Nell'enunciato di ogni teorema si distinguono la ipotesi I, che si fa sul soggetto [...] ∣ars∣, diverso da zero, si dice reciproco di ogni singolo suo elemento ars il quoziente del corrispondente complemento algebrico Ars per il valore del determinante considerato (v. determinante). Denotato il reciproco di ars con ars (dove r ...
Leggi Tutto
algebrico
algèbrico agg. [der. di algebra] (pl. m. -ci). – Di algebra, che concerne l’algebra: calcoli a., somma a., analisi a., ecc.; in partic.: espressione a., ogni scrittura in cui compaiano numeri, lettere e indeterminate, queste ultime...
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...