Transforming Mathematics

Más de Otra matemática ese día

• Matemática y estadística/Otra matemática22 de sept de 2026

  Graduate Mathematics in the Age of AI: Forming Mathematicians for Original, Independent, and Responsible Inquiry

  It distinguishes a work's contribution to mathematics from the evidence it provides of a student's formation; explains how a known answer can initiate rather than end creative inquiry; and proposes changes in learning activities, assessment, doctoral originality, advising, and institutional support.

  Bacim Alali — arXiv

  PreprintFácil de leer

  Guardar
• Matemática y estadística/Otra matemática22 de sept de 2026

  CIC + EM $⊢$ Con(ZF): the consistency of ZF in type theory with excluded middle and no choice

  In the type theory of Lean with two predicative universes, from excluded middle as the only assumption and with no axiom (no choice, no propositional extensionality, no quotients), we prove the consistency of $ZF$, stated outright for a first-order proof system. The proof is formalized.

  Mario Carneiro — arXiv

  PreprintCódigo disponible

  Guardar
• Matemática y estadística/Otra matemática22 de sept de 2026

  Counterexamples to Grad's conjecture

  For each sufficiently large $N$, we construct smooth solutions of the magnetohydrostatic equations on embedded solid tori whose regular pressure levels are nested tori, whose magnetic field vanishes exactly on a round magnetic axis, and whose group of Euclidean symmetries, even when isometries reversing the sign of the field are admitted, is exactly the cyclic group $C_N$ of rotations through multiples of $2\pi /N$.

  Javier G\'omez-Serrano, Lukas Liehr, Mitchell A. Taylor — arXiv

  Preprint

  Guardar
• Matemática y estadística/Otra matemática22 de sept de 2026

  A complete characterization of eventually entanglement breaking unital quantum channels

  We obtain a complete characterization of eventually entanglement breaking (EEB) unital channels in terms of some simple commutation properties of their eigenvectors.

  B. V. Rajarama Bhat, Pankaj Dey, Biswarup Saha — arXiv

  Preprint

  Guardar
• Matemática y estadística/Otra matemática22 de sept de 2026

  Finite Spectra of Syllogistic Logic with Cardinality Comparisons

  We give a complete classification of these spectra: besides the empty set, every $S^{†}(card)$-spectrum is either an eventual tail of the positive integers or an eventual tail of the positive even integers.

  Ruiting Jiang — arXiv

  Preprint

  Guardar

Todos los papers nuevos de Otra matemática