La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] è una dimostrazione di ¬φ in T').
Da [1]-[3] segue che in S si può dimostrare una contraddizione. Ma, per la natura di S, in S non si può dimostrare alcuna falsità, dunque questo è impossibile. Dal momento che l'assunzione ¬φ porta a una conclusione ...
Leggi Tutto
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 [...] .
Poiché i numeri sono tutti della forma 0 o S(x) (e non entrambe), Dedekind introdusse il principio di definizione per ricorsione primitiva: per definire una funzione dei computer.
Non è una contraddizione aver detto che i computer non esistevano al ...
Leggi Tutto
CAMPANO da Novara
Agostino Paravicini Bagliani
Il luogo e il periodo degli studi di C., i primi passi della sua carriera ecclesiastica, l'intero periodo insomma che va dalla nascita a Novara al suo [...] Morto alla fine del secolo (1296), C. avrebbe superato gli ottant'ami. La sua lunga permanenza alla corte papale non è in contraddizione con quanto si è detto, poiché le prime fonti pontificie che lo riguardano si riferiscono a un personaggio che già ...
Leggi Tutto
ANGELI, Stefano degli
Mario Gliozzi
Nacque a Venezia il 23 sett. 1623 e intraprese presto la carriera ecclesiastica vestendo l'abito dei gesuati, che mutò in quello di prete secolare, quando, nel 1668, [...] che i tempi erano mutati e che la geometria del Cavalieri non destava più interesse nei giovani matematici e nel 1667 troncò essere quasi indipendenti dall'altezza di caduta: la contraddizione di questo risultato con l'esperienza comune era la ...
Leggi Tutto
insieme
Walter Maraschini
Collettività alla base della matematica d'oggi
Una foresta è un insieme di alberi; la folla sugli spalti di uno stadio è un insieme di persone; un gregge o una mandria sono [...] scrivere A ⋂ B={multipli di 15}.
È possibile che due insiemi non abbiano alcun elemento in comune. In tale caso la loro intersezione matematica. Egli infatti vi ha trovato una contraddizione poi illustrata con il cosiddetto paradosso del barbiere ...
Leggi Tutto
zero
Walter Maraschini
Un numero che non vale nulla, ma conta molto
I numeri indicano quantità di oggetti, mentre lo zero ne segnala l’assenza. È davvero un numero? Quando si conta, si comincia da uno [...] poiché la divisione è l’operazione inversa della moltiplicazione, dovrebbe essere 0 × 0 = 5; ma non è così! Se fosse 5, allora dovrebbe essere 5 × 0 = 5; ma ciò è in contraddizione con la regola precedente. Se fosse un altro numero x diverso da 0 o 5 ...
Leggi Tutto
vita
vita [Lat. vita, affine a vivere "vivere"] [LSF] Oltre che nel signif. proprio, in uso nella biofisica, il termine è largamente usato in signif. figurati riconducibili a quello di durata, come intervallo [...] ancora viventi, che sono state osservate. L'apparente contraddizione tra le proprietà di organizzazione e differenziazione crescente dei sistema vivente è visto come sistema aperto (quindi non isolato), che si mantiene lontano dall'equilibrio grazie ...
Leggi Tutto
Diritto
E. di potere
Definizione. - Vizio di legittimità degli atti amministrativi discrezionali che determina l’annullamento degli stessi. L’e. di potere è nozione complessa, frutto di un lungo percorso [...] dispositivo diverso da quello poi adottato. Anche la «contraddizione tra provvedimenti» implica la violazione del principio di La violazione di «circolari», cioè di atti interni, non normativi, a contenuto generale, comporta l’illegittimità dell’atto ...
Leggi Tutto
Economia
Per il rapporto secondo il quale due beni si scambiano tra loro ➔ ragione di scambio.
Ragione sociale
Denominazione data a una società commerciale per contraddistinguerla da altre (è sinonimo [...] forma di concatenazione tra cose, non «necessitante» ma «determinante»; esprime, in altri termini, non la necessità, ma la possibilità di esistere di una cosa. Mentre il principio di contraddizione coglie una concatenazione necessaria (pena appunto ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] e assoluta, che, applicando agli assiomi di siffatto sistema le corrispondenti regole d'inferenza, non può mai seguirne contraddizione alcuna. Questo "metateorema d'impossibilità", vertente sulla teoria rappresentata nel predetto sistema assiomatico ...
Leggi Tutto
contraddizione
contraddizióne (o meno corretto contradizióne) s. f. [dal lat. contradictio -onis, der. di contradicĕre «contraddire»]. – 1. a. Il contraddire, il contraddirsi: cadere in c.; cogliere in c.; spirito di c., tendenza abituale...
non
nón avv. [lat. non]. – Avverbio di negazione; parola frequentissima nel discorso, serve a negare o escludere il concetto espresso dal vocabolo cui si premette (essere - non essere; andare - non andare; piove - non piove; intelligente -...