L'apprendimento della matematica
Bruno De Finetti (2015)
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana
Similarity:
Bruno De Finetti (2015)
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana
Similarity:
Marco Maggesi, Carlos Simpson (2006)
Bollettino dell'Unione Matematica Italiana
Similarity:
Controllare la correttezza di un ragionamento matematico, quando questo sia completamente formalizzato, è un compito che può essere delegato ad una macchina. Nasce in questo modo la Matematica Verificata al Calcolatore, una disciplina prossima alla forse più nota Dimostrazione Automatica dei Teoremi, ma da questa distinta permetodologie e obiettivi. Questo articolo si propone di presentare la verifica automatica delle dimostrazioni e di offrire alcuni spunti di riflessione sulle possibili...
Paolo Ciancarini (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Gabriele Lolli (2000)
Bollettino dell'Unione Matematica Italiana
Similarity:
Baldan Dante (2000)
Bollettino dell'Unione Matematica Italiana
Similarity:
Claudio Bernardi (2002)
Bollettino dell'Unione Matematica Italiana
Similarity:
Mario Rasetti (2000)
Bollettino dell'Unione Matematica Italiana
Similarity:
Il calcolo quantistico cerca la risposta, ad un secolo esatto di distanza, al decimo problema di Hilbert. Nuovo paradigma nella teoria del calcolo, esso costituisce una sfida senza precedenti per la fisica, ma anche una prospettiva importante per la matematica: lo stimolo a superare i vincoli posti dalla teoria della complessità algoritmica e affrontare problemi, che spaziano dalla teoria dei numeri alla logica formale, che si ritenevano inattaccabili.
Massimo Ferri (2001)
Bollettino dell'Unione Matematica Italiana
Similarity: