• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
lingua italiana
10 risultati
Tutti i risultati [53]
Matematica [10]
Filosofia [12]
Biografie [8]
Lingua [4]
Diritto [3]
Metafisica [2]
Epistemologia [2]
Fisica [2]
Temi generali [2]
Astronomia [2]

Lorenzen, Paul Peter Wilhelm

Enciclopedia on line

Logico e matematico tedesco (Kiel 1915 - Gottinga 1994), prof. di filosofia all'univ. di Kiel (dal 1956; dal 1980 prof. emerito). Creò la logica operativa, che rappresenta una posizione intermedia fra [...] assiomi e regole originali. Le regole ammissibili per qualsiasi calcolo sono per L. gli equivalenti dei principî della logica. Tra le sue opere: Konstruktive Begründung der Mathematik (1950-51), Einführung in die operative Logik und Mathematik (1955 ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: INTUIZIONISMO – GOTTINGA – KIEL

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica Solomon Feferman Le scuole di filosofia della matematica I più importanti programmi di fondazione della [...] nozioni sono fondamentali per tutta la matematica e, a seconda del punto di vista, possono essere considerate di natura insiemistica o logica. Con l'opera di Cantor, Dedekind e Giuseppe Peano (1858-1932), verso la fine del XIX sec. risultò chiaro che ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

Frege, Gottlob

Enciclopedia on line

Frege, Gottlob Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. Il valore della sua opera, pressoché ignorata in vita, fu pienamente riconosciuto solo dopo la sua morte. La ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: FILOSOFIA DEL LINGUAGGIO – LOGICA MATEMATICA – WISMAR – JENA
Mostra altri risultati Nascondi altri risultati su Frege, Gottlob (2)
Mostra Tutti

Logica matematica

Enciclopedia del Novecento (1978)

Logica matematica Abraham Robinson *La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] linguistica, per cui un insieme finito non possiede un maggior grado di realtà di un insieme infinito. Per un positivista logico l'intera matematica è parte del linguaggio e il problema stesso dell'esistenza di entità infinite è privo di senso. In ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEOREMA DI INCOMPLETEZZA DI GÖDEL – SCOMPOSIZIONE IN FATTORI PRIMI – TEOREMA DEL BUON ORDINAMENTO – FUNZIONE RICORSIVA PRIMITIVA – INSIEME DEI NUMERI NATURALI
Mostra altri risultati Nascondi altri risultati su Logica matematica (9)
Mostra Tutti

METAMATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

METAMATEMATICA Alberto Pasquinelli Aldo Marruccelli . Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] (a cura di P. Benacerraf, H. Putnam), Englewood Cliffs, N. J., 1964; From Frege to Gödel, a source book in mathematical logic 1879-1931 (a cura di J. Van Hejenoort), Cambridge, Mass., 1967; La filosofia della matematica (a cura di C. Cellucci), Bari ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – PRINCIPIO D'INDUZIONE – SISTEMA ASSIOMATICO – ESPERIMENTI MENTALI – GEOMETRIA EUCLIDEA
Mostra altri risultati Nascondi altri risultati su METAMATEMATICA (4)
Mostra Tutti

L'Universo matematico

Frontiere della Vita (1998)

L'Universo matematico John D. Barrow (Astronomy Centre, University of Sussex, Brighton, Gran Bretagna) Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] cose tramite la successione dei passaggi, o operazioni, che dovrebbero essere eseguite per misurarle. C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e di regole di inferenza, e che ... Leggi Tutto
CATEGORIA: COSMOLOGIA – TEMI GENERALI

matematica

Enciclopedia on line

Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dell’Ottocento sorse il bisogno di una revisione e di un assetto della m. più soddisfacente dal punto di vista puramente logico. Il nuovo atteggiamento di critica degli studi matematici, che ha fatto definire il 19° sec. il secolo della m. pura, fu ... Leggi Tutto
CATEGORIA: TEMI GENERALI – MATEMATICA APPLICATA – STORIA DELLA MATEMATICA – EPISTEMOLOGIA – METAFISICA
TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – SISTEMA DI NUMERAZIONE POSIZIONALE – SISTEMA DI NUMERAZIONE DECIMALE – TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI
Mostra altri risultati Nascondi altri risultati su matematica (14)
Mostra Tutti

Poincaré, Jules-Henri

Enciclopedia on line

Poincaré, Jules-Henri Matematico (Nancy 1854 - Parigi 1912), tra i più grandi dell'età a cavallo tra i secc. 19º e 20º; cugino di Raymond. Fu tra i più grandi matematici francesi del sec. XIX. L'attività scientifica veramente [...] riferimento alla totalità dei membri della classe stessa). Notevole anche il suo tentativo di individuare, da un punto di vista psicologico, la logica della scoperta scientifica e valutare la complessità dei processi creativi che la determinano. ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: LOGICA DELLA SCOPERTA SCIENTIFICA – FONDAMENTI DELLA MATEMATICA – CALCOLO DELLE PROBABILITÀ – EQUAZIONI DIFFERENZIALI – GEOMETRIA NON EUCLIDEA
Mostra altri risultati Nascondi altri risultati su Poincaré, Jules-Henri (5)
Mostra Tutti

Enriques, Federigo

Il Contributo italiano alla storia del Pensiero: Scienze (2013)

Federigo Enriques Giorgio Israel La figura di Federigo Enriques occupa una posizione centrale nella storia della cultura italiana tra la fine dell’Ottocento e la Seconda guerra mondiale. Egli fu uno [...] : La filosofia scientifica a congresso, Parigi 1935, a cura di G. Polizzi, pp. 46-50, rist. in Filosofia scientifica ed empirismo logico, a cura di G. Polizzi, pp. 55-58). La théorie de la connaissance scientifique de Kant à nos jours, Paris 1938 ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: SCUOLA NORMALE SUPERIORE DI PISA – SECONDA GUERRA MONDIALE – FILOSOFIA DELLA SCIENZA – EQUAZIONI DIFFERENZIALI – ACADÉMIE DES SCIENCES
Mostra altri risultati Nascondi altri risultati su Enriques, Federigo (7)
Mostra Tutti

logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] l.; a lui si richiameranno poi il francese L. Couturat e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. molto attiva tra la fine dell’Ottocento e l’inizio ... Leggi Tutto
CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA
TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti
Vocabolario
logicismo
logicismo s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...
lògica
logica lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali