» Esercizi svolti di Matematica e Fisica

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

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…)

Posted in Autopoiesis | No Comments »

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

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

Posted in Analisi Matematica II | No Comments »