Per Barwise la logica matematica procede in questo modo : Assume come materiale grezzo le formule, gli assiomi, le dimostrazioni e i teoremi di tutte le branche della matematica. continua
Molti studiosi sostengono che la sillogistica aristotelica è interpretabile mediante la teoria degli insiemi e la logica delle classi. In altri termini, è possibile trasformare gli elementi di un sillogismo, premesse e conclusione, nel linguaggio della teoria degli insiemi o della logica delle classi. continua
domenica 29 marzo 2009 quinta di quaresima In quel tempo, tra quelli che erano saliti per il culto durante la festa c’erano anche alcuni Greci. Questi si avvicinarono a Filippo, che era di Betsàida di Galilea, e gli domandarono: «Signore, vogliamo vedere Gesù». Filippo andò a dirlo ad Andrea, e poi Andrea e Filippo andarono a dirlo a Gesù. continua
Buonasera BLog’s People! Riprendo, e faccio da eco, ad un articolo pubblicato questa mattina da bravo Danilo (Dream) nel suo Blog Intermarket&More. “Tasso disoccupazione in aumento: ma si lavora anche meno!“. Questo il titolo/monito del post. continua
Grande colpo o investimento folle? Come spesso accade nel calcio, i dibattiti non si basano sulle mezze misure ma si concentrano su due estremi inconciliabili. L’operazione Matri non fa eccezione , e ha scatenato una discussione molto forte all’interno del tifo bianconero e tra i principali commentatori sportivi. continua