La grande scienza. Automi e linguaggi formali
Storia della Scienza (2003)
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. [...] Reutenauer (1988). La serie dei Lothaire (1982, 2002, 2003) ha lo scopo di fornire dei manuali nel campo della combinatoria delle parole. L'Handbook of theoretical computer science di Leeuwen (1990a e b) tratta tutti i campi dell'informatica teorica ...
Leggi Tutto
Sègre, Beniamino
Enciclopedia on line
Matematico (Torino 1903 - Roma 1977); prof. di geometria analitica e descrittiva a Bologna dal 1931 (con un intervallo dal 1939 al 1946 dovuto alle leggi razziali e trascorso in univ. inglesi); dal 1950 [...] testimoniata dalle sue numerosissime pubblicazioni originali sugli argomenti più svariati, dalla geometria algebrica all'analisi combinatoria, allo studio delle equazioni algebriche in campi speciali, alla geometria differenziale, e alle applicazioni ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ZAPPA, Guido
Enciclopedia Italiana - V Appendice (1995)
ZAPPA, Guido
Francesco Gherardelli
Matematico, nato a Napoli il 7 dicembre 1915. Laureatosi in matematica presso la Scuola Normale di Pisa, dal 1947 è stato professore di Geometria e di Algebra presso [...] Sylow, classi di Fitting, proprietà reticolari. Z. è anche stato fra i primi a utilizzare metodi gruppali in geometria combinatoria. Notevoli inoltre i contributi giovanili alla geometria algebrica, dove ha introdotto la nozione di grafo duale di una ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Storia della Scienza (2002)
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] generale', il cui compito sarebbe stato quello di definire i principî e le regole sia dell'analisi sia della sintesi o combinatoria. A queste tre fasi se ne saldano altre due: lo studio della grammatica delle lingue naturali e la costruzione di un ...
Leggi Tutto
matematica
Enciclopedia on line
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 [...] ; all’emergere di una nuova m. numerica con lo sviluppo dei metodi computazionali (➔ computazionale); alle ricerche di m. combinatoria sui problemi del finito, spesso indicate con il nome di m. discreta.
Problematiche tipiche della m. applicata sono ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Church, Alonzo
Enciclopedia on line
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] accettabile con argomenti di carattere sperimentale. Ch. sviluppò anche altre linee di ricerca, quali le relazioni con la logica combinatoria di Curry, le questioni di teoria dei tipi e il λ-calcolo. Tra le opere: The calculi of lambda-conversion ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cossu, Aldo
Enciclopedia on line
Cossu, Aldo. - Matematico italiano (Cagliari 1922 - Bari 2005). Dal 1948 ha insegnato Geometria presso l’Università di Bari come professore incaricato e dal 1962 come professore ordinario; dal 1968 al [...] il nome di “Aula Magna Aldo Cossu”. Raffinato ricercatore, ha condotto l’attività scientifica in geometria combinatoria e geometria differenziale. Generazioni di matematici ne hanno apprezzato l’eccezionale passione per la matematica, l’università ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
connettivi generalizzati
Enciclopedia della Scienza e della Tecnica (2008)
connettivi generalizzati
Settimo Termini
John von Neumann aveva osservato già nel 1951 che la forma rigida della logica classica poneva una forte limitazione all’espressività di linguaggi di tipo logico [...] fuori dai settori meglio coltivati della matematica e costretta dentro la parte più difficile del terreno matematico, nella combinatoria». Le logiche a più valori introdotte da Jan Lukasiewicz nel 1920 ampliano fortemente il numero di possibili ...
Leggi Tutto
CATEGORIA:
LOGICA
calcolabilita
Enciclopedia della Scienza e della Tecnica (2008)
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] formulato in termini intuitivi affermando che non esiste algoritmo che, presi come dati d’ingresso un altro algoritmo A arbitrario e dati arbitrari D per esso, stabilisca in tempo finito se il calcolo di A su D termina in tempo finito.
→ Combinatoria ...
Leggi Tutto
CATEGORIA:
LOGICA
Poincaré, Jules-Henri
Enciclopedia on line
Matematico (Nancy 1854 - Parigi 1912), tra i più grandi dell'età a cavallo tra i secc. 19º e 20º; cugino di Raymond. Fu tra i più grandi matematici francesi del sec. XIX. L'attività scientifica veramente [...] e con una sua memoria del 1895 è da considerarsi, insieme con E. Betti, il fondatore della moderna topologia combinatoria (introduzione del concetto di cicli omotopi e sua distinzione da quello di cicli omologhi, ecc.). Nella «topologia del continuo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE