Il calcolo dei predicati rappresenta uno dei pilastri della logica matematica moderna e costituisce il linguaggio formale attraverso cui è stato possibile analizzare rigorosamente i fondamenti della matematica. L’opera di Kurt Gödel ha segnato una…
Read More
La Congettura di Goldbach è uno dei problemi aperti più celebri della teoria dei numeri.Fu formulata nel 1742 dal matematico prussiano Christian Goldbach in una lettera indirizzata a Leonhard Euler. In forma moderna: ogni numero…
L’asserzione di Fermat, nota oggi come Ultimo Teorema di Fermat, è uno dei risultati più celebri della storia della matematica. Per oltre tre secoli è rimasta una congettura non dimostrata, diventando un simbolo dei limiti…
Il problema della decisione in Turing è la formulazione computazionale della risposta negativa al problema della decisione proposto da Hilbert. Alan Turing, nel 1936, dimostrò che non esiste una procedura algoritmica generale capace di stabilire…
Il problema della decisione di Hilbert chiedeva se esistesse un metodo algoritmico generale per stabilire la verità di ogni formula logica. I lavori di Gödel, Church e Turing hanno dimostrato che tale metodo non esiste:…
Recensire I fondamenti matematici della meccanica quantistica (Mathematische Grundlagen der Quantenmechanik, 1932) di John von Neumann significa analizzare l’opera che ha trasformato una serie di intuizioni fisiche brillanti, ma frammentate, in una struttura assiomatica rigorosa….
La meccanica delle matrici (Matrizenmechanik), formulata da Werner Heisenberg nel 1925 con la collaborazione di Max Born e Pascual Jordan, rappresenta la prima formalizzazione completa della meccanica quantistica. A differenza dell’approccio di Schrödinger, che è…
John von Neumann, una delle menti più analitiche e formali del XX secolo, ebbe un ruolo cruciale nel “mettere ordine” nel caos teorico generato dalle scoperte di Erwin Schrödinger e Werner Heisenberg. Il suo pensiero…
Il saggio di Werner Heisenberg del 1925, Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen (Sulla reinterpretazione in chiave quantistica delle relazioni cinematiche e meccaniche), non è solo un articolo di fisica: è l’atto di fondazione…
Alla luce dei teoremi di incompletezza di Gödel, si può dire che essi possano invalidare le teorie economiche che hanno un significativo sostegno matematico? La questione è affascinante e tocca il cuore del rapporto tra…
