• 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
il chiasmo
lingua italiana
61 risultati
Tutti i risultati [61]
Matematica [16]
Filosofia [7]
Fisica [7]
Logica matematica [5]
Economia [4]
Diritto [4]
Temi generali [4]
Storia della matematica [4]
Storia della fisica [4]
Metafisica [3]

EPISTEMOLOGIA

Enciclopedia Italiana - IV Appendice (1978)

. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] o teoremi derivanti dagli assiomi prescelti. Benché l'aritmetizzazione peaniana rappresenti il culmine di uno dei massimi rivolgimenti intellettuali ottocenteschi, Russell vi ha potuto cogliere un'innegabile carenza rilevando l'incompletezza delle ... Leggi Tutto
TAGS: TRACTATUS LOGICO-PHILOSOPHICUS – PRINCIPIO D'INDETERMINAZIONE – METODO IPOTETICO-DEDUTTIVO – FILOSOFIA DELLA MATEMATICA – FILOSOFIA DELLA SCIENZA
Mostra altri risultati Nascondi altri risultati su EPISTEMOLOGIA (6)
Mostra Tutti

TEORIE FORMALIZZATE

Enciclopedia Italiana - IV Appendice (1981)

TEORIE FORMALIZZATE Aldo Marruccelli . Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] completa" ?). Questi e altri problemi sono affrontati dalla logica matematica, che soprattutto mediante il teorema d'incompletezza sintattica di K. Gödel e i suoi corollari, sancisce in modo definitivo quali sono le limitazioni connesse ... Leggi Tutto
TAGS: LOGICA MATEMATICA – SISTEMA FORMALE – AMSTERDAM – DEDUTTIVA – SEMANTICO
Mostra altri risultati Nascondi altri risultati su TEORIE FORMALIZZATE (6)
Mostra Tutti

La civiltà islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali

Storia della Scienza (2002)

La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali Roshdi Rashed Gli archimedei e i problemi infinitesimali La storia della geometria infinitesimale, [...] proporzionalità tra area del cerchio e quadrato del diametro, e il teorema di Pitagora. In entrambi i casi si studia la lunula associata di unificare i vari casi particolari. Ma l'incompletezza già segnalata nasconde la possibilità dell'esistenza di ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

Metodo

Enciclopedia del Novecento (1979)

Metodo GGerard Radnitzky di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] Con la dimostrazione, data da Gödel nel 1931, dell'incompletezza dei Principia mathematica e della teoria dei numeri ha matematica (dal teorema di Gödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA
TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE
Mostra altri risultati Nascondi altri risultati su Metodo (4)
Mostra Tutti

La seconda rivoluzione scientifica: introduzione. Bohr ed Einstein: fenomeni e realtà fisica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: introduzione. Bohr ed Einstein: fenomeni e realta fisica Sandro Petruccioli Bohr ed Einstein: fenomeni e realtà fisica Gli storici della scienza hanno tentato diverse [...] teorema di conservazione della quantità di moto" (ibidem). Da questo punto di vista, la teoria tiene certamente conto di un elemento di arbitrarietà, della nostra libertà di scegliere le condizioni di del giudizio di incompletezza della descrizione ... Leggi Tutto
CATEGORIA: MECCANICA QUANTISTICA – STORIA DELLA FISICA

Scienza greco-romana. Le sfere celesti e le origini della trigonometria

Storia della Scienza (2001)

Scienza greco-romana. Le sfere celesti e le origini della trigonometria John L. Berggren Le sfere celesti e le origini della trigonometria La comparsa della sfera nella geometria è una diretta conseguenza [...] matematico dei loro argomenti. Infine, l’incompletezza formale di questi trattati, i quali in maniera piuttosto declinazione (l’altezza sopra l’equatore), considera come acquisito un teorema di sferica, che, peraltro, non si ritrova in nessuno dei ... Leggi Tutto
CATEGORIA: STORIA DELL ASTRONOMIA – STORIA DELLA MATEMATICA

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] si può dimostrare un teorema di completezza generalizzato rispetto a classi di modelli in cui le proprietà di R rientrano nello schema di incompletezza rispetto a strutture relazionali sono sporadici a livello proposizionale, c'è un numero infinito di ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

DE GIORGI, Ennio

Dizionario Biografico degli Italiani (2014)

DE GIORGI, Ennio Enrico Moriconi Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich. La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] contatto più stretto e più profondo con tutti gli altri. Accanto ai testi sapienziali, fondamentale è stata la riflessione sui teoremi di incompletezza ottenuti da Kurt Gödel nel 1931. Questi dimostrano, in primo luogo, che nessun sistema finito ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: ISTITUTO NAZIONALE PER LE APPLICAZIONI DEL CALCOLO – ACCADEMIA NAZIONALE DELLE SCIENZE, DETTA DEI XL – PONTIFICIA ACCADEMIA DELLE SCIENZE – ACCADEMIA DELLE SCIENZE DI TORINO – EQUAZIONE ALLE DERIVATE PARZIALI
Mostra altri risultati Nascondi altri risultati su DE GIORGI, Ennio (4)
Mostra Tutti

Diagnosi

Universo del Corpo (1999)

Diagnosi Cesare Scandellari Giorgio Bignami Diagnosi (dal greco διάγνωσις, dal tema di διαγιγνώσκω, "riconoscere attraverso") indica estensivamente il giudizio con cui si definisce un fenomeno in genere, [...] di un'ipotesi diagnostica viene utilizzata la cosiddetta regola, o teorema, di Bayes, che permette di calcolare il livello di probabilità post-test di di incompletezza; si obbietta inoltre che i sistemi informatici di questo tipo non sono in grado di ... Leggi Tutto
CATEGORIA: DIAGNOSTICA E SEMEIOTICA
TAGS: CRITERIO DI VEROSIMIGLIANZA – ARTRITE REUMATOIDE – TEOREMA, DI BAYES – SISTEMA ESPERTO – EX ADIUVANTIBUS
Mostra altri risultati Nascondi altri risultati su Diagnosi (6)
Mostra Tutti

L’ipotesi del continuo

Storia della civiltà europea a cura di Umberto Eco (2014)

Giorgio Strano Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook L’ipotesi del continuo, formulata da Georg Cantor negli anni Settanta dell’Ottocento, [...] la teoria degli insiemi che rendano possibile dimostrare o refutare l’ipotesi di Cantor. Anche il primo teorema d’incompletezza fornisce un esempio di proposizione indecidibile in un sistema formale sufficientemente espressivo da ambire a esprimere ... Leggi Tutto
1 2 3 4 5 6 7
Vocabolario
incompletézza
incompletezza incompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o per i. d’informazione). In logica matematica,...
godeliano
godeliano ‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...
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