Caterina Scaccianoce
Abstract
Nell’ambito della giustizia penale differenziata, il giudizio abbreviato si inserisce nel solco dei procedimenti speciali deflativi del dibattimento. Riformato dalla l. n. [...] non era sottoposto ad alcun sindacato giurisdizionale. Il giudizio abbreviato era adottato dal giudice in base al criterio della “decidibilità allo stato degli atti”, con ciò intendendosi, da un lato, che dagli elementi probatori acquisiti sino alla ...
Leggi Tutto
Turing
Turing Alan Mathison (Londra 1912 - Wilmslow, Cheshire, 1954) logico e matematico inglese. È uno dei fondatori della teoria della → calcolabilità e quindi dell’informatica, e un pioniere dell’intelligenza [...] . In quello stesso periodo entrò in contatto con A. Church, che lavorava sugli stessi temi relativi alla calcolabilità e alla decidibilità. Nel 1939 ritornò a Cambridge e, durante la seconda guerra mondiale, fu invitato a far parte del gruppo di ...
Leggi Tutto
Skolem
Skolem Thoralf Albert (Sandsvaer 1887 - Oslo 1963) logico e matematico norvegese. Iniziò gli studi di matematica presso l’università di Kristiania (l’odierna Oslo) nel 1905, dove insegnò algebra [...] risultare non numerabile perché la teoria non dispone dei mezzi per enumerarlo (l’insieme di coppie in cui consiste l’enumerazione non è nel modello). Le sue idee innovatrici furono utilizzate da Gödel nello studio della decidibilità degli asserti. ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] Ottocento, le quali ripropongono problemi in parte tralasciati dalla matematica dell'infinito e del continuo, come quelli della decidibilità e della costruibilità degli enti matematici in un numero finito di passi (v. continuità, XI, p. 237; infinito ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...]
L(M) è ricorsivo L(M) non è ricorsivo.
Per concludere accenniamo solo a due conseguenze che la teoria della decidibilità ha nell'ambito delle applicazioni. Sarebbe utile poter inserire un programma filtro all'ingresso di un calcolatore, per decidere ...
Leggi Tutto
problema
problema questione, domanda o asserzione la cui soluzione, risposta o giustificazione non è immediatamente disponibile, ma va in qualche modo ricercata, attraverso una strategia risolutiva eseguibile [...] non ricevono una dimostrazione, sono allo stato di → congetture ed è possibile che siano veri, falsi o indecidibili (→ decidibilità). Tra i problemi che «chiedono di dimostrare» vi sono anche problemi non direttamente costruttivi, quali per esempio i ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] . Più o meno negli stessi anni Tarski pubblica i risultati ottenuti nei primi anni Trenta sulla completezza e decidibilità della teoria elementare dei numeri reali e mostra come trasferire queste proprietà alla geometria, formulando in termini logici ...
Leggi Tutto
funzioni ricorsive
Mauro Cappelli
Classe delle funzioni computabili o algoritmiche, ossia delle funzioni n-arie f tali che esiste un algoritmo per computare il valore f(x1,...,x{[) per ogni n-pla di [...] che tutte le funzioni intuitivamente computabili sono ricorsive generali. Accolta questa tesi, risulta precisato il concetto intuitivo di computabilità e, conseguentemente, quello di decidibilità e di costruibilità.
→ Programmazione, algoritmi di ...
Leggi Tutto
proposizionale, calcolo
Locuz. che designa il calcolo logico in cui l’analisi delle inferenze viene condotta a livello delle proposizioni (e dei loro nessi logici) senza indagare la struttura interna [...] logiche intensionali). Dato un sistema formale è possibile studiarne le proprietà metateoriche: il sistema formale per la logica p. classica gode, per es., della proprietà della consistenza, della correttezza, della completezza, e della decidibilità. ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] del primo ordine, avviano l’indagine metateorica del sistema formale, sollevando due fondamentali questioni: la completezza e la decidibilità.
La nascita della teoria dei modelli
Nei primi anni del Novecento tanto le riflessioni dei logicisti, quanto ...
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.