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 [...] della posizione logicista. Dopo di loro +yw≠zw). Un tipico metodo dimostrativo finitario è il procedimento di dimostrazione per induzione applicato ad 0=1. Ma, per la natura di S, in S non si può dimostrare alcuna falsità, dunque S⊬0=1. Perciò si ...
Leggi Tutto
La scienza bizantina e latina. Introduzione
John D. North
Introduzione
Gli storici della scienza medievale che tentino d'individuare il nome del primo esponente moderno della loro disciplina rischiano [...] seconda metà del XX sec. i vecchi metodidi calcolo con l'abaco erano ancora usati in loro posizione grazie a meriti accademici. Essi furono quindi in grado di esercitare una un falso rispetto e che contribuirono a ispirare un certo senso di unità, ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] x=y, dando come risultato vero (true) o falso (false). Per illustrare meglio come funziona questo linguaggio, analizziamo l bit di Ω è 0,
Il 37° bit di Ω è 1,
la quale determina il valore di un particolare bit di Ω in una particolare posizione, sia ...
Leggi Tutto
DE MARTINO (Di Martino), Pietro
Pietro Nastasi
Fratello di Nicola Antonio, nacque a Faicchio (Benevento) il 31 maggio 1707 da Cesare e Agata Ferrari.
Compiuta la primissima istruzione nel seminario [...] si può, definire la vera forma della Terra. Questo metodo consiste nell'uso delle parallassi lunari osservate da diversi luoghi che "da un'ipotesi falsa non puo mai ricavarsi un'affermazione vera" . Questo tipo diposizione, che era servito nell' ...
Leggi Tutto
posizione
poṡizióne s. f. [dal lat. positio -onis, der. di ponĕre «porre», part. pass. posĭtus]. – 1. a. Il luogo, o il punto di un luogo in cui una cosa è posta o si trova, considerato e determinato in relazione ad altre cose o ad altri punti...
sostituzione
sostituzióne (ant. sustituzióne) s. f. [dal lat. tardo substitutio -onis, der. di substituĕre «sostituire»]. – 1. L’azione, l’atto di sostituire; il fatto di sostituirsi o di essere sostituito: nessuno si è accorto della s. dell’originale...