• 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
5 risultati
Tutti i risultati [36]
Logica matematica [5]
Matematica [11]
Filosofia [5]
Storia della matematica [3]
Lingua [3]
Biografie [2]
Grammatica [2]
Storia del pensiero filosofico [2]
Metafisica [1]
Epistemologia [1]

lògica matemàtica

Enciclopedia on line

lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] con i lavori di George Boole sull’analisi algebrica della sillogistica tradizionale (1847) e la costruzione da parte di Gottlob Frege di un linguaggio formale in grado di riprodurre e analizzare la struttura logica del linguaggio in uso nella pratica ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

fuzzy

Enciclopedia on line

Con la locuzione 'insieme fuzzy' si indicano: (a) un insieme al quale alcuni elementi appartengono in modo parziale (tali insiemi possono descrivere situazioni reali nelle quali è difficile precisare un [...] trattare i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto Gottlob Frege a espungerli dall’orizzonte della logica. La proposta di Zadeh ha sollevato, in effetti, alcune questioni interessanti dal ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DEGLI INSIEMI – GOTTLOB FREGE – INSIEMI FUZZY – LOGICA FUZZY – RETTA REALE

Dimostrazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Dimostrazione, teoria della Jean-Yves Girard La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] da ∀x(A→A) e applicare ⇒∃2 utilizzando il termine {x∣A}. Lo schema di comprensione, introdotto a suo tempo da Gottlob Frege, ci permette di definire un insieme a partire da una proprietà ed è un principio estremamente forte. La congettura di Takeuti ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE

Fuzzy

Enciclopedia della Scienza e della Tecnica (2007)

Fuzzy Settimo Termini L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema. L'aspetto [...] trattare i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto Gottlob Frege a espungerli dall'orizzonte della logica. La proposta di Zadeh ha sollevato, in effetti, alcune questioni interessanti dal ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: ACADÉMIE DES SCIENCES – TEORIA DEGLI INSIEMI – LUDWIG WITTGENSTEIN – JOHN VON NEUMANN – GOTTLOB FREGE
Mostra altri risultati Nascondi altri risultati su Fuzzy (3)
Mostra Tutti

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 [...] della matematica. Importanti contributi alla fondazione dell’aritmetica sono dati in Europa da Hermann Grassmann (1809-1877), Dedekind e Gottlob Frege (1848-1925), e negli Stati Uniti da Charles S. Peirce (1839-1914). Nel 1889 Peano dà alle stampe il ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – STORIA DELLA MATEMATICA
  • 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