STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] a Gödel, che si fondano sul presupposto di una esistenza oggettiva e autonoma degli enti logico-matematici o comunque sulla decidibilità di tutti i suoi asserti, come base della certezza della matematica, a prescindere dalla sua connessione con la ...
Leggi Tutto
Turing, macchina di
Turing, macchina di automa universale, elaborato dal logico inglese A.M. Turing, che fornisce una traduzione formale del concetto intuitivo di → calcolabilità. Sebbene introdotta [...] di automi, il cui livello più alto è appunto la macchina di Turing: la sua generalità va tuttavia a scapito della decidibilità perché quanto più è generale un automa e ampia la classe dei linguaggi che esso può riconoscere, tanto più numerosi sono i ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Cinquanta del Novecento furono proposti due approcci allo studio matematico [...] strutturale. Del nuovo calcolo, che sarà chiamato calcolo di Lambek, egli mostra importanti proprietà computazionali quali la decidibilità e il teorema di eliminazione del taglio. Nel 1993 dopo tre decenni di tentativi è stato finalmente dimostrato ...
Leggi Tutto
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] all’ultima della famosa serie di domande poste da David Hilbert nel 1928 a proposito della completezza, coerenza e decidibilità della matematica formale.
Turing sarebbe diventato la figura principale nello sforzo britannico, coronato da successo, di ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] all'ultima della famosa serie di domande poste da David Hilbert nel 1928 a proposito della completezza, coerenza e decidibilità della matematica formale.
Turing sarebbe diventato la figura principale nello sforzo britannico, coronato da successo, di ...
Leggi Tutto
La Cassazione e l'annullamento senza rinvio
Gastone Andreazza
Tra le modifiche operate sul piano delle norme processuali penali dalla l. 23.6.2017, n. 103 deve ricomprendersi anche la nuova formulazione [...] nuova locuzione e, dall’altro, invece, nel tentativo di rivestire di effettivo significato l’elemento della “decidibilità”, in letture potenzialmente destabilizzanti perché inevitabilmente conducenti a richiedere alla Corte un giudizio sui fatti.
La ...
Leggi Tutto
assiomatizzazione
Processo che riconduce un insieme di conoscenze a principi dai quali l’insieme può essere derivato o dedotto. È possibile distinguere nella riflessione matematica (e in quella filosofica [...] studio delle proprietà metateoriche delle teorie assiomatizzate. Tra le proprietà più note ricordiamo: la coerenza, l’indipendenza, la completezza e la decidibilità. Una teoria T è coerente se e solo se non vi è alcuna formula A di T tale che sia A ...
Leggi Tutto
Cesare Cavallini
Abstract
Introdotto nell’ordinamento con gli artt. 34-37 d.lgs. 17.1.2003, n. 5, in attuazione della delega contenuta nell’art. 12, l. 3.10.2001, n. 366, e sopravvissuto all’abrogazione [...] e che, nondimeno, il legislatore del 2003 ha avvertito l’esigenza di caratterizzare in maniera autonoma, subordinandone la decidibilità per mezzo degli arbitri (non già alla mera previsione nella clausola compromissoria statutaria, bensì anche) alla ...
Leggi Tutto
Il superamento della centralità dell’azione di annullamento
Maria Alessandra Sandulli
Nei primi mesi del 2011, la giurisprudenza amministrativa è intervenuta con tre significative pronunce del Consiglio [...] dal momento della domanda») e le condizioni dell’azione (ossia «i requisiti della domanda che condizionano la decidibilità della controversia nel merito – che devono esistere al momento della decisione») – la sentenza osserva che «tale impedimento ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
L'elettronica
Nel secondo decennio del XX sec., il termine 'elettronico' [...] Bombe.
Prima della guerra Turing aveva proposto una soluzione al problema presentato da David Hilbert (1862-1943) sulla decidibilità della matematica (in breve Hilbert aveva posto la questione se esisteva una procedura che potesse dare come risposta ...
Leggi Tutto
decidibilita
decidibilità s. f. [der. di decidibile]. – La qualità o la condizione di essere decidibile, sia in senso generico, sia nel sign. specifico della logica matematica.