bibliolater , to ai
@bibliolater@qoto.org avatar

"Notably, we demonstrated through AlphaGeometry a neuro-symbolic approach for theorem proving by means of large-scale exploration from scratch, sidestepping the need for human-annotated proof examples and human-curated problem statements."

Trinh, T.H., Wu, Y., Le, Q.V. et al. Solving olympiad geometry without human demonstrations. Nature 625, 476–482 (2024). https://doi.org/10.1038/s41586-023-06747-5 @science

ALT
  • Reply
  • Loading...
  • bibliolater , to science
    @bibliolater@qoto.org avatar

    "This interdisciplinary study at the intersection of biology and mathematics involves numerous real experiments to demonstrate the capability of the proposed method in detecting biologically relevant information and its reliable signals while avoiding false positives. The outcome provides a coherent theoretical framework for analyzing biological networks." https://www.mpg.de/21284358/a-new-mathematical-language-for-biological-networks @science @biology

    bibliolater , to science
    @bibliolater@qoto.org avatar

    "This interdisciplinary study at the intersection of biology and mathematics involves numerous real experiments to demonstrate the capability of the proposed method in detecting biologically relevant information and its reliable signals while avoiding false positives. The outcome provides a coherent theoretical framework for analyzing biological networks."
    https://www.mpg.de/21284358/a-new-mathematical-language-for-biological-networks
    @science

    bibliolater , to science
    @bibliolater@qoto.org avatar

    "This paper discusses the archive and library of the Royal Dutch Mathematical Society, as a starting point for research into the history of Dutch mathematics."

    Danny J. Beckers, History of Mathematics in the Netherlands: where to find it. EMS Newsl. 107 (2018), pp. 23–27. DOI: https://doi.org/10.4171/news/107/5 @science

    bibliolater , to ai
    @bibliolater@qoto.org avatar

    "From insight into our human ancestry and breakthroughs on the moon to a flourishing of AI and terrifying new developments in the climate, it was a year of scientific drama" https://www.theguardian.com/science/2023/dec/23/the-10-biggest-science-stories-of-2023-chosen-by-scientists @science

    bibliolater , to philosophy
    @bibliolater@qoto.org avatar

    "In his Remarks on the Foundations of Mathematics, Wittgenstein claims, puzzlingly, that ‘the proof creates a new concept’ (RFM III-41). This paper aims to contribute to clarifying this idea, and to showing how it marks a major break with the traditional conception of proof."

    Sorin Bangu, Wittgenstein on Proof and Concept-Formation, The Philosophical Quarterly, 2023;, pqad111, https://doi.org/10.1093/pq/pqad111 @philosophy

    bibliolater , to science
    @bibliolater@qoto.org avatar

    : Nikolai Ivanovich Lobachevsky.

    "Nikolai Lobachevsky published his work on non-Euclidean geometry, the first account of the subject to appear in print." https://mathshistory.st-andrews.ac.uk/Biographies/Lobachevsky/ @science

    bibliolater , to science
    @bibliolater@qoto.org avatar

    : Nikolai Ivanovich Lobachevsky.

    "Nikolai Lobachevsky published his work on non-Euclidean geometry, the first account of the subject to appear in print."

    https://mathshistory.st-andrews.ac.uk/Biographies/Lobachevsky/ @science

    djvanness , to academicchatter
    @djvanness@mastodon.social avatar

    Heartbreaking article about selling out its future. Land grant universities tap into deep reserves of talent that are shut out of elite private schools. They played a critical role in the development of the US into a 20th century superpower. Now, we run universities like money-making enterprises - selling cheap products at inflated prices and wonder why the public questions our value. Shame on Gordon Gee and all like him. @academicchatter https://www.newyorker.com/news/us-journal/an-academic-transformation-takes-on-the-math-department

    bibliolater , to science
    @bibliolater@qoto.org avatar

    "Abraham de Moivre (born May 26, 1667, Vitry, Fr.—died Nov. 27, 1754, London) French mathematician who was a pioneer in the development of analytic trigonometry and in the theory of probability"

    Britannica, The Editors of Encyclopaedia. "Abraham de Moivre". Encyclopedia Britannica, 23 Nov. 2023, https://www.britannica.com/biography/Abraham-de-Moivre. Accessed 27 November 2023. @science

    appassionato , to bookstodon
    @appassionato@mastodon.social avatar

    The Joy of X: A Guided Tour of Math, From One to Infinity

    A world-class mathematician and regular contributor to the "New York Times" hosts a delightful tour of the greatest ideas of math, revealing how it connects to literature, philosophy, law, medicine, art, business, even pop culture in ways we never imagined.

    @bookstodon


    ALT
  • Reply
  • Expand (1)
  • Collapse (1)
  • Loading...
  • kta ,
    @kta@hostux.social avatar

    @appassionato @bookstodon -- Strogatz is a great writer. Sync and Infinite Powers are also great reads.

    appassionato , to bookstodon
    @appassionato@mastodon.social avatar

    The Big Bang of Numbers

    How to Build the Universe Using Only Math

    An engaging and imaginative tour through the fundamental mathematical concepts—from arithmetic to infinity—that form the building blocks of our universe.

    @bookstodon



    ALT
  • Reply
  • Loading...
  • bibliolater , to science
    @bibliolater@qoto.org avatar

    How One Line in the Oldest Math Text Hinted at Hidden Universes https://youtu.be/lFlu60qs7_4 @science

    zenartcenter , to buddhism
    @zenartcenter@universeodon.com avatar
    zenartcenter , to buddhism
    @zenartcenter@universeodon.com avatar
    bibliolater , to earlymodern
    @bibliolater@qoto.org avatar

    Becchi, Antonio, Meli, Domenico Bertoloni and Gamba, Enrico (eds.) (2013). Guidobaldo del Monte (1545–1607): Theory and Practice of the Mathematical Disciplines from Urbino to Europe. Berlin: Max-Planck-Gesellschaft zur Förderung der Wissenschaften. DOI: https://doi.org/10.34663/9783945561218-00 @science @earlymodern

    bibliolater , to science
    @bibliolater@qoto.org avatar

    Coates, T., Kasprzyk, A.M. & Veneziale, S. Machine learning the dimension of a Fano variety. Nat Commun 14, 5526 (2023). https://doi.org/10.1038/s41467-023-41157-1 @science

    bibliolater , to science
    @bibliolater@qoto.org avatar

    Coates, T., Kasprzyk, A.M. & Veneziale, S. Machine learning the dimension of a Fano variety. Nat Commun 14, 5526 (2023). https://doi.org/10.1038/s41467-023-41157-1 @science

    bibliolater , to science
    @bibliolater@qoto.org avatar

    "Liquid can levitate and boats can float upside down in this gravity-defying physics experiment." https://youtu.be/bodsuTucSxQ @science

    bibliolater , to science
    @bibliolater@qoto.org avatar

    Dominic J. Skinner et al., Topological packing statistics of living and nonliving matter. Sci. Adv. 9, eadg1261 (2023). DOI: https://doi.org/10.1126/sciadv.adg1261 @science

    mguhlin , to edutooters
    @mguhlin@mastodon.education avatar

    It’s a jackpot of resources for teaching students graph analysis and graph making skills! Explore guiding questions and tons of tools. https://blog.tcea.org/graph-making-analysis-skills/

    @edutooters

    bibliolater , to science
    @bibliolater@qoto.org avatar

    "Thanks to a complex mathematical algorithm, these plastic shapes follow a very specific route as they roll. In fact, researchers have shown that a shape can be designed to follow almost any path you can think of." https://youtu.be/2lW9HznqsVY @science

    bibliolater , to science
    @bibliolater@qoto.org avatar

    From better bridges to more efficient cars: how pocket calculators changed the world https://doi.org/10.1038/d41586-023-02601-w @science @bookstodon

    bibliolater , to random
    @bibliolater@qoto.org avatar

    🧵 : this the first in a series of that will eventually be stitched together into a related to 📚 and 📘. (1)

    bibliolater OP ,
    @bibliolater@qoto.org avatar

    "After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic."

    Florio, Salvatore, and Øystein Linnebo, The Many and the One: A Philosophical Study of Plural Logic (Oxford, 2021; online edn, Oxford Academic, 23 Sept. 2021), https://doi.org/10.1093/oso/9780198791522.001.0001, accessed 4 Dec. 2023. @philosophy @bookstodon (67)

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • updates
  • testing
  • tech
  • drbboard
  • programming
  • til
  • wanderlust
  • bitcoincash
  • Sacramento
  • All magazines