Adamo di Buckfield 

Egidio Guidubaldi

Francescano inglese (sec. XIII), originario della Contea di Oxford (come deducibile dalla qualifica geografica che ne accompagna il nome) questo A. va, anzitutto, [...] : Roma (convento di S. Isidoro), Assisi, Bologna, Venezia (con provenienza padovana) e, soprattutto, Firenze, munita in S. Croce (come deducibile dai nn. 549 e 560 dell'Inventario-Mazzi) di un completo duplicato delle sue opere. Di fronte a tanta

Adamo di Buckfield

polacco 

polacco [Der. del polacco polak "riguardante la Polonia"] [ANM] Spazio p.: spazio la cui topologia sia deducibile da una struttura di spazio metrico e separabile: v. misura e integrazione: IV [...] 6 f

polacco

deduzione, teorema di 

deduzione, teorema di in logica, stabilisce che se dagli assiomi di un sistema formale S e da una formula A del sistema è deducibile la formula P, allora dai soli assiomi di S è [...] deducibile la formula A ⇒ P che è, quindi, un teorema di S (→ deduzione).

deduzione, teorema di

refutazione 

refutazione di una formula in un sistema formale, è la dimostrazione della sua negazione. In un sistema formale, se una formula A non è deducibile e non è refutabile (cioè anche non A non [...] è deducibile) allora la formula è indecidibile (→ decidibilità). Più in generale, il termine può riferirsi alla non accettazione di una congettura, che può essere refutata esibendone un controesempio. Un metodo per determinare se una proposizione va

refutazione

SERVASANTO da Faenza 

Nicolò Maldina

SERVASANTO da Faenza (Servasan, Servasantus, Servasius tuscus, Johannes Servasancti, Iacobus Servasanto). – Nacque forse a Faenza a cavallo del 1220 o del 1230.
La [...] , 1924, p. 179) di Giacomo Boncambio o.p., vescovo di Bologna dal 1244 alla morte (1260), e dunque se ne deduce che Servasanto ricevette gli ordini entro queste due date.
La prima attestazione del nome (o probabilmente dell’appellativo adottato una

Dizionario Biografico degli Italiani (2020)

SERVASANTO da Faenza

geometria desarguesiana 

geometria desarguesiana geometria nella quale, oltre agli assiomi del piano affine, si assume come assioma una proposizione equivalente al teorema di Desargues relativo ai triangoli [...] omologici (→ Desargues, teorema di). Poiché tale teorema non è deducibile nel piano affine, possono costruirsi anche geometrie in cui non valga tale teorema e che sono pertanto dette geometrie non desarguesiane.

geometria desarguesiana

MONALDO da Capodistria 

Paolo Evangelisti

MONALDO da Capodistria (Monadus Iustinopolitanus). – Nacque a Capodistria o, secondo alcuni, a Pirano (Sbaraglia), nel secondo decennio del XIII secolo.
La data [...] di nascita, non attestata dalle fonti, è deducibile da un atto notarile dell’Archivio capitolare di S. Giusto a Trieste nel quale si attesta che M. fu ministro della provincia francescana di Slavonia nel 1257 (Parentin, 1982). Nel 1285 Pietro di

Dizionario Biografico degli Italiani (2011)

MONALDO da Capodistria

subordinato 

subordinato [agg. Part. pass. di subordinare, dal lat. subordinare "disporre ordinatamente", comp. di sub- e ordinare "mettere in ordine"] [LSF] Di ente che per qualche verso dipende gerarchicamente [...] da un altro, nel senso che è deducibile da nozioni particolari di esso o che, inversamente, questo altro ente è una generalizzazione di esso e quindi lo comprende, insieme ad altri enti della stessa natura, quale, nella geometria, uno spazio s., una

subordinato

ROBERTO di Grantmesnil 

Francesco Panarelli

ROBERTO di Grantmesnil. – Originario del Calvados, in Normandia, figlio di Roberto di Grantmesnil e di Hadwise di Giroi, nacque all’incirca nel 1030.
Anche [...] questa data indicativa, come la massima parte delle informazioni sulla sua vita, è deducibile dalle opere di Orderico Vitale, che fu monaco nel monastero normanno di Saint-Evroul e scrisse oltre trent’anni dopo la morte di Roberto.
Il padre, morto a

Dizionario Biografico degli Italiani (2016)

ROBERTO di Grantmesnil

pieno (pino, solo in Rime dubbie XXVI 2, è dovuto alla rima " piuttosto umbra che siciliana ", Contini)

Antonio Lanci

Aggettivo largamente usato, in funzione sia attributiva che predicativa. Il complemento [...] che ne dipende, introdotto da ‛ di ', è in qualche caso non espresso, ma facilmente deducibile dal contesto; talora è usato assolutamente.
Nel senso proprio di " riempito ", " colmo ", in riferimento a cose materiali, cui è connessa l'idea di un ‛

pieno

deducibile 

deducìbile agg. [der. di dedurre]. – 1. Che si può dedurre, cioè desumere con procedimento logico: dalle premesse sono facilmente d. le conseguenze. 2. Che si può detrarre: oneri d., voci di spesa che si possono sottrarre dall’ammontare ...

deducìbile

quotato 

agg. [part. pass. di quotare]. – 1. Di un valore mobiliare, di una merce, di un’impresa economica e sim., che ha una quotazione: società q. in borsa; titoli quotati. 2. Di un cavallo, che ha avuto l’assegnazione di una quota per le ...