Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] aritmetica) e infine alle funzioni quantificate (gerarchia analitica). Si interessò anche delle relazioni tra la teoria della ricorsività e l'intuizionismo, nonché di analisi intuizioniste. Tra le sue opere: General recursive functions of natural ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] post-hlbertiane, G. Kreisel, Hilbert's programme, in Dialectica, XII (1958), pp. 346-72; E. Casari, Computabilità e ricorsività, Varese 1959; R. Magari, Su certe teorie non enumerabili (sulle limitazioni dei sistemi formali), in Annali di matematica ...
Leggi Tutto
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] , e così via). Sullo sfondo, vi sono le indagini legate alla teoria degli insiemi e a quella della ricorsività, che tematizzano in generale le nozioni collegate alla costruzione di strutture astratte e alla definizione di procedure combinatorie. Di ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
costruttivismo
Enciclopedia on line
Arte e architettura
Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] l’ente matematico da definire o di cui si vuole provare l’esistenza. Un c. meno spinto (accettato da molti logici e matematici) si ricollega ai concetti di computabilità, decisione ecc., ed è alla base della teoria della ricorsività (➔). ...
Leggi Tutto
combinatòria
Enciclopedia on line
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] . Essa mostra rinvii dalla combinatoria alla logica matematica e ai fondamenti (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici degli insiemi parzialmente ordinati), alla teoria dei ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] standard dell'aritmetica AP di Peano e il loro studio ‒ che si situa nel terreno di confluenza tra teoria della ricorsività e teoria dei modelli ‒ ha portato a risultati di grande interesse. Tra i primi risultati ottenuti utilizzando i modelli non ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La grande scienza. Combinatoria
Storia della Scienza (2003)
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] . Essa mostra rinvii dalla combinatoria alla logica matematica e ai fondamenti (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici degli insiemi parzialmente ordinati), alla teoria dei ...
Leggi Tutto
CATEGORIA:
ALGEBRA
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] Lebesgue, Nicolas Lusin e Andrej Suslin si sono fermati, la teoria degli insiemi, utilizzando tecniche della teoria della ricorsività, è in grado di indagare la gerarchia infinita completa sopra di questi. La disciplina è nota come teoria descrittiva ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
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. [...] , opportunamente codificata da una parola, e x è una parola tale che M si ferma se ha x come input.
Ricorsività
Le funzioni ricorsive si possono definire come funzioni sulle parole, ma è più semplice definirle sugli interi come funzioni numeriche f ...
Leggi Tutto
Programmazione lineare
Enciclopedia delle scienze sociali (1997)
Programmazione lineare
Robert Dorfman
di Robert Dorfman
Programmazione lineare
Introduzione
La programmazione lineare è una famiglia di metodi matematici per individuare i modi più redditizi o in [...] quello della cosiddetta programmazione dinamica, sviluppato da Richard Bellman nel 1957. Tale metodo si basa su una formula di ricorsività, a volte chiamata 'equazione di Bellman', in base alla quale i livelli di attività ottimali di ogni subperiodo ...
Leggi Tutto