assiomi, schemadiassiomi, schemadi espressione formale assunta come vera rappresentante un insieme diassiomi aventi la stessa forma e che, quindi, sono considerati come elementi variabili all’interno [...] di una configurazione unitaria. Uno schemadiassiomi esprime la verità di tutti gli assiomi che esso rappresenta e, come tale, esprime un’affermazione di ordine superiore a quella che stabilisce la verità di ciascuno di essi. ...
Leggi Tutto
astrazione, schema d'assiomidi
astrazione, schema d’assiomidi nella sistemazione assiomatica della teoria degli insiemi, nota come teoria nbg (→ Neumann-Bernays-Gödel, teoria di), schemadiassiomi [...] che permette di formare la classe di tutti gli insiemi, che non è, in tale teoria, un insieme. ...
Leggi Tutto
Anatomia
N. del seno (o n. seno-atriale) Formazione anatomica situata nell’atrio destro del cuore, in corrispondenza dello sbocco della vena cava superiore, importante nella regolazione del ritmo cardiaco.
Astronomia
Per [...] e K− hanno un incrocio e K0 non ne ha; allora vale la formula
t−1 ∙ VK+(t)−t ∙ VK−(t) = (t1/2−t−1/2)VK0(t).
Questo schemadiassiomi per il polinomio di Jones è simile a quello utilizzato da J.H. Conway per una generalizzazione del classico polinomio ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] tracciando solo piccole regioni dei diagrammi con la convenzione che essi coincidano nelle parti non mostrate.
Questo schemadiassiomi per il polinomio di Jones è simile a quello utilizzato da John H. Conway (v., 1970; v. Kauffman, 1980 e 1983) per ...
Leggi Tutto
Neumann-Bernays-Godel, teoria di
Neumann-Bernays-Gödel, teoria di o teoria NBG, sistema diassiomi per la teoria degli insiemi che si affianca a un’altra sistemazione assiomatica, la teoria di → Zermelo-Fraenkel [...] equivalente. La teoria fu originariamente proposta da J. von Neumann nella sua tesi di laurea del 1925, con lo scopo di rendere finito lo schemadiassiomi ZF, fu quindi perfezionata da P. Bernays e ulteriormente completata e semplificata da ...
Leggi Tutto
aritmetica, sistema formale per l'
aritmetica, sistema formale per l’ descrizione dell’aritmetica come teoria formale a partire da un sistema diassiomi. Per l’aritmetica si utilizzano innanzitutto i [...] nel quale P indica una qualunque proprietà espressa da una formula ben formata di tale teoria. Tale schemadiassiomi introduce nella teoria formale il principio di → induzione matematica:
(se una proprietà è vera per 0 e se per ogni numero la ...
Leggi Tutto
Peano, assiomidi
Peano, assiomidi insieme diassiomi che definisce l’insieme N dei numeri naturali e permette di costruire l’aritmetica come sistema ipotetico-deduttivo. La teoria dei numeri naturali, [...] predicati, l’assioma S9 è uno schemadiassiomi; si tratta cioè di un enunciato che può generare infiniti assiomi, uno per ogni formula P(x) del sistema S. L’assioma S9 corrisponde al quinto assiomadi Peano, cioè al principio di induzione. Tuttavia ...
Leggi Tutto
schemaschèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. diassiomi: nella logica matematica, un insieme finito diassiomi che viene rappresentato con un'unica formula, in cui compaiono uno o più simboli la cui precisazione ...
Leggi Tutto
DI PAOLO, Giovanni Andrea
Mauro De Nichilo
Nacque a Napoli sul finire del sec. XVI, presumibilmente nei primi anni Ottanta.
Intrapresi gli studi giuridici, seguì i corsi del senese Alessandro Turamini, [...] assiomi sono formulati compendiando nell'ordine i 50 libri delle Pandette giustinianee); in coda, fuori schema sguardo agli scritti dei giuristi napol. del Seicento, in Atti dell'Accad. naz. di scienze morali e polit. in Napoli, LXX (1959), pp. 8, 10, ...
Leggi Tutto
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] può essere inquadrata nel seguente schema generale: a) si considera un insieme I di sistemi fisici per i quali di queste leggi vengono assunte come assiomi e tutte le altre ne discendono. Esiste più di un sistema diassiomi per la p. e ciascuno di ...
Leggi Tutto
schema
schèma s. m. [dal lat. schema, gr. σχῆμα -ματος «forma, aspetto, configurazione», da un tema di ἔχω «possedere, avere»] (pl. -i). – 1. Modello convenzionale, semplificato rispetto alla più complessa realtà di un problema, di un fenomeno,...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...