home.social

#proofs — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #proofs, aggregated by home.social.

fetched live
  1. Why are some #proofs #human-readable and others aren’t?

    Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?

    There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.

    My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.

    So a #human-readable proof needs to trigger natural language inferences!

  2. Why are some #proofs #human-readable and others aren’t?

    Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?

    There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.

    My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.

    So a #human-readable proof needs to trigger natural language inferences!

  3. Why are some #proofs #human-readable and others aren’t?

    Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?

    There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.

    My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.

    So a #human-readable proof needs to trigger natural language inferences!

  4. Why are some #proofs #human-readable and others aren’t?

    Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?

    There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.

    My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.

    So a #human-readable proof needs to trigger natural language inferences!

  5. Why are some #proofs #human-readable and others aren’t?

    Why do I understand my own proofs when writing them, but am struggling to understand them when reading them after a long break?

    There are many tiny inference steps that are implicit in the write-up and need to be rediscovered by the reader.

    My feeling is that natural language facilitates these implicit inferences if the proof is written in a suitable way.

    So a #human-readable proof needs to trigger natural language inferences!

  6. At CDIS at KTH and listening to June Andronick on seL4 and I'm left wondering how scalable relying on global axiom of choice is in the era of vibe coders. Perhaps nothing has changed? We just commit to to do MORE proofs by vibe proving? As Terrence Tao (@tao) has pointed out, in this era it is not important who produces an artifact, it is however important to ingest the artifact in such a way that we collectively can build trust against said artifact. Personally I feel that, in this era, it is time to outlaw weak programming languages and require formal verification for any operating software, vibe coded or not. #proofs #formal #verification #vibecoding

  7. We have created two mini apps: Fantastic Fractals and Triangular Geometry. The web versions are available at driota.xyz. Android versions are also currently in preview (see the webpage for information). Comments and suggestions are greatly appreciated.
    Tutorial videos are available on YouTube:
    youtube.com/watch?v=1p4UONYYCo8
    youtube.com/watch?v=Cawd_Qzz2yQ

    #math #geometry #proofs #triangle #fractal #interactive #animated

  8. AI could destroy mathematics and barely touch it
    davidbessis.substack.com/p/the
    #AI challenges the "theorem economy" by automating #proofs while overlooking human intuition. Bessis argues that math's true product is understanding, not just results, which AI cannot yet replicate. The discipline's focus on theorems over concepts makes it vulnerable to machines that solve problems without building meaning. To remain relevant, mathematicians must emphasize the field's role in human sense-making rather than competitive symbol-pushing. Success depends on valuing the process of cognitive elevation and the creation of shared conceptual language.
    #mathematics #philosophy

  9. AI could destroy mathematics and barely touch it
    davidbessis.substack.com/p/the
    #AI challenges the "theorem economy" by automating #proofs while overlooking human intuition. Bessis argues that math's true product is understanding, not just results, which AI cannot yet replicate. The discipline's focus on theorems over concepts makes it vulnerable to machines that solve problems without building meaning. To remain relevant, mathematicians must emphasize the field's role in human sense-making rather than competitive symbol-pushing. Success depends on valuing the process of cognitive elevation and the creation of shared conceptual language.
    #mathematics #philosophy

  10. AI could destroy mathematics and barely touch it
    davidbessis.substack.com/p/the
    #AI challenges the "theorem economy" by automating #proofs while overlooking human intuition. Bessis argues that math's true product is understanding, not just results, which AI cannot yet replicate. The discipline's focus on theorems over concepts makes it vulnerable to machines that solve problems without building meaning. To remain relevant, mathematicians must emphasize the field's role in human sense-making rather than competitive symbol-pushing. Success depends on valuing the process of cognitive elevation and the creation of shared conceptual language.
    #mathematics #philosophy

  11. AI could destroy mathematics and barely touch it
    davidbessis.substack.com/p/the
    #AI challenges the "theorem economy" by automating #proofs while overlooking human intuition. Bessis argues that math's true product is understanding, not just results, which AI cannot yet replicate. The discipline's focus on theorems over concepts makes it vulnerable to machines that solve problems without building meaning. To remain relevant, mathematicians must emphasize the field's role in human sense-making rather than competitive symbol-pushing. Success depends on valuing the process of cognitive elevation and the creation of shared conceptual language.
    #mathematics #philosophy

  12. AI could destroy mathematics and barely touch it
    davidbessis.substack.com/p/the
    #AI challenges the "theorem economy" by automating #proofs while overlooking human intuition. Bessis argues that math's true product is understanding, not just results, which AI cannot yet replicate. The discipline's focus on theorems over concepts makes it vulnerable to machines that solve problems without building meaning. To remain relevant, mathematicians must emphasize the field's role in human sense-making rather than competitive symbol-pushing. Success depends on valuing the process of cognitive elevation and the creation of shared conceptual language.
    #mathematics #philosophy

  13. Season 2, Episode 9 is live.
    Estimates behave, contours close, and a late‑night mistake gets fixed the right way.
    Mathematics in motion not just results, but refinement.
    #Mathematics #Proofs #LearningInPublic
    cortexdrifter.blogspot.com/202

  14. Season 2, Episode 9 is live.
    Estimates behave, contours close, and a late‑night mistake gets fixed the right way.
    Mathematics in motion not just results, but refinement.
    #Mathematics #Proofs #LearningInPublic
    cortexdrifter.blogspot.com/202

  15. Season 2, Episode 9 is live.
    Estimates behave, contours close, and a late‑night mistake gets fixed the right way.
    Mathematics in motion not just results, but refinement.
    #Mathematics #Proofs #LearningInPublic
    cortexdrifter.blogspot.com/202

  16. Season 2, Episode 9 is live.
    Estimates behave, contours close, and a late‑night mistake gets fixed the right way.
    Mathematics in motion not just results, but refinement.
    #Mathematics #Proofs #LearningInPublic
    cortexdrifter.blogspot.com/202

  17. Season 2, Episode 9 is live.
    Estimates behave, contours close, and a late‑night mistake gets fixed the right way.
    Mathematics in motion not just results, but refinement.
    #Mathematics #Proofs #LearningInPublic
    cortexdrifter.blogspot.com/202

  18. "How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"

    quantamagazine.org/in-math-rig

    #Mathematics #Formal #Proofs #Computers #Lean

  19. "How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"

    quantamagazine.org/in-math-rig

    #Mathematics #Formal #Proofs #Computers #Lean

  20. "How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"

    quantamagazine.org/in-math-rig

    #Mathematics #Formal #Proofs #Computers #Lean

  21. "How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"

    quantamagazine.org/in-math-rig

    #Mathematics #Formal #Proofs #Computers #Lean

  22. "How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"

    quantamagazine.org/in-math-rig

    #Mathematics #Formal #Proofs #Computers #Lean

  23. @urlyman Others might hold that there is a confluence between the limits of Algorithmic Information; the modelling of digital and analogue processes and Information Algorithms; the reasons for the effective and beneficial processing of properties states. With no proof, are LLMs and quantum computers not just the projection and gaslighting of abstract relations and the reductionist predication of presuppositions? #Models #Proofs #Algorithms #Information #QuantumComputers #LLM #PhilosophyOfAlgorithms

  24. @urlyman Others might hold that there is a confluence between the limits of Algorithmic Information; the modelling of digital and analogue processes and Information Algorithms; the reasons for the effective and beneficial processing of properties states. With no proof, are LLMs and quantum computers not just the projection and gaslighting of abstract relations and the reductionist predication of presuppositions? #Models #Proofs #Algorithms #Information #QuantumComputers #LLM #PhilosophyOfAlgorithms

  25. @urlyman Others might hold that there is a confluence between the limits of Algorithmic Information; the modelling of digital and analogue processes and Information Algorithms; the reasons for the effective and beneficial processing of properties states. With no proof, are LLMs and quantum computers not just the projection and gaslighting of abstract relations and the reductionist predication of presuppositions? #Models #Proofs #Algorithms #Information #QuantumComputers #LLM #PhilosophyOfAlgorithms

  26. @urlyman Others might hold that there is a confluence between the limits of Algorithmic Information; the modelling of digital and analogue processes and Information Algorithms; the reasons for the effective and beneficial processing of properties states. With no proof, are LLMs and quantum computers not just the projection and gaslighting of abstract relations and the reductionist predication of presuppositions? #Models #Proofs #Algorithms #Information #QuantumComputers #LLM #PhilosophyOfAlgorithms

  27. @urlyman Others might hold that there is a confluence between the limits of Algorithmic Information; the modelling of digital and analogue processes and Information Algorithms; the reasons for the effective and beneficial processing of properties states. With no proof, are LLMs and quantum computers not just the projection and gaslighting of abstract relations and the reductionist predication of presuppositions? #Models #Proofs #Algorithms #Information #QuantumComputers #LLM #PhilosophyOfAlgorithms

  28. Phew, managed to read through the proofs of an article today. Was a bit tight, only had 15 mins of working time left. It always tends to take longer than expected.

    #proofs #publishing #AcademicChatter #AcademicFedi #manuscript #science #research

  29. Phew, managed to read through the proofs of an article today. Was a bit tight, only had 15 mins of working time left. It always tends to take longer than expected.

    #proofs #publishing #AcademicChatter #AcademicFedi #manuscript #science #research

  30. Phew, managed to read through the proofs of an article today. Was a bit tight, only had 15 mins of working time left. It always tends to take longer than expected.

    #proofs #publishing #AcademicChatter #AcademicFedi #manuscript #science #research

  31. Phew, managed to read through the proofs of an article today. Was a bit tight, only had 15 mins of working time left. It always tends to take longer than expected.

    #proofs #publishing #AcademicChatter #AcademicFedi #manuscript #science #research

  32. Phew, managed to read through the proofs of an article today. Was a bit tight, only had 15 mins of working time left. It always tends to take longer than expected.

    #proofs #publishing #AcademicChatter #AcademicFedi #manuscript #science #research

  33. Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia article that doesn't cite any Maths textbooks, and in fact has proofs in it that actually contradict the conclusion! (the series 0.1, 0.01, 0.001, 0.0001,... never reaches zero, even as the series approaches infinity - it's a hyperbola with an asymptote of 0 - which you think would be self-evident, and yet here we are) Welcome to the #disinformation age! 😡

    dotnet.social/@SmartmanApps/11

  34. Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia article that doesn't cite any Maths textbooks, and in fact has proofs in it that actually contradict the conclusion! (the series 0.1, 0.01, 0.001, 0.0001,... never reaches zero, even as the series approaches infinity - it's a hyperbola with an asymptote of 0 - which you think would be self-evident, and yet here we are) Welcome to the #disinformation age! 😡

    dotnet.social/@SmartmanApps/11

  35. Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia article that doesn't cite any Maths textbooks, and in fact has proofs in it that actually contradict the conclusion! (the series 0.1, 0.01, 0.001, 0.0001,... never reaches zero, even as the series approaches infinity - it's a hyperbola with an asymptote of 0 - which you think would be self-evident, and yet here we are) Welcome to the #disinformation age! 😡

    dotnet.social/@SmartmanApps/11

  36. Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia article that doesn't cite any Maths textbooks, and in fact has proofs in it that actually contradict the conclusion! (the series 0.1, 0.01, 0.001, 0.0001,... never reaches zero, even as the series approaches infinity - it's a hyperbola with an asymptote of 0 - which you think would be self-evident, and yet here we are) Welcome to the #disinformation age! 😡

    dotnet.social/@SmartmanApps/11

  37. Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia article that doesn't cite any Maths textbooks, and in fact has proofs in it that actually contradict the conclusion! (the series 0.1, 0.01, 0.001, 0.0001,... never reaches zero, even as the series approaches infinity - it's a hyperbola with an asymptote of 0 - which you think would be self-evident, and yet here we are) Welcome to the #disinformation age! 😡

    dotnet.social/@SmartmanApps/11