[¯|¯] 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…)




[¯|¯] Complementi agli esercizi del "Flaccavento". Formule fondamentali di integrazione

mercoledì, Gennaio 30th, 2019

integrali indefiniti,formule fondamentali di integrazione
.


Abbiamo pensato di aggiungere come complemento al Flaccavento, alcuni esercizi. Precisamente, quelli che riguardano le formule fondamentali di integrazione
(altro…)