VETTORE
Roberto Marcolongo
Matematica. - Le grandezze, che si incontrano in geometria, in meccanica, in fisica, si possono distinguere in due classi. Le une - quali, ad es., le lunghezze, le aree, i [...] uguaglianza fra vettori si riduce all'identità logica e, come tale, gode senz' sono i tre vettori e le componenti delprimo e secondo vettore. Segue allora subito che u con Δ2u (parametro differenziale di 2° ordine) o anche semplicemente con Δu; e si ...
Leggi Tutto
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 [...] implicitamente mediante opportuni assiomi che generalmente si conviene di conglobare tra gli assiomi logici. Ogni sistema formale di questo genere si dice una t. delprimoordine con identità. Tali sono, per es., le t. dei gruppi, quella degli anelli ...
Leggi Tutto
Logico tedesco (n. 1878 - m. 1957); docente in un liceo di Berlino, fu sospeso (1934) dall'insegnamento per motivi razziali, e poi reintegrato (1946). Ha dato contributi fondamentali alla logica, a cui [...] , Über Möglichkeiten im Relativkalkül, L. dimostra alcune proprietà delle formule di quello che sarà chiamato "calcolo predicativo delprimoordine con identità", tra cui la più nota è espressa dal teorema di L., secondo il quale, per ogni formula ...
Leggi Tutto
Matematico e informatico statunitense (San Francisco 1927 - Pittsburgh 1992). Prof. di computer science alla Carnegie-Mellon University (1967), ha dato importanti contributi in intelligenza artificiale, [...] J. C. Shaw il pensiero umano con processi informatici e dimostrando così, mediante l'elaborazione di diversi teoremi del calcolo, predicati delprimoordine della logica matematica. È autore, tra l'altro, di Human problem solving (in collab. con H. A ...
Leggi Tutto
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] di ricorrenza Ti è la variabile casuale che dà il tempo delprimo ritorno allo stato i e la sua speranza E(Ti) la positività in uno spazio di funzioni opportunamente ordinato, tali che Pt1 = 1, ove 1 un'opportuna struttura per la logica - e, insieme a ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] scienza che si diletta a ritrovare un ordine nel mondo. Secondo De Giorgi, elaborazione della logica moderna, lo sviluppo dei sistemi formali, del calcolo dei ancora trovato il suo valore, che c’è prima che qualcuno l’abbia pensato e scritto. Così ...
Leggi Tutto
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 [...] Società filosofica italiana. A difatti del 1906 il primo e forse più importante contributo dell'E. a quest'ordine di temi, e cioè il i quali si denominano appunto procedimenti logici. In questo senso la logica può riguardarsi come una parte della ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] del fondatore dell'ordine Ignazio di Loyola (1491/1492-1556) fu lo spagnolo Jerónimo Nadal (1507-1580), che prima di entrare nell'ordine né basi metafisiche, come voleva Platone, né basi logiche, come avevano sostenuto Averroé e i traduttori latini. ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia ordine detto) 40, 26×20×16 e 80.
Il lanciatore europeo Ariane di veicoli spaziali. Il programma per la costruzione delprimo ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] v. VII, Il linguaggio e la logica, redatto da Christoph Harbsmeier e pubblicato nel 3 4 / … La recitazione intrecciata invertiva l'ordine delle parole e introduceva nuove forme che non comparivano nei è una mitologia delprimo tipo, perché ostacola ...
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,...