• 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
Le parole valgono
lingua italiana
1871 risultati
Tutti i risultati [1871]
Matematica [281]
Biografie [283]
Medicina [169]
Biologia [156]
Fisica [162]
Filosofia [145]
Temi generali [141]
Diritto [107]
Storia della matematica [105]
Economia [89]

LOGICA E INFORMATICA

Enciclopedia Italiana - V Appendice (1993)

LOGICA E INFORMATICA Carlo Cellucci I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] principio − sebbene non efficientemente − a tale scopo. Più in generale, se si ha una dimostrazione costruttiva di ∀x∃yA(x, y), i procedimenti della teoria della dimostrazione possono servire per computare una funzione f tale che ∀xA(x, f(x)). Dunque ... 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 [...] delle dimostrazioni (procedimenti costruttivi che forniscono una risposta sulla verità o falsità di un certo enunciato A in un numero finito di passi) ha avuto il merito di creare un terreno fertile per la teoria della → ricorsività e della ... Leggi Tutto
TAGS: PRINCIPIO DI NON CONTRADDIZIONE – PRINCIPIO DEL → TERZO ESCLUSO – FILOSOFIA DELLA MATEMATICA – CONGETTURA DI GOLDBACH – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su logica intuizionista (1)
Mostra Tutti

Gentzen

Enciclopedia della Matematica (2013)

Gentzen Gentzen Gerhard Karl Erich (Greifswald, Meclemburgo-Pomerania Occidentale, 1909 - Praga 1945) logico tedesco. Diede importanti contributi alla teoria della dimostrazione e al problema della coerenza [...] . Nel 1933 divenne assistente di D. Hilbert e fu quindi revisore della rivista «Zentralblatt für Mathematik». Riprese le tematiche della teoria della dimostrazione hilbertiana, inquadrandole in una nuova prospettiva e caratterizzando la struttura ... Leggi Tutto
TAGS: FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – PARTITO NAZIONALSOCIALISTA – SECONDA GUERRA MONDIALE – INDUZIONE TRANSFINITA
Mostra altri risultati Nascondi altri risultati su Gentzen (1)
Mostra Tutti

La civiltà islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica

Storia della Scienza (2002)

La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica Roshdi Rashed Filosofia della matematica Gli storici della filosofia islamica dimostrano un interesse molto [...] in cui permette di associare un'ars inveniendi e un'ars demonstrandi, che è presentata come un procedimento fondato su una teoria della dimostrazione che Ibn Sinān tentò di elaborare. Nella generazione successiva a Ibn Sinān, al-Siǧzī, un matematico ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

La grande scienza. Cronologia scientifica: 1981-1990

Storia della Scienza (2003)

La grande scienza. Cronologia scientifica: 1981-1990 1981-1990 1981 Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] due atomi di idrogeno e uno di ossigeno per realizzare una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista completamente nuovo. Il premio Wolf a Peter D. Lax. I contributi di Lax ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – ANTROPOLOGIA FISICA – BIOCHIMICA – STORIA DELLA BIOLOGIA – CHIMICA FISICA – STORIA DELLA CHIMICA – FISICA MATEMATICA – STORIA DELLA FISICA – STORIA DELLA MATEMATICA – STORIA DELLA MEDICINA

Scienza greco-romana. Galeno

Storia della Scienza (2001)

Scienza greco-romana. Galeno Mario Vegetti Galeno L'eccezione Galeno Galeno rappresenta senza dubbio, e per molti motivi, un caso eccezionale nel panorama intellettuale e scientifico del II sec. d.C.; [...] in via preliminare bisognerà studiare le opere che forniscono gli strumenti epistemologici (gnoseologia, logica, teoria della dimostrazione) per il controllo della consistenza argomentativa del sistema; si tratta del De demonstratione e del De optima ... Leggi Tutto
CATEGORIA: BIOGRAFIE

Medioevo: la scienza siriaca. La tradizione della logica aristotelica

Storia della Scienza (2001)

Medioevo: la scienza siriaca. La tradizione della logica aristotelica Henri Hugonnard-Roche La tradizione della logica aristotelica Della letteratura siriaca profana, scientifica o filosofica, ci [...] sillogistica categorica degli Analitici primi, a sua volta considerata la garanzia formale della teoria della dimostrazione. Atanasio aveva anche tradotto ‒ o ritradotto, basandosi su precedenti versioni ‒ molti testi di logica. Ci è pervenuta, in ... Leggi Tutto
CATEGORIA: LOGICA – STORIA DEL PENSIERO FILOSOFICO

La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo David E. Rowe I problemi di Hilbert e la matematica del nuovo secolo Problemi matematici [...] assistente e collaboratore Wilhelm Ackermann (1896-1962) stabiliva i fondamenti della legge del tertium non datur per mezzo della teoria della dimostrazione di Hilbert. I limiti della profezia La Conferenza di Parigi di Hilbert fu un evento unico ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer Anne L. Troelstra L'intuizionismo di Brouwer Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Bernays (1888-1977) fu il primo ad afferrare le implicazioni del risultato di Gödel. Importante per la teoria della dimostrazione della logica intuizionista fu la formulazione (Gentzen 1935) del calcolo dei sequenti LK e LJ. Usando il suo teorema ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

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 [...] di trattare situazioni ambigue non riducibili al binomio vero-falso. Un altro ramo delle applicazioni della logica alla computer science è rappresentato dalla teoria della dimostrazione automatica. In virtù di un teorema di A. Church del 1936, si sa ... Leggi Tutto
TAGS: INSIEME RICORSIVAMENTE ENUMERABILE – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA → PROBABILITÀ – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI
1 2 3 4 5 6 7 8 ... 188
Vocabolario
dimostrazióne
dimostrazione dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dialèttica
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore,...
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