La grande scienza. Automi e linguaggiformali
Dominique Perrin
Automi e linguaggiformali
La teoria degli automi e dei linguaggiformali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] le dimensioni per l'archiviazione. Molti di questi algoritmi si basano su idee che rientrano nel campo degli automi finiti e dei linguaggiformali. Uno dei più famosi è il metodo di Ziv-Lempel che fattorizza l'input in blocchi x1x2…xn… dove xn è la ...
Leggi Tutto
Geometria non commutativa
Irving E. Segal
Sommario: 1. Introduzione. 2. La meccanica quantistica e l'algebra degli operatori. 3. Le forme differenziali quantistiche. 4. Le C*-algebre e la loro teoria [...] si rese conto che le C*-algebre fornivano un linguaggio naturale per la fenomenologia quantistica, cioè per esprimere le ma sarà più semplice e in definitiva più vicino al formalismo della teoria quantistica dei campi trattare queste forme in un ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] l'insieme di tutte le eventualità combinabili di n elementi; in linguaggio moderno,
per 1≤k≤n.
Il metodo è verosimilmente stabilito a dottrina di Avicenna, e una propensione per l'ontologia formale, permettono ad al-ṭūsī di sperare in una soluzione ...
Leggi Tutto
Scienza greco-romana. Le sfere celesti e le origini della trigonometria
John L. Berggren
Le sfere celesti e le origini della trigonometria
La comparsa della sfera nella geometria è una diretta conseguenza [...] matematico dei loro argomenti. Infine, l’incompletezza formale di questi trattati, i quali in maniera utilizzava i trilateri. Soltanto con il successivo teorema 2 si torna al linguaggio dei trilateri, con un risultato che è una forma più generale di ...
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 [...] se B è vera nei mondi in cui è vera A e per il resto più simili a w°. □A è definibile in questo linguaggio come ∉A□→A. Una semantica formale per questo calcolo è data da modelli 〈W,R, f ,V〉 dove f è una funzione selettiva che sceglie dentro i mondi ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] la costruzione di un modello' per la teoria originaria. Nel linguaggio dei logici sarebbe più appropriato dire che, piuttosto che a L'assenza di una tale restrizione ha importanti conseguenze formali, in quanto ci permette di applicare senza alcuna ...
Leggi Tutto
L'Eta dei Lumi: matematica. Matematica pura e applicata nel XVIII secolo
Ivor Grattan-Guinness
Matematica pura e applicata nel XVIII secolo
Nel presente volume la determinazione cronologica 'Settecento' [...] a esso decretata fu piuttosto cauta, anche prima del rifiuto formale da parte di Augustin-Louis Cauchy negli anni Venti dell' ai segni contribuì ad alimentare l'interesse per i linguaggi artificiali e specializzati, e per la linguistica e la ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] vastissima fama, a tal punto che si introdusse nel linguaggio comune, con riferimento all'indirizzo di ricerca inaugurato dall scientifici sia altrettanto importante della loro verifica formale, in quanto i concetti scientifici sarebbero determinati ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] a distinguere un sistema di regole e procedimenti puramente formali dalle sue possibili interpretazioni.
Un passo ulteriore in ragionamento', il naturale svolgersi di processi razionali; il 'linguaggio' e l''introspezione' sono i due mezzi che ...
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 [...] un codice a ogni termine t e a ogni derivazione d in T.
Il linguaggio di S contiene costanti funzionali neg e imp tali che, per ogni formula φ e A) non contraddicono il punto di vista formalista di Hilbert. Infatti tale punto di vista presuppone ...
Leggi Tutto
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...