La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] tipiche sono
n realizza t=s seesolose t=s è vero;
n realizza A→B seesolose per ogni m che realizza A, n∙m realizza B;
n realizza ∃mB(m) seesolose n è una coppia (m,k) e k realizza B(m).
Qui ∙ è l'operazione di applicazione tra un numero ...
Leggi Tutto
Diritti e tecnologia
Alfonso Celotto
I diritti umani, recepiti da decenni nelle Costituzioni, stanno subendo una profonda trasformazione, grazie alla diffusione delle nuove tecnologie. Internet e i [...] di proteggere i diritti delle generazioni future: il problema sarà capire seèsolo una fase temporanea o lascerà tracce permanenti.
I profili problematici
C’è poi da considerare operativamente l’impatto delle tecnologie come portatore di “nuovi ...
Leggi Tutto
Giudiziario, film
Mario Sesti
Il processo è stato da sempre il rituale che, forse più di qualsiasi altra espressione dell'esercizio di un potere istituzionale, ha goduto di un'eccezionale attenzione, [...] . Quest'ultima sa bene di poter alimentare in continuazione il piacere e l'attenzione dello spettatore soloseè capace di persuaderlo di un significato e successivamente del suo contrario. Solo pochissimi registi sono riusciti a sottrarsi al fascino ...
Leggi Tutto
operazione
operazione nel suo significato più elementare è una legge che a ogni coppia ordinata (a, b) di elementi di un insieme A associa un elemento di A. Tali sono le ordinarie operazioni di addizione [...] all’operazione di divisione con resto, che approssima la divisione ai numeri interi: i risultati di tali operazioni coincidono seesolose il divisore divide il dividendo, vale a dire seesolose il risultato della divisione è un numero intero. ...
Leggi Tutto
ortogonalita
ortogonalità in geometria elementare è sinonimo di → perpendicolarità. Nella sua accezione più semplice il termine è riferito a due rette di un piano che si intersecano formando quattro [...] di rispettivi parametri direttori (l, m, n) e (l′, m′, n′), seesolose risulta ll′ + mm′ + nn′ = 0;
• una retta r di parametri direttori (l, m, n) e un piano π di equazione ax + by + cz + d = 0, seesolose il rango della matrice formata dai tre ...
Leggi Tutto
scalare
scalare [agg. e s.m. Der. del lat. scalaris, nel signif. figurato "che varia secondo una scala graduata", da scala "scala"] [ALG] In contrapp. a vettoriale e tensoriale, di grandezza che è univocamente [...] λv₂+μv₃)=λ(v₁, v₂)+ μ(v₁, v₃) (bilinearità); (c) (v₁, v₁)≥0, dove l'uguaglianza vale seesolose v₁=0 (positività). Per spazi complessi le proprietà (a) e (b) vengono modificate come segue: (a') (v₁, v₂)=(v₂, v₁)----- ; (b') (λv₁+ μv₂, v₃)=λ-(v₁, v ...
Leggi Tutto
ottimizzazione non smooth
Angelo Guerraggio
Teoria e metodi dell’ottimizzazione che utilizzano ipotesi più deboli di quella classica di differenziabilità (secondo Fréchet). La ricerca di una definizione [...] allo stesso insieme. L’insieme di tutti i subgradienti viene detto subdifferenziale. Si dimostra che y appartiene al subdifferenziale di f nel punto x seesolose risulta f′(x,d)≥y∙d per ogni d (dove f′(x,d) indica la derivata di f nel punto x ...
Leggi Tutto
metalinguaggio
Linguaggio attraverso il quale è possibile fare riferimento o fornire una trattazione o teoria (definendone sintassi e semantica) di un altro linguaggio detto linguaggio oggetto. Il linguaggio [...] deducibili tutti gli enunciati della forma «“N è vero (in L)” seesolose p» dove N è il nome per un enunciato del linguaggio L, e p è la sua traduzione nel m. in cui la definizione è formulata. Tarski, inoltre, evidenziò come l’identificazione ...
Leggi Tutto
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] cioè T⊩A, seesolose esiste una parte T′di T per cui T′⊩A. Equivalentemente, una teoria T ha un modello se ne ha uno ogni sua parte finita. Il teorema vale per i linguaggi elementari di qualunque cardinalità dei linguaggi elementari ma non vale in ...
Leggi Tutto
identico
identico termine che, se riferito a un elemento di una struttura con una operazione, indica l’→ elemento neutro rispetto a tale operazione. Pertanto, nell’algebra delle matrici quadrate di ordine [...] = x per ogni elemento x per cui è definita. In algebra si dice poi relazione identica una relazione ρ tale che a ρ b seesolose a = b, mentre un’equazione identica (o identità) è un’equazione soddisfatta da qualunque determinazione delle incognite ...
Leggi Tutto
se
sé pron. rifl. [lat. sē] (radd. sint.). – 1. Forma forte della declinazione del pron. rifl. di 3a pers.; si usa soltanto quand’è riferito al soggetto (maschile o femminile, singolare o plurale) o nelle frasi enunciate con verbo all’infinito...
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni che esprimono una condizione, quelle...