Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] altresì stimolato lo sviluppo di nuovi campi come la teoriadegliautomi, l’analisi degli algoritmi e la teoria dell’ottimizzazione, rivalutandone altri come l’analisi combinatoria e la teoria dei grafi. In particolare, l’analisi numerica (➔ numerico ...
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 [...] nel fatto che esse costituiscono la base di m. più complesse. ◆ [INF] M. sequenziale, non sequenziale e universale: v. automi, teoriadegli: I 330 e, f. ◆ [FTC] [TRM] M. termica: quella nella quale l'energia utilizzata o, meno spesso, prodotta è ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] eccitatorie era invece attivo. Questo modello sarà usato come base da Stephen C. Kleene per la sua teoriadegliautomi finiti.
Stabilità dell'eliminazione gaussiana. L'americano Harold Hotelling presenta la prima analisi diretta dell'errore per ...
Leggi Tutto
Turing 〈tiùrin〉 Alan Mathison [STF] (Londra 1912 - Wilmslow, Cheshire, 1954) Lettore di matematica nell'univ. di Manchester (1948). ◆ [INF] Ipotesi di T.: v. automi, teoriadegli: I 330 b. ◆ [INF] Macchina [...] di T.: modello meccanico di algoritmi, proposto da T. nel 1936: v. automi, teoriadegli: I 330 b e Gödel, teorema di: III 56 f. ◆ [INF] Test di T.: v. intelligenza artificiale: III 233 b. ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] rete neurale di W. McCulloch e W. Pitts e propone il concetto di automa finito. Esso ha un insieme finito di stati e ci sono azioni che nome di EGA) in cui introduce e studia la teoriadegli schemi su anelli qualsiasi e quella dei morfismi tra schemi ...
Leggi Tutto
L'Eta dei Lumi: l'avvento delle scienze della Natura 1770-1830. Il ripiegamento dell'avanguardia
James Evans
Jessica Riskin
Il ripiegamento dell'avanguardia
Nel periodo compreso tra il 1770 e il 1830 [...] dalla fisica amusante sulla ricerca è la proliferazione e l'elaborazione degliautomi. Quando la dimostrazione delle teorie naturali assunse un valore pedagogico, gli automi, da oggetti di semplice amusement, si trasformarono in strumenti di ...
Leggi Tutto
Scienza greco-romana. Meccanica
Gianni Micheli
Meccanica
L’origine della meccanica antica è tradizionalmente associata al nome di Archita di Taranto. Diogene Laerzio afferma infatti che Archita fu il [...] negli Automata e negli Equilibri, altri quella che si serve di corpi galleggianti nell’acqua, come Archimede nei Galleggianti, o quella che si serve di orologi ad acqua, come Erone nei Vasi ad acqua, che sembra essere connessa con la teoriadegli ...
Leggi Tutto
punto
punto [Der. del lat. punctum "puntura, forellino", dal part. pass. punctus di pungere "pungere"] [LSF] (a) Ente geometrico che non ha estensione in nessuna delle dimensioni dello spazio e che pertanto [...] dinamica del p., v. dinamica: II 176 d; per la dinamica impulsiva del p., v. dinamica impulsiva: II 192 b; per l'equilibrio relativo del p. materiale, v. meccanica relativa: III 721 b. ◆ [INF] Teorema del p. fisso: v. automi, teoriadegli: I 333 a. ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] di programmazione. ◆ [ELT] [INF] L. algebrico: v. base di dati: I 343 a. ◆ [ELT] [INF] L. contestuale, acontestuale, regolare: v. automi, teoriadegli: I 331 f, c. ◆ [ALG] [FAF] L. deduttivo: v. logica: III 486 a. ◆ [ELT] [INF] L. di definizione e ...
Leggi Tutto
L'Eta dei Lumi: la fine della conoscenza naturale 1700-1770. Physique amusante
Jessica Riskin
Alice Walters
Physique amusante
Dimostrazioni e intrattenimento
di Jessica Riskin
Intorno al 1700, la [...]
Svago e ricerca: gli automi e l'elettricità
Nel corso degli anni Trenta, anche alcuni particolari tipi di macchine ‒ gli automi ‒ iniziarono a essere considerati illustrazioni di un certo genere di conoscenza, come una teoria resa manifesta. Come la ...
Leggi Tutto
automa
autòma (ant. autòmato) s. m. [dal lat. automătus, gr. αὐτόματος, agg., «che si muove da sé»] (pl. autòmi, ant. autòmati). – 1. Macchina che riproduce i movimenti (e in genere anche l’aspetto esterno) dell’uomo e degli animali. Quindi,...
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...