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

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 grande impulso alle ricerche sui fondamenti della matematica. I lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: FILOSOFIA DEL LINGUAGGIO – LOGICA MATEMATICA – WISMAR – JENA
Mostra altri risultati Nascondi altri risultati su Frege, Gottlob (2)
Mostra Tutti

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

La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica Umberto Bottazzini Filosofia e pratica matematica Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] ) della geometria euclidea, che all'inizio del secolo si era posto per primo Gauss e che un grande logico come Gottlob Frege (1848-1925) ancora agita contro le nuove teorie geometriche (Tav. I), passa in secondo piano rispetto a quello della coerenza ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

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 [...] di più basilari nozioni insiemistiche o logiche. Gottlob Frege (1848-1925) e Bertrand Russell ( come la classe delle estensioni delle Q tali che P∼Q; che nel sistema di Frege svolge il ruolo di card(X) per Su questa base, si può procedere a definire ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

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

PEANO, Giuseppe

Dizionario Biografico degli Italiani (2015)

PEANO, Giuseppe Clara Silvia Roero PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri. Frequentò le scuole [...] d’avanguardia, come quelli di Cantor sulla teoria degli insiemi transfiniti, studi sui fondamenti, carteggi con Gottlob Frege, recensioni, e dibattiti polemici con Giuseppe Veronese e Corrado Segre (Borga - Freguglia - Palladino, 1985). Il Formulario ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: JOHANN PETER GUSTAV LEJEUNE DIRICHLET – CENTRO DI DOCUMENTAZIONE TERRITORIALE – ACCADEMIA DELLE SCIENZE DI TORINO – FUNZIONE DI PIÙ VARIABILI – GEOMETRIA DIFFERENZIALE
Mostra altri risultati Nascondi altri risultati su PEANO, Giuseppe (6)
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

La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria Umberto Bottazzini I fondamenti della geometria Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] si può parlare di tavoli, sedie e boccali di birra. Non altrimenti Hilbert si esprimerà nel 1899 rispondendo alle critiche di Gottlob Frege ai GG. Egli infatti scrive: "Se con i miei punti voglio intendere un sistema qualunque di enti, per esempio il ... Leggi Tutto
CATEGORIA: GEOMETRIA
1 2
  • 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