La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternità del mondo
Storia della Scienza (2001)
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] e l'operatore modale ha effetto sull'intera proposizione; se invece esso interrompe ciò che è espresso dal soggetto e dal predicato, allora si ha una proposizione divisa e in questo caso l'operatore modale modifica soltanto la copula: per esempio, la ...
Leggi Tutto
De Morgan, Augustus
Enciclopedia on line
Matematico inglese (Madura, India, 1806 - Londra 1871). Prof. nell'univ. di Londra dal 1828, pubblicò Elements of arithmetic (1830); The differential and integral calculus (1836-42) e molti altri trattati [...] soprattutto per la disputa con W. Hamilton circa la priorità dell'introduzione del concetto di quantificazione di un predicato. Sviluppò ampiamente la dottrina del sillogismo e la logica delle relazioni. Si occupò anche di induzione, teoria delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Complessità algoritmica
Enciclopedia della Scienza e della Tecnica (2007)
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] la natura e un secondo numero R indipendente da N ed estratto a caso. Come dimostrato da Gary L. Miller e Michael O. Rabin, si ha:
esiste un predicato Z(N,R), con 2〈R〈N, tale che se N è primo allora Z(N,R)=true per ogni valore di R, e se N è composto ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
analìtico
Dizionario delle Scienze Fisiche (1996)
analitico
analìtico [agg. (pl.m. -ci) Der. di analisi] [ANM] Continuazione a.: v. funzioni di variabile complessa: II 777 f. ◆ [RGR] Estensione a.: lo stesso che varietà pseudoriemanniana completa, varietà [...] a.: v. funzioni di variabile complessa: II 776 d. ◆ [FAF] Giudizio a.: nella logica, quello in cui il concetto del predicato è implicitamente contenuto nel concetto del soggetto. ◆ [ANM] Prolungamento a.: lo stesso che continuazione a. (v. sopra). ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
RELATIVITA E GRAVITAZIONE
–
STORIA DELLA FISICA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] f(x1,x2) = μy[g(x1,x2,y) = 0] che si legge: f(x1,x2) pari al più piccolo y tale che sia g(x1,x2,y) = 0. Oppure anche, dato il predicato triadico P e supposto che per ogni coppia (x1,x2) esista almeno un y tale che la terna (x1,x2,y) convenga al ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
proprieta
Dizionario delle Scienze Fisiche (1996)
proprieta
proprietà [Der. del lat. proprietas -atis, da proprius "proprio"] [LSF] Qualità propria e particolare che un ente (una sostanza, un corpo, un sistema materiale, un essere vivente, una specie [...] Il termine, quando non è usato, come ora detto, in relazione alla specificità di un ente, è sinon. di attributo, qualità, predicato e simili. ◆ [ALG] [ANM] P. formali di un ente matematico: ogni conseguenza logica della definizione stessa del-l'ente ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Storia della Scienza (2001)
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 [...] è determinata dal principio in base al quale la negazione di una proposizione si identifica con la negazione del predicato e non del soggetto. Aristotele ha spiegato questo concetto così: "Per esempio, la negazione del giudizio 'essere uomo', risulta ...
Leggi Tutto
enunciato
Dizionario delle Scienze Fisiche (1996)
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia il periodo senza analizzare il rapporto tra soggetto e predicato all'interno delle singole proposizioni. ...
Leggi Tutto
decisione
Enciclopedia on line
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] effettivo, nel senso sopra detto, per stabilire se un qualunque elemento appartenga o no a I.
Si intende per predicato decidibile ogni predicato (cioè ogni proprietà, oppure relazione) quando esiste un procedimento effettivo per stabilire se il ...
Leggi Tutto
estensione
Dizionario delle Scienze Fisiche (1996)
estensione
estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] o di spazio occupata da un determinato ente e anche la relativa misura. ◆ [FAF] (a) Di un termine, un concetto, un predicato, un sistema formale, e simili, è il contenuto di ciascuno di essi. (b) Con altra accezione, nella logica, la classe di tutti ...
Leggi Tutto
CATEGORIA:
ACUSTICA
–
BIOFISICA
–
FISICA MATEMATICA
–
RELATIVITA E GRAVITAZIONE
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA