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 [...] 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 verifica diretta (prova esplicita), ma piuttosto tramite un détour ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] se le parole designassero cose particolari o classi di cose (per es., Hattori 1968). La nozione di astrazione non è soltanto implicita nel linguaggio, ma è anche usata nella scienza del linguaggio; essa è connessa al concetto di 'zero' ed è alla base ...
Leggi Tutto
implicare
v. tr. [dal lat. implicare, comp. di in-1 e plicare «piegare»] (io ìmplico, tu ìmplichi, ecc.; poet. io implìco, ecc.). – 1. letter. Inviluppare o avvolgere intrigando, imbrogliando: un gran vento ... dibatté e implicò lo stendardo...
implicazione
implicazióne s. f. [dal lat. implicatio -onis]. – 1. non com. L’implicare, l’essere implicato; lo stato di più cose implicate insieme. 2. a. Conseguenza logica, necessaria di un fatto: i. sociali, economiche, finanziarie di una...