Ordinare il mondo
Paolo Zellini
La matematica intesa come una razionalizzazione dell’esperienza, secondo la concezione del filosofo e matematico italiano Federigo Enriques (1871-1946), ha sempre cercato [...] esprime un problema nella forma x=g(x), in cui il punto x rimane invariato (fisso) sotto l’azione dell’operatore g, e si calcola passo per passo xk=g(xk−1), per k=1, 2, 3,…, iniziando da un valore assegnato x0, in modo che xk converga alla soluzione ...
Leggi Tutto
colecistostasi
Ostacolato deflusso della bile dalla cistifellea per atonia di questa o per ostacolo dovuto ad anomalie di forma e posizione dell’organo, alla presenza di calcoli (colelitiasi), a infiammazione [...] delle vie biliari, a compressioni estrinseche (neoplasie, gravidanza in fase terminale, ecc.). Può dar luogo a sintomi che simulano la calcolosi biliare e favorire l’idrope e l’empiema della cistifellea. ...
Leggi Tutto
urologia Branca specialistica, che ha per oggetto lo studio e il trattamento delle malattie dell’apparato urinario. Le sue origini risalgono ai tempi più antichi. Il reperto di calcoli vescicali e di [...] ) ecc. Tra il 16° e il 18° sec. fiorirono i cosiddetti litotomisti, empirici che praticavano l’asportazione dei calcoli vescicali, detta allora ‘taglio della pietra’.
Gli sviluppi dell’u. moderna si riannodano alle grandi scoperte del 19° sec ...
Leggi Tutto
NUMERAZIONE
Ettore BORTOLOTTI
Iliehard DANGEL
Richard DANGEL
. Il concetto di numero, per sua natura primitivo e astratto, viene per uso costante estrinsecato in aggruppamenti di cose sensibili [...] fatte in pezzetti di legno, piccoli stecchi infilati o infissi in asticelle, mucchietti o file di pietruzze (donde le voci: calcolo e calcolare) o di dischetti, ecc. L'uso di cordoni a nodi, o portanti perle (mobili o fisse), staccati, o riuniti in ...
Leggi Tutto
Costruzione di una certa grandezza e capacità (stazza lorda superiore a 50 t; per stazze inferiori si parla di imbarcazione), adibita al trasporto per acqua di persone, merci, o anche ad azioni belliche. [...] effettiva, in oceano tempestoso, hanno confermato la fondatezza di questi procedimenti, e i risultati dei calcoli e i concetti relativi sono implicitamente codificati nei vigenti dettagliatissimi regolamenti internazionali e nazionali degli istituti ...
Leggi Tutto
Condotto escretore della bile che fa seguito al dotto epatico; inizia al punto di confluenza con il cistico e sbocca nel duodeno. L’infiammazione del c. ( coledocite) è causata da calcoli o da agenti microbici [...] parte del quadro di una colangite. L’incisione chirurgica del c. ( coledocotomia) è indicata nella calcolosi e nella ipertensione delle vie biliari. Per i calcoli incuneati nella papilla di Vater o nella porzione intraduodenale del c., si pratica la ...
Leggi Tutto
Intervento terapeutico di frantumazione di un calcolo situato nelle vie urinarie o in quelle biliari, per consentirne la successiva eliminazione per via naturale. Viene effettuata con tecniche varie: l. [...] in immersione oltre che in anestesia peridurale – ma di intensità tale da non danneggiare l’organismo e focalizzata sul calcolo sotto controllo di due telecamere a raggi X. A tutti i litotritori è solitamente associato un ecografo che permette di ...
Leggi Tutto
Primogenita dell'imperatore Alessio I Comneno e di Irene Duca, nacque il 1° dicembre 1083: fu subito fidanzata per calcoli dinastici a Costantino Duca, l'erede presunto del trono. Contestatile i diritti [...] al trono con la nascita del fratello Giovanni (1086) e perduto il fidanzato (1093), andò sposa a Niceforo Briennio (v.) nel 1097, costretta a passare in secondo ordine di fronte al fratello. Ma ambiziosa, ...
Leggi Tutto
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi di sistemi formali sono [...] logici quali il calcolo degli → enunciati o il calcolo dei → predicati. I sistemi formali hanno lo scopo di formalizzare le teorie matematiche: si pensi al sistema di assiomi di → Peano per l’aritmetica o al sistema di assiomi di Zermelo-Fraenkel ...
Leggi Tutto
pianificazione
pianificazióne [Der. di pianificare, da piano] [LSF] Atto ed effetto dell'elaborare un piano, cioè un programma, di cose da fare; per es., p. di esperimenti, di calcoli, ecc. ...
Leggi Tutto
calcolabile
calcolàbile agg. [der. di calcolare]. – Che può essere calcolato. In matematica, funzione c., funzione che può essere calcolata, per la quale esiste cioè un procedimento effettivo per calcolare il suo valore per dati valori dei...