Logica
Esplora gli articoli di matematica sul tema logica.
42 su 42: questo liceale di 17 anni ottiene un punteggio perfetto alle Olimpiadi
Alex Chui, liceale britannico di 17 anni, ha ottenuto un punteggio perfetto alle Olimpiadi internazionali della matematica del 2026, conquistando nel frattempo il record di sette medaglie in sette partecipazioni.
Pensate per parole quando risolvete un’equazione?
Le neuroscienze rivelano che il cervello elabora la matematica attraverso reti distinte da quelle del linguaggio naturale, mettendo in discussione la nostra concezione della cognizione matematica.
Turing, Matilda, Flatland: i vincitori dei premi Tangente per le scuole medie e superiori che avvicinano gli studenti alla matematica
Sono noti i vincitori dei premi Tangente per le scuole medie e superiori. Quasi 3 000 studenti hanno votato i loro libri di matematica preferiti.
Premi SMF 2025: d’Alembert e Jacqueline-Ferrand
La Société mathématique de France assegna i suoi premi 2025 alla mostra «Ça résonne» della MMI di Lione e alla compagnia L’île logique, nonché al progetto ResCo per la didattica collaborativa.
Leibniz inventò davvero l’antenato del computer?
L’articolo demistifica l’immagine di Leibniz come precursore del computer, analizzando la realtà storica del suo progetto di lingua universale.
Esperanto e matematica: una lingua universale coerente
L’esperanto, creato da Zamenhof nel 1887, condivide con la matematica un ideale di perfetta coerenza. Scoprite perché questa lingua costruita affascina logici e matematici.
Terence Tao avverte: l’IA scrive dimostrazioni che nessuno riesce a leggere
Terence Tao mette in guardia da una nuova soglia: l’IA accelera la formalizzazione delle dimostrazioni, ma genera risultati troppo prolissi per essere compresi dagli esseri umani.
Quando l’IA «risolve» una congettura senza dimostrazione: la risposta dei matematici
La comunità matematica si mobilita di fronte agli annunci dell’IA. La Dichiarazione di Leiden traccia il confine tra generazione e verifica delle dimostrazioni.
Matematici e ateismo: Laplace, Erdős e Hardy sfidavano Dio
Laplace, Erdős e Hardy: tre aneddoti su matematici che, con la logica e la matematica, misero in dubbio l’esistenza di Dio.
Leibniz e il migliore dei mondi possibili: matematica e filosofia
Come Leibniz usa la matematica per giustificare l’esistenza del migliore dei mondi possibili, tra calcolo infinitesimale, simmetria e filosofia.
Le tre certezze su cui Cartesio fondò tutta la sua fisica
Come Cartesio costruì la propria filosofia su tre certezze: l’esistenza del soggetto pensante, la bontà divina e il rigore matematico.
Il simbolismo dei numeri nella Bibbia: il senso spirituale di 2, 3 e 4
Esplora il significato spirituale dei numeri 2, 3 e 4 nella Bibbia: alleanza divina, Trinità e totalità del mondo creato.
Leibniz, lo Yi Jing e il sistema binario: un incontro improbabile
Scoprite come Leibniz, studiando il Libro dei mutamenti cinese, vi trovò una prefigurazione del sistema binario che rivoluzionerà l’informatica moderna.
Whitehead e l’armonia logica tra matematica e filosofia
Un’immersione nel pensiero di Alfred North Whitehead, che fondò i Principia Mathematica con Russell e sviluppò una metafisica del cosmo in cui Dio e la matematica collaborano al divenire del mondo.
Scommessa di Pascal: probabilità e fede nell’analisi matematica
Spiegazione del celebre ragionamento di Blaise Pascal sulla scommessa della fede, che applica la teoria delle probabilità alla questione dell’esistenza di Dio.
Congettura abc: perché la verifica al computer potrebbe risolvere il più grande scandalo matematico
Dal 2012, la dimostrazione della congettura abc proposta da Shinichi Mochizuki divide la comunità matematica. Alcuni ricercatori ricorrono alla verifica formale assistita dal computer per dirimere finalmente la questione.
Busy Beaver: la funzione oltre ogni calcolabilità
La funzione Busy Beaver cresce più rapidamente di qualsiasi funzione calcolabile. Scoprite perché alcuni numeri sono matematicamente inaccessibili.
Terence Tao e l’intelligenza artificiale: ciò che cambiano nella matematica
Terence Tao, vincitore della medaglia Fields, racconta la sua esperienza con l’IA nella ricerca matematica: un partner d’esplorazione che trasforma il modo di formulare i problemi.
Concorso Alkindi 2026: finale di crittoanalisi per studenti delle medie all’École des Mines
Venti squadre di studenti della scuola secondaria di primo e secondo grado si sfidano il 13 maggio all’École des Mines di Parigi per conquistare il titolo di miglior crittoanalista junior di Francia.
Michèle Audin: matematica, scrittrice e oulipiana
La vita di Michèle Audin fu al crocevia di molteplici impegni. La matematica di professione, la scrittrice, l’attivista sociale e politica: tutto si intrecciava e si arricchiva a vicenda.