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 [...] e solo se A⊃B è necessariamente vera. Assumendo l'equivalenza delle due definizioni si ottiene ∉(A ∉B)≡□(A⊃B) e, ponendo al posto di A una fonte di problemi di ardua soluzione. Un fondamentale risultato di Silvio Ghilardi (1990) raggiunto con metodi ...
Leggi Tutto
BORELLI, Giovanni Alfonso
Ugo Baldini
Nacque a Napoli il 28 genn. 1608 da Laura Borrello (Porrello, Vorriello), moglie di un soldato spagnolo della guarnigione del Castel Nuovo, Miguel Alonso "de Varoscio", [...] l'occasione per esporre ai matematici della penisola le idee fondamentali di quella che sarà la sua revisione di Euclide, pubblicata l'analisi dai fondamenti del problema, studiando le varie definizioni del concetto di epidemia ed i tipi di cause che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Günther Frei
Teoria analitica dei numeri
La teoria analitica dei numeri non è una teoria matematica ben definita, [...] p1/ps∼log 1/(s-1), e ciò dà luogo alla definizione di Kronecker: se M è un insieme di numeri primi, allora p per un numero primo p, allora:
Da tale risultato Kronecker dedusse un fondamentale teorema sulla fattorizzazione di F(x) in Z[x]: se Mk è l' ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] variazioni non ci si può limitare ad apprendere le definizioni, dare alcuni assiomi e poi applicarli ai vari profondo con tutti gli altri.
Accanto ai testi sapienziali, fondamentale è stata la riflessione sui teoremi di incompletezza ottenuti da ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] per 0 e 1 il loro valore determini, come nella definizione bivalente, quello delle componenti. Come mostrato da Kurt Schütte nel complesso e si articola in due tipi di passi fondamentali. Il primo consiste nella sostituzione di un taglio su ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] di vista intrinseco e determinava le proprietà fondamentali di una varietà n-dimensionale a partire dall'espressione del suo elemento lineare. Riemann non si limitava comunque a estendere le definizioni e i risultati di Gauss relativi alla teoria ...
Leggi Tutto
Gioco
Thomas Crump
Definizioni e terminologia
La definizione di Huizinga
Secondo una definizione fornita nel 1938 dallo storico olandese Johan Huizinga nel suo studio Homo ludens, il gioco può essere [...] 'agon, bisogna anche riconoscere con chiarezza il ruolo fondamentale assunto, a vari livelli, dalla matematica. Molte fattori esaminati in questo capitolo, ci si chiede se la definizione di Huizinga possa essere ancora accettata, in tutto o in parte ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento
Jeremy Gray
Problemi di analisi complessa alla fine dell'Ottocento
La teoria generale [...] si toccano nella pavimentazione definiscono coppie di lati nel tassello fondamentale che, quando sono incollati assieme, danno origine a una delle funzioni intere, perfezionò e semplificò le definizioni relative alla descrizione della crescita di una ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Lo sviluppo della matematica di Apollonio: Desargues, Pascal¿
Paolo Freguglia
Lo sviluppo della matematica di Apollonio: Desargues, Pascal e le [...] gioca un ruolo cruciale nelle dimostrazioni di fondamentali risultati di significato proiettivo e Desargues lo richiama esplicitamente (sempre per il caso piano). Cominciamo presentando le definizioni desarguesiane, relative a ciò che noi chiamiamo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] definitoriamente', ossia attraverso l'aggiunta di una definizione che introduce un nuovo concetto appartenente a , allora ℂ(M)=ℂ(N) e presentò fra l'altro il fondamentale teorema di Lindenbaum secondo cui ogni insieme consistente di proposizioni può ...
Leggi Tutto
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. dei termini di una questione. 2. L’atto,...
natura
s. f. [lat. natūra, der. di natus, part. pass. di nasci «nascere»]. – 1. Il sistema totale degli esseri viventi, animali e vegetali, e delle cose inanimate, che presentano un ordine, realizzano dei tipi e si formano secondo leggi. Quindi:...