14 articoli
Il paper propone un modello di risoluzione dei problemi matematici basato sull'aggiornamento delle credenze, distinguendo tra concetti impliciti e espliciti, e sostiene che la creazione di concetti espliciti è il passo fondamentale della scoperta matematica, un'abilità attualmente assente nei sistemi di intelligenza artificiale che operano solo tramite concetti impliciti.
Questo articolo condivide l'esperienza del Congresso Matematico di Mosca per studenti delle scuole superiori, illustrando come progetti di ricerca non focalizzati sulla novità scientifica possano introdurre gradualmente gli adolescenti al processo di ricerca, dallo sviluppo dell'intuizione e correzione degli errori alla revisione paritaria e al riconoscimento accademico.
Il documento descrive un semplice metodo Monte Carlo per stimare il valore di lanciando una moneta, offrendo una nuova interpretazione di basata su identità di numeri di Catalan.
Queste note del corso offrono un'introduzione alle dimostrazioni matematiche per studenti universitari in transizione dal calcolo computazionale alla matematica astratta, coprendo argomenti fondamentali come la logica proposizionale, le tecniche di dimostrazione, l'induzione, gli insiemi, le relazioni e la completezza dei numeri reali, corredati da numerosi esempi ed esercizi con soluzioni complete.
Questo articolo, nato dall'iniziativa mondiale del 12 maggio per celebrare le donne in matematica, ripercorre le origini e le attività del progetto, con particolare attenzione al workshop online sulle funzioni generalizzate, e offre una breve panoramica delle pionieri come Ipazia, Sofia Kovalevskaya, Emmy Noether, Maryam Mirzakhani, Karen Uhlenbeck e Ingrid Daubechies, che hanno segnato la storia della disciplina con contributi scientifici fondamentali e traguardi di primo piano.
Questo articolo presenta un catalogo esaustivo delle identità delle serie di Lambert, offrendo una panoramica delle loro proprietà formali, generalizzazioni combinatorie e tabelle di casi speciali, con un focus sulla loro utilità nell'enumerazione di funzioni moltiplicative e nella teoria delle partizioni piuttosto che sull'analisi della convergenza.
Questo articolo introduce gli "quasi-embedding" di grafi nel piano, stabilisce relazioni tra i loro invarianti collegandoli all'omologia del prodotto cancellato, costruisce esempi specifici e presenta concetti di topologia algebrica e geometrica in modo accessibile agli studenti, pur affrontando problemi aperti della ricerca avanzata.
Questo lavoro introduce un sistema di ricerca semantica su scala web per 9,2 milioni di teoremi matematici, dimostrando che l'uso di descrizioni in linguaggio naturale e modelli di embedding avanzati migliora significativamente il recupero di risultati specifici rispetto ai metodi tradizionali basati su interi articoli.
Questo documento presenta una traduzione in inglese e una digitalizzazione del saggio originale di Sofya Kovalevskaya del 1889, scritto in francese, che tratta della rotazione di un corpo rigido attorno a un punto fisso e introduce la nota trottola di Kovalevskaya.
Il paper dimostra che il principio di permanenza di Peacock non è stato invalidato dalle algebre non commutative di Hamilton, ma va piuttosto interpretato come una strategia conservatrice che, pur privilegiando la conservazione delle leggi di ragionamento, ammette eccezioni quando le ragioni per violarle superano quelle per mantenerle, come evidenziato dallo stesso sviluppo del calcolo quaternionico da parte di Hamilton.
Questo studio analizza l'approssimazione di dischi iperbolici, ellittici e parabolici nel modello di Beltrami-Cayley-Klein mediante bande di distanza, quantificando la loro vicinanza in termini di area e circonferenza.
Il documento introduce il "Demone di Blackwell", un'entità teorica che, sfruttando inhomogeneità in un sistema statisticamente omogeneo, permette di prevedere con probabilità superiore a 1/2 la direzione di un cammino casuale generato da una moneta equa, a condizione che la moneta sia inserita in un ambiente di sufficiente complessità.
Questo articolo presenta un sistema multi-agente che, ispirandosi al processo storico di scoperta matematica, recupera autonomamente il concetto di omologia da dati poliedrici, dimostrando come l'ottimizzazione di processi locali interagenti possa generare nozioni di interesse matematico allineate.
Questo saggio esorta i matematici a tenersi aggiornati sulle recenti capacità dell'intelligenza artificiale nella dimostrazione di teoremi, affinché possano comprendere e rispondere adeguatamente alle sfide e alle opportunità che questa tecnologia presenta per la pratica matematica.