Bourbaki, Nicolas
Enciclopedia on line
Pseudonimo collettivo sotto il quale, dal 1933, lavora un gruppo di matematici, per lo più francesi, ex alunni dell'École Normale Supérieure, detti "bourbakisti". Ricordiamo tra essi H. Cartan, Cl. Chevalley, [...] dal 1939 un'opera collettiva intitolata Éléments de mathématique ("Elementi di matematica"), concepita secondo una visione unitaria, assiomatica a partire dalla logica, per evitare una frammentazione della matematica in branche non comunicanti. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La scienza presso le civiltà precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civiltà inca
Storia della Scienza (2001)
La scienza presso le civilta precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civilta inca
Gary Urton
Jean-François Genotte
La natura della conoscenza e delle pratiche [...] le posizioni da 2 a 5, oppure dal secondo al quinto, sono indicate come la prole di mama, ordinata per età. La logica e le relazioni di questo 'modello dei cinque' possono essere estese nella forma di un insieme che genera e organizza in successione ...
Leggi Tutto
geometria
Enciclopedia on line
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] angoli retti e non è costante per tutti i triangoli); s’intende che non sono però in contraddizione, dal punto di vista logico, con i postulati. Esistono due tipi di g. non euclidea, la g. iperbolica o di Lobačevskij, nella quale si postula che da ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] ed esecuzione di programmi. Un tipico esempio di formula modale di questa natura è il seguente:
[4] [p] φ
che appartiene alla logica dinamica ed esprime il fatto che, se l'esecuzione del programma p termina, ci si trova in uno stato che soddisfa la ...
Leggi Tutto
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. [...] all'uso del computer e agli strumenti di comunicazione, ha però un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post, Alonzo Church e Alan M. Turing, motivati dalla necessità di dare ...
Leggi Tutto
sopralineatura
Dizionario delle Scienze Fisiche (1996)
sopralineatura
sopralineatura (o soprallineatura) [Der. di sopralineare "tracciare una linea sopra qualcosa", comp. di sopra e lineare "tracciare linee"] [ALG] (a) Sulle lettere che indicano i punti [...] salvo diversa indicazione, è il valore medio di essa (alternativamente all'uso di parentesi angolari). ◆ [ALG] [FAF] Nella logica matematica, sul simb. di una proposizione, trasforma questa nella sua negazione. ◆ [FSN] Sul simb. di una particella, lo ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
FISICA NUCLEARE
–
STORIA DELLA FISICA
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
Gödel, Kurt
Enciclopedia on line
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) [...] È stato membro permanente (dal 1946) dell'Institute for advanced study (Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e di teoria della relatività. Tra i suoi scritti si ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Pasch, Moritz
Enciclopedia on line
Matematico (Breslavia 1843 - Homburg 1930). Studiò a Berlino, dove risentì l'influsso di K. Weierstrass e di L. Kronecker; fu prof. nell'univ. di Giessen; si occupò dapprima di problemi algebrico-geometrici [...] essenziali. Nelle sue Vorlesungen über neuere Geometrie (1882) appare, per la prima volta, la piena consapevolezza della struttura logica di un sistema ipotetico-deduttivo, così che P. può essere considerato il fondatore dell'assiomatica moderna. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] and to methodology of deductive sciences, Oxford 1965 (trad. it. di E. Ballo e S. Bozzo, Introduzione alla logica, Milano 1969); M.L. Dalla Chiara Scabia, Modelli sintattici e semantici delle teorie elementari, Milano 1968; A. Marruccelli, Teorie ...
Leggi Tutto
Schwarz, Karl Hermann Amandus
Enciclopedia on line
Matematico (Hermsdorf, Slesia, 1843 - Berlino 1921), prof. nelle univ. di Halle (1867), Zurigo (1869), Gottinga (1875), Berlino (1892); dal 1891 socio straniero dei Lincei, dal 1904 membro dell'Accademia [...] e delle trasformazioni conformi, gli studî sulle funzioni armoniche, le ricerche sull'equazione ipergeometrica di K. F. Gauss e sull'insufficienza logica della definizione dell'area di una superficie curva come limite di una poliedrale inscritta. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE