La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] essersi imbattuto in un fenomeno inaspettato, che oggi con un apparente ossimoro è chiamato 'caos deterministico'.
Sistemiformali e logiche
Paradossi e contraddizioni hanno fatto del problema dei fondamenti un "bel caso patologico", dice Poincaré ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] di analisi sintattica introdotte da Zelig Harris negli anni Quaranta (Harris 1946). Vi sono precedenti nei lavori di logici sui sistemiformali, in particolare Turing (1936-37), A. Thue e E. Post (Post 1936). Parallelamente, e apparentemente in modo ...
Leggi Tutto
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 [...] logica sfumata o fuzzy logic. Mentre l'atteggiamento della logica tradizionale consiste nel rifiuto di importare nei sistemiformali la vaghezza del linguaggio ordinario, quella sfumata parte da presupposti diversi: la teoria degli insiemi su cui ...
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 [...] che la meditazione su questo punto di vista ha indubbiamente favorito l’elaborazione della logica moderna, lo sviluppo dei sistemiformali, del calcolo dei predicati, delle teorie della deduzione e così via. Tuttavia, se è certamente vero che il ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] accolti non senza contrasti. Da un lato fu avanzato il dubbio che la loro validità potesse essere legata al particolare sistemaformale considerato (una versione della teoria dei tipi), dall'altro si usarono i risultati di Gödel come argomento per ...
Leggi Tutto
macchina
màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] L'uso più astratto del termine ricorre, nell'informatica, in varie locuz., quali, per es.: (a) m. formali (o automi), sistemiformali che costituiscono modelli discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] , sono state proposte adeguate metodologie per opera di Robert W. Floyd, Peter Naur e, in particolare, Hoare. Nel sistemaformale proposto da Hoare (chiamato logica di Hoare o, a volte, semantica assiomatica) viene data particolare enfasi all'analisi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] evidente contrasto con la logica classica e sono state ampiamente indagate e definite per tutti i comuni sistemiformali intuizionisti. La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] . I linguaggi, i calcoli logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemiformali di questo tipo e il loro studio dal punto di vista sintattico è particolarmente rilevante per quanto riguarda la ...
Leggi Tutto
Lindenbaum Adolf
Lindenbaum 〈lìndënbaum〉 Adolf [STF] (Varsavia 1904 - m. in un campo di concentramento nazista, forse nel 1942). ◆ [ALG] Algebre di L.: algebre associabili a vari tipi di sistemiformali. [...] ◆ [ALG] Teorema, o lemma, di L.: afferma che ogni teoria non contraddittoria ammette un'estensione nello stesso linguaggio non contraddittoria e completa ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...