topos
Enciclopedia on line
topos Luogo comune, motivo ricorrente, in un’opera nella tematica di un autore o di un’epoca.
In matematica, particolare categoria, introdotta per la prima volta in questioni di topologia algebrica e di [...] logica matematica da A. Grothendieck verso il 1960; la nozione di t. è stata successivamente sviluppata da F.W. Lawvere e da altri. ...
Leggi Tutto
Richard, Jules
Enciclopedia on line
Matematico francese (n. 1862 - m. 1956), prof. al liceo di Digione, autore di varie ricerche di matematica, fisica matematica e logica matematica; tra le sue opere principali: Sur la philosophie des mathématiques [...] (1903). È specialmente noto per aver enunciato (1905) un paradosso in cui compaiono particolari numeri naturali, detti numeri di R ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kőnig, Gyula
Enciclopedia on line
Matematico ungherese (Győr 1849 - Budapest 1913). Docente universitario; membro dell'Accademia ungherese delle scienze; si è occupato in modo particolare di questioni inerenti alla teoria degli insiemi [...] e alla logica matematica. Suoi lavori: Analízis ("Analisi", 1887), Az algebrai mennyiségek általános elméletének alapvonalai ("Lineamenti fondamentali della teoria generale delle quantità algebriche", 1903). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gentzen, Gerhard Karl Erich
Enciclopedia on line
Matematico (Greifswald 1909 - Praga 1945), prof. (dal 1944) all'univ. di Praga. Si occupò soprattutto di teoria dei numeri e di logica matematica. Tra le opere: Die gegenwärtige Lage in der mathematischen [...] Grundlagenforschung (1938) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Curry, Haskell Brooks
Enciclopedia on line
Matematico statunitense (Millis, Massachusetts, 1900 - Filadelfia 1982); prof. alla Pennsylvania State Univ. dal 1941. Si è occupato soprattutto di logica matematica. Tra le sue opere: Combinatory logic [...] (1958), Foundations of mathematical logic (1963). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
STRUTTURA
Enciclopedia Italiana - II Appendice (1949)
STRUTTURA (fr. structure, système de choses; ingl. structure, lattice; ted. Verband, Dualgruppe)
Fabio Conforto
Con questo nome si intende nella matematica moderna ogni insieme S di elementi di natura [...] teoria dei gruppi, e più generalmente nell'algebra astratta, nella topologia, nella teoria dei corpi convessi, nella logica matematica, nel calcolo delle probabilità, ecc.
Data la frequenza con la quale esempî di strutture si presentano in tante ...
Leggi Tutto
addizione
Enciclopedia on line
Matematica
Operazione aritmetica mediante la quale si trova la somma di due o più numeri (detti addendi o termini). Nell’accezione più comune il termine a. si riferisce al caso dei numeri interi positivi. [...] che contiene tanto gli elementi della prima quanto quelli della seconda collezione ed essi soltanto (operazione logica di unione o somma logica). Tale collezione si chiama collezione somma: il suo numero cardinale (che dipende solo dai numeri ...
Leggi Tutto
CATEGORIA:
CHIMICA ORGANICA
–
ALGEBRA
–
ARITMETICA
–
DIRITTO CIVILE
–
DIRITTO COMMERCIALE
–
DIRITTO PRIVATO
–
DIRITTO TRIBUTARIO
sintassi
Dizionario delle Scienze Fisiche (1996)
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] regole della s. specificano come vanno costruite le formule e come si deve operare sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
La logica e i fondamenti della matematica tra Ottocento e Novecento
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] da Platon Poretsky (1884). Esso compare sin dal titolo nei Principii di logica matematica («Rivista di matematica», 1891, 1, pp. 1-10), e nelle Formole di logica matematica («Rivista di matematica», 1891, 1, pp. 24-31 e 182-84, rist. in Opere scelte ...
Leggi Tutto
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ù [...] comincia a essere affrontato in modo sistematico ricorrendo agli strumenti propri della logica matematica, in particolare a quei linguaggi formali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 Alfred Tarski darà la prima ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA