ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] se esiste un procedimento per raggiungere in un numero finito di passi qualunque elemento di I). I concetti di decidibilità, costruibilità e computabilità sono così strettamente collegati che, non appena si riesca a precisarne uno, gli altri due ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] dimostrò che la teoria degli interi con + come unico operatore è decidibile. Büchi dimostrò negli anni Sessanta la decidibilità di un'altra porzione della logica: la teoria monadica del secondo ordine degli interi con successore. La dimostrazione si ...
Leggi Tutto
Medicina
Nicola Dioguardi e Riccardo de Sanctis
La medicina è la scienza che ha per oggetto lo studio delle malattie, la loro cura e prevenzione. Pratiche terapeutiche e sistemi che riguardano la salute [...] : 1) quando la decisione da prendere solleva dubbi di ordine religioso; 2) quando si deve esprimere un giudizio sulla decidibilità di fatti che vanno al di là dei paradigmi, delle regole, dei metodi accettati dalla medicina ufficiale e, più in ...
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.