FRYE, Herman Northrop
Luigi Trenti
Critico letterario canadese, nato a Sherbrooke (Quebec) il 14 luglio 1912, morto a Toronto il 23 gennaio 1990. Compì gli studi teologici e letterari presso le università [...] e del Rinascimento per rintracciare, in un'esperienza artistica o in un'intera civiltà letteraria, la presenza o la ricorsività fondante di un simbolo-immagine (archetipo). Al mythos appunto spetta di coordinare in un modello ciclico-stagionale di ...
Leggi Tutto
logica intuizionista
logica intuizionista teoria logica nata nel contesto dell’→ intuizionismo, filosofia della matematica elaborata da L.E.J. Brouwer nel 1907. Secondo Brouwer in matematica sono da [...] un numero finito di passi) ha avuto il merito di creare un terreno fertile per la teoria della → ricorsività e della → calcolabilità. Per questo motivo la logica intuizionista è stata recuperata nelle applicazioni della logica all’informatica teorica ...
Leggi Tutto
Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] ampio di funzione ricorsiva generale, in cui non appare più l'elemento iterativo (Herbrand-Gödel-Kleene). Il concetto di ricorsività generale precisa l'idea intuitiva secondo cui si può determinare senza ambiguità tutta la serie dei valori di una ...
Leggi Tutto
definizione
definizione proposizione che descrive, chiaramente e sinteticamente, un ente matematico (algebrico o geometrico) servendosi di termini aventi un significato noto. In logica, si distinguono [...] assiomi di; → ente geometrico).
Ulteriori caratteristiche connotano un particolare tipo di definizione, detto definizione ricorsiva (→ ricorsività), utilizzata in particolare in quel settore della logica matematica che si occupa di modelli formali di ...
Leggi Tutto
algoritmo
algoritmo procedimento sistematico di calcolo, oggi per lo più destinato a essere eseguito da un automa esecutore quale un computer. Il termine deriva dal nome latinizzato del matematico di [...] (che qui è indicata con il nome «fibo»):
La controparte formale della teoria generale degli algoritmi, nella quale viene precisata la nozione di operazione e di procedura calcolabile, è la teoria della → ricorsività (teorema di → Böhm-Jacopini). ...
Leggi Tutto
femminismo
Per filosofie del femminismo si intende la pluralità di teorizzazioni e pratiche che vanno dalle prime formulazioni del prefemminismo, agli studi sulla costruzione del genere (➔), al pensiero [...] più se cronologica, dato un approccio alla temporalità incline non a visioni lineari e cicliche ma a forme di ricorsività innovativa, che si riflettono nel rifiuto di una schematizzazione. L’immagine dell’ondata è efficace quando se ne focalizza ...
Leggi Tutto
Informatica umanistica
Giovanni Adamo
Tullio Gregory
Parte introduttiva
di Giovanni Adamo
L'espressione informatica umanistica è stata coniata all'inizio degli anni Novanta sul modello di locuzioni [...] Study dell'università di Princeton: il nuovo calcolatore fu inaugurato nel giugno 1952. Anche a seguito delle ricerche sulla ricorsività e sulla macchina ideale condotte da A.M. Turing, von Neumann aveva maturato la convinzione che quel computer ...
Leggi Tutto
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
Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. [...] di un sistema di calcolo ad alta velocità: il nuovo elaboratore fu inaugurato nel 1952. A seguito delle ricerche sulla ricorsività e sulla macchina ideale condotte da Turing, von Neumann aveva maturato la convinzione che quel computer dovesse essere ...
Leggi Tutto
DE MAURO, Tullio
Federico Albano Leoni
Nacque a Torre Annunziata (Napoli) il 31 marzo 1932, da Oscar, chimico e farmacista, originario di Foggia, e da Clementina Rispoli, napoletana, di formazione [...] un lato le lingue naturali presentino alcuni tratti comuni con i linguaggi formali, per esempio della matematica (sinonimia, ricorsività, articolatezza), ma dall’altro, grazie alla loro creatività, cioè alla loro capacità di cambiare le regole e ...
Leggi Tutto
ricorsivita
ricorsività s. f. [der. di ricorsivo]. – In matematica e in logica matematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, nell’ambito dei numeri naturali, di...
binormalita
binormalità s. f. [der. di binormale]. – Nella logica matematica, la condizione di ciò che è binormale, ed è una delle formulazioni equivalenti del concetto generale di ricorsività.