home.social

#preuve — Public Fediverse posts

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

fetched live
  1. #Korben: 54 des 55 f#ailles de s#écurité déposées par ce compte #GitHub n'existaient pas

    Le #système de déclaration de vulnérabilités ne vérifie pas l'i #dentité du déclarant, n'exige pas de #preuve de #concept, et accepte un texte plausible : les mainteneurs de #logiciels l#ibres comme #curl abandonnent les #programmes de #primes face au déluge de #faux #rapports.

    #cybersec #security #computer

    korben.info/54-des-55-failles-

  2. Dans le deuxième volet de cette série, nous poursuivons notre exploration des outils de l’ #investigation, nous échangeons sur les différences de stratégie entre milieu urbain et milieu rural, et nous définissons ce qui permet ou pas de faire #preuve.

    #influence #renseignement 👇

  3. "Une preuve mathématique devrait ressembler à une constellation simple et nette, et non à un amas éparpillé dans la Voie lactée." – Godfrey Harold Hardy (1877–1947)
    #citation #mathématiques #preuve #maths #math

  4. "Tout bon théorème devrait avoir plusieurs preuves, plus il y en a mieux c'est. Pour deux raisons : en général, des preuves différentes ont des forces et des faiblesses différentes, et elles se généralisent dans des directions différentes – ce ne sont pas seulement des répétitions les unes des autres." – Michael Atiyah (1929-2019)
    #citation #mathématiques #maths #math #preuve

  5. 📐 "Dernier théorème de #Fermat : à l'épreuve de l'informatique" (La Science, CQFD, 27 mars 2025)
    radiofrance.fr/franceculture/p
    "Un projet collaboratif s’est donné pour objectif de formaliser la #preuve du #théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?"

  6. "Une preuve mathématique devrait ressembler à une constellation simple et nette, et non à un amas éparpillé dans la Voie lactée." – Godfrey Harold Hardy (1877–1947)
    #citation #mathématiques #preuve #maths #math

  7. "Tout bon théorème devrait avoir plusieurs preuves [...]. Pour deux raisons:en général, des preuves différentes ont des forces et des faiblesses différentes, et elles se généralisent dans des directions différentes [...]"–Michael Atiyah (1929-2019)
    #citation #mathématiques #maths #math #preuve

  8. Un langage prouvé qui compile vers des langages plus courants ... Ca peut être intéressant dafny.org/ #programming #langage #mathématiques #preuve

  9. Billet de blog 💬 Le piège de la fabrique administrative de la #preuve

    ✏️ Revue Délibérée | En accès libre › blogs.mediapart.fr/revue-delib

  10. "Il peut y avoir des preuves en apparence très longues qui restent maîtrisables. Un mathématicien, s’il connaît bien le sujet, va y repérer des points stratégiques. [...] " – Alain Connes (1947-)
    #citation #mathématiques #maths #preuve

  11. "Je ne crois pas que Fermat ait eu une preuve [de son théorème]. Je pense qu'il s'est trompé en pensant qu'il avait une preuve. Mais ce qui a rendu ce problème spécial pour les amateurs, c'est qu'il y a une infime possibilité [...]" – Andrew Wiles (1953-)
    #citation #mathématiques #maths #preuve

  12. "Une preuve, c'est-à-dire un argument mathématique, est une œuvre de fiction, un poème. Son but est de satisfaire. Une belle preuve devrait expliquer, et elle devrait expliquer clairement, profondément et élégamment. [...]" – Paul Lockhart
    #citation #mathématiques #maths #preuve

  13. Je ne peux pas confirmer ou infirmer cette prétention. #Preuve #Science

  14. Ça y est j'ai la #preuve formelle que certains extraterrestres qui font des #cropcircles se droguent.