metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] , simboli speciali per gli individui, i predicati e le funzioni, oltre agli assiomi non logici propri delle teorie), scelte in modo da riprodurre fedelmente le teorie matematiche oggetto di studio. Perciò si dovrà, tra l’altro, esigere che la teoria ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Lèvi, Beppo
Enciclopedia on line
Matematico italiano (Torino 1875 - Rosario, Argentina, 1961), prof. di geometria analitica e analisi algebrica (dal 1906) nelle univ. di Cagliari, Parma, Bologna. Nel 1938, in seguito ai provvedimenti [...] (1935-38 e dal 1945). Autore di significativi contributi alla geometria algebrica (scioglimento delle singolarità delle superfici, forme cubiche ternarie), ai fondamenti della geometria e dell'analisi, alla logica matematica (postulato di Zermelo). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Novikov, Pëtr Sergeevič
Enciclopedia on line
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo dell'Accademia delle scienze dell'URSS dal 1960. Tra le sue opere ricordiamo gli Elementy matematičeskoj logiki (1959; trad. it. Elementi di logica matematica, 1975). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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) [...] Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e of the axiom of choice and of the generalized continuum hypothesis (1940); Russell's mathematical logic (1944). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Zermelo, Ernst
Enciclopedia on line
Matematico (Berlino 1871 - Friburgo in Brisgovia 1953). Studiò a Gottinga e fu prof. di matematica nell'univ. di Zurigo (1910). Il suo nome è legato a importanti problemi del calcolo delle variazioni, [...] insieme può essere bene ordinato, ha suscitato la più viva discussione tra i matematici all'inizio del sec. 20º e ha condotto a un rilevante sviluppo dell'indagine critica dei fondamenti della logica matematica e della teoria generale degli insiemi. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
sintassi
Enciclopedia on line
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] di una sillabazione sintattica solo quando c’è un apostrofo (per es., u-n’altra, e invece un - altro).
Matematica
In logica matematica, nello studio di una teoria formalizzata, la s. è quella parte della metateoria che studia le proprietà degli ...
Leggi Tutto
teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] certo rilievo presentano alcune recenti analisi semantiche delle t., intese come sistemi assiomatici, nei termini della teoria logico-matematica dei modelli. Tali analisi, per le quali la distinzione teorico-osservativo ha perduto la centralità che ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
uguaglianza
Enciclopedia on line
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] In generale, in algebra il concetto di u. si riduce a quello di isomorfismo.
In logica matematica il concetto di u. si basa sul concetto logico di identità. È possibile definire esplicitamente l’identità mediante il linguaggio predicativo del secondo ...
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 [...] di M o più spesso addirittura un singolo elemento di M.
In matematica e in logica matematica, procedimento che, a partire da uno o più enti matematici o logici, detti operandi, permette di costruire un altro ente, detto risultato dell’operazione ...
Leggi Tutto
tavola
Enciclopedia on line
tavola matematica T. (o tabella) di composizione (o di moltiplicazione, o di Cayley) di un gruppo Specchio, o quadro, che contiene i prodotti degli elementi del gruppo a due a due. Se il gruppo è finito, [...] che ha per elemento iniziale gh e della colonna che ha per primo elemento gk si scrive il prodotto gh gk.
Nella logica matematica, t. di verità (o tabella di verità) di un connettivo, tabella schematica che permette di stabilire se una proposizione A ...
Leggi Tutto