Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] contenente informazioni implicite (il t per cui A(t/x) o il disgiunto da cui si ottiene A B) rimanda alla dimostrabilità di un enunciato che rende esplicito quanto in esso è implicito.
Nella pratica matematica non si dimostra mai un risultato per ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] vecchi) con particolari caratteristiche o le proprietà dei modelli ricorsivamente saturi o risplendenti o, ancora, la non dimostrabilità in AP di enunciati che, diversamente da quelli utilizzati da Kurt Gödel nel suo teorema d'indecidibilità, non ...
Leggi Tutto
verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non credere alla v. delle parole di qualcuno;...