Cerca in:
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoria degli insiemi all'univ. di Varsavia, ha insegnato nella univ. di Berkeley (1942-68). Numerosi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
dominio
Enciclopedia on line
Botanica
Divisione di un regno floristico, o, secondo la nomenclatura di C.-H. Flahault, J. Braun-Blanquet, J. Pavillard e altri, unità fitogeografica di secondo ordine, subordinata alla regione floristica. [...] , si possono viceversa assumere tali proprietà per definire particolari insiemi algebrici a due operazioni, i quali, poiché nascono per un’estensione del concetto di numero intero, si chiameranno d. di integrità. In termini astratti, si può dire che ...
Leggi Tutto
operazione
Enciclopedia on line
Economia
In scienza della gestione, gestione delle o., l’insieme dei processi e delle attività che utilizzano risorse (umane e finanziarie, macchinari, informazioni, tecnologie ecc.) per trasformare ingressi [...] reali, complessi). In algebra, le o. vengono definite come corrispondenze tra elementi di uno o più insiemi, stabilite sulla base delle proprietà astratte di tali insiemi, senza riferimento a particolari rappresentazioni numeriche di essi; sono dette ...
Leggi Tutto
negativo, numero
Enciclopedia on line
Nell’algebra, numero reale minore di zero; il concetto si estende a insiemi più generali di quello dei numeri reali, per es., a un corpo ordinato; per elementi n. si intenderanno allora quegli elementi [...] elemento si possa considerare sotto 2 e 2 soli aspetti, uno di essi si dice talvolta convenzionalmente positivo e l’altro n.; per es se una grandezza può assumere valori maggiori o minori di un suo determinato valore (per es., le temperature ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Thue, Axel
Enciclopedia on line
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] quest'ultima hanno preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti sistemi di Thue (insiemi finiti e non vuoti di coppie ordinate di parole su determinati alfabeti) si è potuta dimostrare la non risolubilità ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Mendelson, Elliott
Enciclopedia on line
Logico e matematico statunitense (n. New York 1931 - m. 2020), dal 1961 prof. al Queens college Flush ing di New York. I suoi risultati più importanti riguardano prove d'indipendenza relativa degli assiomi [...] della teoria degl'insiemi. Tra i suoi lavori: Introduction to mathematic al logic (1964; trad. it. 1972), Boolean algebra and switching circuits (1970; trad. it. 1975), Beginning calculus (1985). Recentemente si era occupato della teoria dei giochi, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
RICONOSCIMENTO
Enciclopedia Italiana - V Appendice (1994)
RICONOSCIMENTO
Paolo Ercoli
Giorgio Sommi
Luigia Carlucci Aiello
Giorgio Musso
Premessa: riconoscimento di configurazioni. − I primi tentativi di r. automatico, risalenti agli inizi del 20° secolo, [...] variabili.
Quale esempio consideriamo l'insieme delle espressioni aritmetiche costituite dai numeri naturali, dai simboli di operazione e dalle parentesi tonde, scritte con le usuali convenzioni dell'algebra elementare. Un modello potrebbe essere ...
Leggi Tutto
Scienza cognitiva
Enciclopedia Italiana - VI Appendice (2000)
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] del cervello alle operazioni di una macchina di calcolo operante secondo le regole logiche dell'algebra booleana. Analogie tra funzioni mentali sarebbero così un software (un insieme di istruzioni e procedure algoritmiche) realizzabile su diversi ...
Leggi Tutto
LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] clausola vuota, allora fermarsi, altrimenti ripetere il passo (1). Una clausola C è una conseguenza di un insieme di clausole Γ se l'algoritmo precedente, applicato all'insieme di clausole Γ0=Γ∪{¬C} , termina. Per es. se Γ consta delle clausole P(0 ...
Leggi Tutto
SVILUPPO, Limiti dello
Enciclopedia Italiana - IV Appendice (1981)
SVILUPPO, Limiti dello
Roberto Vacca
L'esistenza di l. dello s., almeno della popolazione, fu già intuita da G. Botero alla fine del Cinquecento. Alla metà del Settecento R. Wallace, precorrendo T.R. [...] studio, eventualmente con l'aiuto di modelli matematici, dovrebbe permettere di definire le leggi secondo le quali insiemi di sistemi possono degradarsi e di prevedere gli effetti dei possibili interventi di razionalizzazione e di risanamento, fino a ...
Leggi Tutto