potenziale
Dizionario delle Scienze Fisiche (1996)
potenziale
potenziale [agg. e s.m. Der. del lat. potentialis, da potentia "potenza"] [LSF] (a) In contrapp. ad attuale, di ciò che ha la capacità di esplicarsi in qualcosa, ma non attuandosi ancora. [...] ritardo |r-r'|/c. Usando il linguaggio della relatività ristretta, il quadrivettore Rμ=(t (4πε₀R), ove ε₀ è la costante dielettrica del vuoto, R=c(t-t')=|r-r'| è tale correzione alla distanza è compensata al primo ordine in vR/c dal fattore [1-(vR ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Storia della Scienza (2004)
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 [...] sono formulati nei termini solitamente ambigui e imprecisi del linguaggio colloquiale: in una parola, quelle che non calcolo proposizionale esteso, ossia il calcolo proposizionale del secondo ordine (primo scalino, per così dire, della prototetica), ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Cavalieri, Bonaventura
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Bonaventura Cavalieri
Enrico Giusti
Dopo un periodo di assimilazione della matematica classica, che si era protratto per tutto il secolo precedente, il Seicento è caratterizzato da un intenso lavoro [...] ordini minori e poco dopo fu mandato a Pisa per perfezionarsi. La data precisa di questo trasferimento non è nota, ma con ogni probabilità esso avvenne non più tardi della prima metà del di grado qualsiasi (in linguaggio moderno, delle curve di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Storia della Scienza (2004)
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 [...] le modalità nel metalinguaggio. Il loro ritorno all'interno del linguaggio, realizzato dalla logica modale, è dovuto, oltre tra queste e quelle esprimibili nella logica classica al primo ordine, o altri problemi ancora, ma tutti lontani dall' ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
aritmetica
Enciclopedia dei ragazzi (2005)
aritmetica
Roberto Levi
Dal contare al far di conto
Fin dai tempi più antichi, l'uomo ha sentito l'esigenza di contare gli oggetti che lo circondavano: per questo ha inventato i numeri. Ben presto, [...] contare per prime le pecore del primo insieme, avessimo contato per prime le pecore del secondo insieme, saremmo giunti allo stesso risultato, eseguendo l'addizione 4+5=9. L'addizione, infatti, gode della proprietà commutativa: cambiando l'ordine dei ...
Leggi Tutto
CATEGORIA:
ARITMETICA
AGNESI, Maria Gaetana
Dizionario Biografico degli Italiani (1960)
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, [...] agli sviluppi in serie, alle equazioni differenziali del primo e del secondo ordine. L'A. studia molte curve piane estero per la loro chiarezza d'esposizione e la precisione del linguaggio: ne sono prova le recensioni apparse nei periodici scientifici ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] insieme di enunciati o formule, espresse in un determinato linguaggio L (ordinario o simbolico) suscettibile di opportune interpretazioni in Ogni sistema formale di questo genere si dice una t. del primo ordine con identità. Tali sono, per es., le t. ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità corretta di "enunciato vero" rispetto a un linguaggio-oggetto dato e a elaborare i conseguenti problemi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
lambda
Enciclopedia on line
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera? Il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
TEMI GENERALI
–
ANTROPOLOGIA FISICA
–
MICROBIOLOGIA
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
LOGICA MATEMATICA
LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] di tradurre ogni insieme di formule del calcolo dei predicati del primo ordine (contenente quindi in generale dei .
Sebbene il metodo dei tableaux non abbia ancora prodotto linguaggi di programmazione ad alto livello di pratico impiego come il ...
Leggi Tutto