Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] della dimostrazione è dunque la codifica della metateoria di PA entro PA, vale a dire la rappresentazione univoca di ogni enunciato di PA come stringa di dimostrare la coerenza di PA all’interno dellateoria stessa, se PA è coerente. Formalmente:
se ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] :
1) un linguaggio formale L con particolari stringhe di simboli dette formule ben formate (fbf), ossia così una stratificazione dei piani linguistici: la metateoria (la teoriadella dimostrazione) è descritta nel modo più preciso possibile da un ...
Leggi Tutto
vuoto
vuoto aggettivo che indica ciò che è privo di elementi o di componenti. Per esempio, l’→ insieme vuoto è definito come l’insieme che non contiene alcun elemento (ed è indicato con il simbolo ∅); [...] del linguaggio: per esempio, la definizione nella teoria degli insiemi delle operazioni di unione e di intersezione fra αλ, avendo indicato con λ la stringa vuota (la regola in sostanza stabilisce che dalla stringa αβ può ricavarsi α, sua parte ...
Leggi Tutto
carattere
carattere uno qualsiasi dei simboli utilizzati per costruire una teoria formale. Il loro insieme è detto alfabeto. Per esempio, dell’alfabeto A = {a, b, c, d, ...} le lettere a, b, c... sono [...] i caratteri. Una sequenza finita di caratteri è detta stringa o parola dell’alfabeto; per esempio, la scrittura 1001010 è una stringa o parola dell’alfabeto che ha come caratteri 0 e 1. Tra i caratteri di un alfabeto si considera anche il → carattere ...
Leggi Tutto
miṡura s. f. [lat. mensūra, der. di mensus part. pass. di metiri «misurare»]. – 1. a. Il valore numerico attribuito a una grandezza, ottenuto ed espresso come rapporto tra la grandezza data e un’altra della stessa specie assunta come unità (unità...
tempo
tèmpo s. m. [lat. tĕmpus -pŏris, voce d’incerta origine, che aveva solo il sign. cronologico, mentre quello atmosferico (cfr. al n. 8) era significato da tempestas -atis]. – 1. L’intuizione e la rappresentazione della modalità secondo...