matematica
Enciclopedia della Matematica (2013)
matematica
matematica termine che deriva dal greco mathematiché (sottinteso téchne, dove máthema significa conoscenza, sapere) e dal corrispondente sostantivo neutro plurale latino mathematica (le cose [...] aristotelica; in tutto ciò, paradossalmente, il suo misticismo religioso pone le basi di un primo abbozzo di logica matematica che solo alcuni secoli dopo sarà ripreso da G.W. Leibniz.
Il rinascimento
Il Quattrocento segna uno spartiacque ...
Leggi Tutto
logica intuizionista
Enciclopedia della Matematica (2013)
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 [...] si abbia un metodo generale che le dimostri per ogni numero n.
La logica intuizionista pone il problema della costruibilità anche in relazione alle dimostrazioni matematiche, le quali devono essere pensate come una serie di passaggi volti a costruire ...
Leggi Tutto
logica
Enciclopedia della Matematica (2013)
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] della metateoria semantica dei linguaggi formalizzati.
Nasce con questo la teoria dei → modelli, branca della moderna logica matematica. Pur fallito, il programma hilbertiano lasciò però aperta la questione di che cosa potesse significare una ...
Leggi Tutto
Peano, Giuseppe
Enciclopedia on line
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] degli inventori. Elaborò e tentò la diffusione di un linguaggio scientifico internazionale (latino sine flexione o interlingua). Tra le sue opere: Calcolo geometrico (1888), Principi di logica matematica (1891), Formulario mathematico (1894-1908). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
scienza
Enciclopedia on line
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] , ma è indipendente da quella che la segue. Spencer usò una tripartizione in s. astratte (logica, matematica), astratto-concrete (meccanica, fisica, chimica) e concrete (astronomia, geologia, biologia, psicologia, sociologia). Cournot definì, sotto ...
Leggi Tutto
semantica
Enciclopedia on line
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] espresse dal lessico non sono creazioni arbitrarie delle lingue, ma sono condizionate da fattori percettivi e cognitivi.
Logica matematica e filosofia del linguaggio
Il termine s. entra nel dibattito filosofico negli anni 1930, in particolare con ...
Leggi Tutto
De Morgan, Augustus
Enciclopedia on line
Matematico inglese (Madura, India, 1806 - Londra 1871). Prof. nell'univ. di Londra dal 1828, pubblicò Elements of arithmetic (1830); The differential and integral calculus (1836-42) e molti altri trattati [...] a questo proposito A budget of paradoxes, post., 1915). Assertore di una conciliazione tra logica e matematica, la sua opera, insieme a quella di Boole e di Hamilton, getta i fondamenti per i successivi sviluppi della logica matematica moderna. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] al minimo la verifica empirica diretta.
Teoria dei modelli
Generalità e cenni storici
La teoria dei m. è la parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui tali ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
intelligènza artificiale
Enciclopedia on line
intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] convegno vennero presentati alcuni programmi capaci di comportamenti intelligenti, quale per es. il logic theorist, in grado di dimostrare teoremi di logica matematica. In una prima fase di evoluzione l’i. artificiale si è rivolta alla soluzione ...
Leggi Tutto
CATEGORIA:
CIBERNETICA E INTELLIGENZA ARTIFICIALE
combinatòria
Enciclopedia on line
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, [...] ci riferiamo alla Mathematical Subject Classification. Essa mostra rinvii dalla combinatoria alla logica matematica e ai fondamenti (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici ...
Leggi Tutto
CATEGORIA:
ALGEBRA