[¯|¯] Calcoliamo quest'integrale

domenica, Febbraio 3rd, 2019

integrale,integrali indefiniti
Fig. 1.


Esercizio
Calcolare l'integrale di fig. 1


Soluzione

Scriviamo


(altro…)




[¯|¯] Una macchina della verità gödeliana. Il teorema di Gödel e il Teorema del punto fisso di Brouwer

giovedì, Gennaio 31st, 2019

integrali indefiniti,formule fondamentali di integrazione
.

In questo hand-book illustriamo un possibile legame tra il teorema di Gödel il Teorema del punto fisso di Brouwer. Nello specifico, l'insieme delle proposizioni di un assegnato sistema formale viene strutturato come spazio topologico, dopodiché viene definita una funzione che simula una "macchina della verità".

(altro…)