Categoria: Matematica
-
Tentativo per la costruzione di una logica per la dimostrazione automatica di teoremi
Introduzione Secondo me (ma è solo un’ipotesi) conoscere la cardinalità dell’insieme delle dimostrazioni potrebbe portarci a una AI in grado di fare dimostrazioni automatiche in grado di “cadere” vicine a dimostrazioni di oggetti matematici desiderati. A questo proposito sono partito dal lavoro di Kurt Gödel sull’incompletezza per provare a dimostrare la cardinalità dell’insieme di dimostrazioni…
-
Possibile nuovo invariante?
Vorrei riportarVi una chat avuta con ChatGPT circa un possibile nuovo invariante che “colleghi” le dimostrazioni per induzione con le funzioni ricorsive (sia in matematica che in informatica); vorrei anche precisare che, visto che parliamo di dimostrazioni per induzione, probabilmente è collegabile anche all’invariante che ho provato a definire qui (è descritto nella seconda parte…
-
Nuovo approccio a una dimostrazione matematica?
Ciao e Benvenutə, quest’oggi si parla di una bestia nera per molti: matematica. Presumo di avere pensato un possibile metodo di aggressione per tutti quei problemi matematici che prevedano punti all’infinito. L’ho pensata per la Congettura di Riemann ma credo possa funzionare anche per la Congettura di Birch e Swinnerton-Dyer e, sotto certe ipotesi, anche…