Posté par thoasm .
En réponse au lien Déboguer ... les maths. .
Évalué à 3.
Dernière modification le 25 octobre 2023 à 18:38.
Oui ça a toujours existé que les matheux fassent des trucs dans leurs cahiers sans forcément les publier pour une raison X ou Y, pas suffisamment intéressant par exemple.
Maintenant c’est publié plus facilement, sans garantie de relecture non plus mais plus facilement accessible pour quelqu’un qui aurait besoin d’un résultat.
Et sur l’évaluation, pas certain que les prépublis comptent beaucoup en général !
La le truc intéressant c’est comment la communauté mathématique peut prendre possession de l’outil des assistants de preuve, avec une tête d’affiche comme Terence Tao qui documente sa progression et son usage.
[^] # Re: Première
Posté par thoasm . En réponse au lien Déboguer ... les maths. . Évalué à 3. Dernière modification le 25 octobre 2023 à 18:38.
Oui ça a toujours existé que les matheux fassent des trucs dans leurs cahiers sans forcément les publier pour une raison X ou Y, pas suffisamment intéressant par exemple.
Maintenant c’est publié plus facilement, sans garantie de relecture non plus mais plus facilement accessible pour quelqu’un qui aurait besoin d’un résultat.
Et sur l’évaluation, pas certain que les prépublis comptent beaucoup en général !
La le truc intéressant c’est comment la communauté mathématique peut prendre possession de l’outil des assistants de preuve, avec une tête d’affiche comme Terence Tao qui documente sa progression et son usage.