Discuter:Pasigraphie

Un article de Wikipédia, l'encyclopédie libre.

[modifier] Peano

Selon Couturat 1906 Pour la logistique, revue de métaphysique et de morale T14 N°1, pp 208-317, accessible sur le site de la BNF en format "image" : [1], v pp 211-212, Peano ne revendique pas le terme de pasigraphie, qui est employé à son propos par Schröder, peut-être de façon péjorative, et repris par Poincaré... Sinon la section "pasigraphie actuelle" me semble hors sujet : personne n'emploie ce terme, personne ne pense plus que les notations logiques puissent être vraiment une pasigraphie, et il y a déjà notation mathématique et langage formel mathématique). Pour les assistants de preuve : est-ce bien de pasigraphie qu'il s'agit ? Les preuves formelles obtenues sont, pour le moment, assez illisibles. Je propose de supprimer la section pasigraphie actuelle, de renvoyer aux articles existant, et de renvoyer sur un article (à écrire) "notation mathématique de Peano" qui parlerait des notations historiques de celui-ci. Proz 8 mai 2007 à 23:02 (CEST)

Finalement j'ai créé formulaire de mathématiques qui est le titre de l'ouvrage de Peano où il développe son projet. L'article "pasigraphie" n'est plus un article de mathématiques. J'ai beaucoup restreint, mais si un linguiste estime que la partie de l'article consacrée aux mathématiques est hors sujet, ce qui est un peu le cas, qu'il n'hésite pas à tailler. Il me semble que l'on peut quand même laisser quelquechose sur Peano. C'est probablement le livre de Poincaré "sciences et méthodes" qui est à l'origine du malentendu. Proz 20 mai 2007 à 00:48 (CEST)