Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] i più simili a w°) in cui è vera A. Se la classe dei mondi selezionata da f contiene un solo mondo (secondo la proposta originaria il terzo escluso, che risulta un teorema nel sistema minimale C1 di da Costa e nella gerarchia di sistemi costruiti su ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] Sn, ed è un aperto se X è un complesso geometrico. Le classi di omologia vengono così definite per certi aperti di Sn tramite questa dualità. due cappi è definita come il cappio ottenuto percorrendo prima C1 e poi C2). Se in un'espressione nei cappi ...
Leggi Tutto
Statistica
Eugenio Regazzini
La maggior parte delle indagini e degli esperimenti ‒ siano essi condotti a scopi di natura scientifica oppure per esigenze di tipo industriale, realizzati su larga scala [...] .I rapporti fh≡Nh/N (h=1,...,s) si dicono frequenze e la funzione φ, definita sulla classe di tutti i sottoinsiemi di {C1,...,Cs} in modo che per ogni A⊂{C1,...,Cs} il suo valore φ(A) coincida con la somma delle frequenze associate agli elementi di A ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle variazioni
Craig Fraser
Calcolo delle variazioni
Il problema di Euler
Nel 1744 Leonhard Euler formulò il problema principale del calcolo delle variazioni nei [...] δy=εu(x), dove u(x) è la funzione in [7] con c1 e c2 costanti arbitrarie.
Il contributo di Jacobi fu quello di concepire una teoria uso sia di sviluppi in serie sia della classe di variazioni deboli per ottenere molte delle condizioni necessarie ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] 1 ⋁...⋁ An ⋁ B1 ⋁...⋁ Bj-1 ⋁ Bj+1 ⋁...⋁ Bm) è una conseguenza logica (un risolvente) di C1 e C2. Per es. se C1=¬P(s(0), s(0), w) ⋁¬P(w, s(0), w1), C2=¬P(x, y, z) qualsiasi, ma solo da una classe ristretta di dimostrazioni, le cosiddette ...
Leggi Tutto