Risultati della ricerca

...campo della [[logica matematica|logica]], un sistema deduttivo. Un sistema deduttivo è una relazione che può sussistere tra un insieme di formule e una [[formul (Per prima cosa ho voluto costruire un formalismo che si avvicini il più possibile al ragionamento reale. Così nacque il "cal ...

Un esempio di assioma, utilizzato virtualmente in ogni [[sistema deduttivo]], è: ...gico formale e insieme alle [[regole di inferenza]] definisce un ''sistema deduttivo''. ...

Il ''[[Espansione post-newtoniana|formalismo post-newtoniano]]'' è uno strumento di calcolo che esprime le equazioni gra ...rché le variazioni nella velocità della luce non fanno parte del PEE, e il formalismo PPN non è direttamente rilevante per le teorie con una metrica non-simmetri ...

Il '''formalismo ADM''', dalle iniziali degli autori [[Richard Arnowitt]], [[Stanley Deser]] |bibcode = 1961PhRv..122..997A }}</ref> Una rassegna estesa di tale formalismo è stata pubblicata dagli stessi autori nel 1962.<ref>''Gravitation: An intr ...

...l abbiano affossato il programma di [[David Hilbert]] volto a costruire un formalismo matematico universale. L'idea generalmente condivisa è che nel secondo teor ...ne sue scuole di pensiero, come il [[filosofia della matematica#Formalismo|formalismo]], che basa la definizione dei suoi principi sulla logica formale. Il primo ...

...e letterale, già eseguito dagli elaboratori, e data la similitudine fra il formalismo di quest'ultima e quello della logica matematica. ...

...d ultimi") nella Sezione I del Libro I dei ''Principia'' (1687). Ma il suo formalismo integro differenziale algebrico ("metodo delle flussioni e dei fluenti") sa ...Leibniz rispose spiegando la propria notazione, oggi comunemente usata nel formalismo del [[calcolo infinitesimale]]. ...