. 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
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
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 teoremadi 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
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 teoremadi Gödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione ...
Leggi Tutto
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 [...] teoremadi 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 diincompletezza della descrizione ...
Leggi Tutto
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 teoremadi sferica, che, peraltro, non si ritrova in nessuno dei ...
Leggi Tutto
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 teoremadi completezza generalizzato rispetto a classi di modelli in cui le proprietà di R rientrano nello schema diincompletezza rispetto a strutture relazionali sono sporadici a livello proposizionale, c'è un numero infinito di ...
Leggi Tutto
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 teoremidiincompletezza ottenuti da Kurt Gödel nel 1931. Questi dimostrano, in primo luogo, che nessun sistema finito ...
Leggi Tutto
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 didiincompletezza; si obbietta inoltre che i sistemi informatici di questo tipo non sono in grado di ...
Leggi Tutto
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
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
‹ġö-› 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à...