• 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
sinonimi
atlante
il chiasmo
lingua italiana
111 risultati
Tutti i risultati [1885]
Matematica [111]
Diritto [405]
Biografie [244]
Filosofia [175]
Storia [136]
Temi generali [131]
Arti visive [115]
Scienze demo-etno-antropologiche [99]
Economia [98]
Religioni [97]

La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento Jeremy Gray Problemi di analisi complessa alla fine dell'Ottocento La teoria generale [...] i numeri reali. Ciò è falso da tutti i punti di vista. Si pensi all'esempio, così comune e banale, del semplice trucco formale secondo cui una coppia di numeri reali x e y si possono fondere insieme in una singola quantità complessa x+iy. Un passo ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA – STORIA DELLA MATEMATICA

La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita Piergiorgio Odifreddi Teoria della ricorsività La teoria della ricorsività affronta lo studio delle funzioni con lo [...] se il concetto di funzione ricorsiva è l'equivalente formale di quello di funzione calcolabile, la sua formalizzazione traduce nell'affermazione che le attività cerebrali di natura logica o deduttiva si possono simulare mediante un computer. Norbert ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

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 [...] che si volevano modellare. Il rigore e la precisione formale, che costituivano il loro merito, era proprio ciò principale del suo programma di innovazione: esso, per la parte logica, è più interessato a rafforzare il legame della teoria con proprietà ... 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 seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia Ettore Casari La scuola di Leopoli-Varsavia Gli inizi La singolare vicenda intellettuale divenuta nota come 'Scuola [...] vi fu, accanto alla pubblicazione dei teoremi gödeliani di completezza e compattezza della logica elementare e della sistemazione formale a opera di Arend Heyting delle idee brouweriane, l'autentico insediamento sulla scena internazionale della ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

Saccheri, Giovanni Girolamo

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

Giovanni Girolamo Saccheri Vincenzo De Risi Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] prova molto elegante, e assai nuova nei metodi e nella struttura logica, del fatto che se in un solo quadrilatero vale una dell’ipotesi dell’angolo ottuso, con un ragionamento formalmente corretto che fa intervenire il II postulato euclideo sull ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: ACCADEMIA DELLE SCIENZE DI TORINO – PRINCIPIO DI NON CONTRADDIZIONE – GIOVANNI ALFONSO BORELLI – JOHANN HEINRICH LAMBERT – ANALISI INFINITESIMALE
Mostra altri risultati Nascondi altri risultati su Saccheri, Giovanni Girolamo (5)
Mostra Tutti

linguaggio

Dizionario delle Scienze Fisiche (1996)

linguaggio linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] . base dei dati: I 343 b. ◆ [ELT] [INF] L. di macchina: lo stesso che l. macchina (v. oltre). ◆ [ALG] [FAF] [INF] L. formale o formalizzato: v. oltre: L. logici. ◆ [ELT] [INF] L. interattivo di tipo grafico: v. base dei dati: I 343 a. ◆ [ELT] [INF] L ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su linguaggio (12)
Mostra Tutti

aritmètica

Dizionario delle Scienze Fisiche (1996)

aritmetica aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi; il termine, per la prima volta usato [...] (c) a. razionale, l'insieme delle dimostrazioni che permettono di dedurre talune proprietà formali, o taluni risultati, da precedenti proprietà, per via puramente logica, senza far ricorso all'intuizione. È da osservare che, relativ. all'a. razionale ... Leggi Tutto
CATEGORIA: ALGEBRA – TEMI GENERALI
Mostra altri risultati Nascondi altri risultati su aritmètica (7)
Mostra Tutti

metamatematica

Enciclopedia on line

Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] teorema dimostrabile nella teoria matematica originaria trovi il corrispettivo in una proposizione deducibile nella teoria formale. Nella scelta del calcolo logico da includere nella teoria si farà in modo che questo sia non solo sufficientemente ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI – LOGICA MATEMATICA
Mostra altri risultati Nascondi altri risultati su metamatematica (4)
Mostra Tutti

sintassi

Enciclopedia on line

Linguistica La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] lo studio della s. fu strettamente connesso con quello della logica; contribuirono allo sviluppo di tale tendenza pensatori come C. Wolf aveva proposto ai linguisti di costruire la teoria formale delle forme linguistiche di un linguaggio riferendosi ... Leggi Tutto
CATEGORIA: GRAMMATICA – LOGICA MATEMATICA
TAGS: GRAMMATICA GENERATIVA – LOGICA MATEMATICA – APOLLONIO DISCOLO – ACCENTO TONICO – PSICOLOGISTICO
Mostra altri risultati Nascondi altri risultati su sintassi (4)
Mostra Tutti

teoria

Enciclopedia on line

Filosofia Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura. Le domande [...] , il cui simbolo è =, definita implicitamente mediante opportuni assiomi che generalmente si conviene di conglobare tra gli assiomi logici. Ogni sistema formale di questo genere si dice una t. del primo ordine con identità. Tali sono, per es., le t ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: RIVOLUZIONE SCIENTIFICA – ORDINAMENTO PARZIALE – SISTEMA ASSIOMATICO – POSITIVISMO LOGICO – SISTEMA FORMALE
1 2 3 4 5 6 7 8 ... 12
Vocabolario
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,...
formale¹
formale1 formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...
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