Il y a une minuscule partie nommée "Languages" à la fin. J'imagine que c'est un embryon de ce qu'il faudrait pour parler de preuves.
Personnellement, je n'ai rien contre que quelqu'un rédige quelque chose.
Par contre, la politique du Frido est que tous les résultats intermédiaires doivent être démontrés --- ou au moins énoncés précisément avec un lien vers une preuve disponible en ligne. Et les mots intervenant dans un énoncé doivent être définis, et si une définition fait intervenir un théorème (genre un 'foobar bleuté' est l'unique foobar à être vert), etc. C'est récursif.
[^] # Re: Typos, erreurs et preuves
Posté par LaurentClaessens (site web personnel) . En réponse à la dépêche Sortie du Frido pour les Matheux. Évalué à 3.
Il y a une minuscule partie nommée "Languages" à la fin. J'imagine que c'est un embryon de ce qu'il faudrait pour parler de preuves.
Personnellement, je n'ai rien contre que quelqu'un rédige quelque chose.
Par contre, la politique du Frido est que tous les résultats intermédiaires doivent être démontrés --- ou au moins énoncés précisément avec un lien vers une preuve disponible en ligne. Et les mots intervenant dans un énoncé doivent être définis, et si une définition fait intervenir un théorème (genre un 'foobar bleuté' est l'unique foobar à être vert), etc. C'est récursif.