CAGNAZZI DE SAMUELE, Luca
Dizionario Biografico degli Italiani (1973)
CAGNAZZI DE SAMUELE, Luca
C. Paola Scavizzi
Nacque ad Altamura il 28 ott. 1764 da Ippolito e Livia Nesti. Orfano di padre fin dal 1767, a otto anni fu messo in collegio a Bari, per interessamento del [...] marchese Carlo De Marco. Ne uscì nel 1779 dopo aver compiuto studi di belle lettere, geometria, logica e cronologia. Iscritto quindi alla regia università di Altamura, seguì il corso di filosofia e legge, proseguendo tuttavia per suo conto lo studio ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Zermelo, Ernst
Enciclopedia on line
Matematico (Berlino 1871 - Friburgo in Brisgovia 1953). Studiò a Gottinga e fu prof. di matematica nell'univ. di Zurigo (1910). Il suo nome è legato a importanti problemi del calcolo delle variazioni, [...] insieme può essere bene ordinato, ha suscitato la più viva discussione tra i matematici all'inizio del sec. 20º e ha condotto a un rilevante sviluppo dell'indagine critica dei fondamenti della logica matematica e della teoria generale degli insiemi. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
connettivo
Enciclopedia on line
Linguistica
Termine con il quale si indicano gli elementi (specialmente avverbi o locuzioni avverbiali e congiunzioni coordinanti o subordinanti) che hanno la funzione di collegare le parti di un testo [...] concessivi, temporali, causali, finali.
Medicina
Per il tessuto connettivo ➔ connettivo, tessuto.
Matematica
Connettivi enunciativi
In logica matematica, termini sincategorematici che o si premettono a un enunciato (negazione) o si interpongono fra ...
Leggi Tutto
formalismo
Enciclopedia on line
Diritto
F. giuridico Concezione del diritto secondo la quale l’essenza del fenomeno giuridico consiste nella qualificazione da parte del diritto di atti, fatti e comportamenti che non sarebbero giuridici [...] classica che fanno uso dell’infinito attuale e che quindi vanno oltre l’evidenza intuitiva, cerca di darne una ricostruzione logica servendosi però solo di quei metodi dimostrativi che, per la loro semplicità ed evidenza, diano il massimo di garanzia ...
Leggi Tutto
addizióne
Dizionario delle Scienze Fisiche (1996)
addizione
addizióne [Der. del lat. additio -onis "atto ed effetto dell'aggiungere", dal part. pass. additus di addere "aggiungere"] [ALG] Una delle quattro operazioni aritmetiche elementari (insieme [...] di due o più numeri dati (detti addendi); ha come simb. il segno + (per es., 3+4=7). ◆ [FAF] Nella logica formale, modo di argomentare basato sul principio che la somma di più cose considerate singolarmente e successivamente è uguale all'insieme di ...
Leggi Tutto
Scienza greco-romana. Archimede
Storia della Scienza (2001)
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] . 4A)) che a loro volta sono decomposti in coni e altri solidi di tipo conico e nelle loro superfici (fig. 4B). La struttura logica portante di quest’opera consiste quindi in una riduzione che avviene in due fasi, da sfere a coni e da coni a piramidi ...
Leggi Tutto
monadico
Dizionario delle Scienze Fisiche (1996)
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato riferibile a singoli elementi. ...
Leggi Tutto
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] matematica (teoria dei tipi, teoria delle funzioni e dei funzionali ricorsivi) che nell’informatica. Nella logica, sopratutto dopo la individuazione da parte di Haskell B. Curry e William A. Howard di una fondamentale corrispondenza tra funzionali ...
Leggi Tutto
CATEGORIA:
LOGICA
coerente
Dizionario delle Scienze Fisiche (1996)
coerente
coerènte [agg. Der. del part. pres. cohaerens -entis del lat. cohaerere "essere strettamente unito"] [LSF] Oltre che nel signif. proprio, il termine è usato, figurat., per indicare qualcosa [...] .: ampiezze di probabilità con fase relativa definita che per sovrapposizione interferiscono tra loro. ◆ [ANM] Calcolo c.: nella logica matematica, calcolo in cui non sono dimostrabili contemporaneamente un'espressione e la sua negazione; è sinon. di ...
Leggi Tutto
CATEGORIA:
FISICA ATOMICA E MOLECOLARE
–
FISICA MATEMATICA
–
MECCANICA QUANTISTICA
–
METROLOGIA
–
OTTICA
–
TEMI GENERALI
–
ANALISI MATEMATICA
Lèvi, Beppo
Enciclopedia on line
Matematico italiano (Torino 1875 - Rosario, Argentina, 1961), prof. di geometria analitica e analisi algebrica (dal 1906) nelle univ. di Cagliari, Parma, Bologna. Nel 1938, in seguito ai provvedimenti [...] (1935-38 e dal 1945). Autore di significativi contributi alla geometria algebrica (scioglimento delle singolarità delle superfici, forme cubiche ternarie), ai fondamenti della geometria e dell'analisi, alla logica matematica (postulato di Zermelo). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE