Qu'est-ce que sont les maths ?

Bonjour,

Cette discussion est là pour donner un sens à mon activité dans ce forum.

La définition que je donnerais de qu'est-ce faire des maths :

"c'est l'étude et la construction de concepts formalisés"

Le type de maths que je pratique est celui de constructeur de concepts mathématiques complétement nouveaux.

Et pour cela j'ai besoin de partir d'un point de vue complétement nouveau, pour essayer de le formaliser complétement.

Le point de vue nouveau est celui que j'ai sur la logique et le point de vue de Dlzlogic sur les probas que j'essaie aussi de formaliser.

Pour l'instant les traces que je laisse sur ce forum seraient semblable au brouillon de Peano, quand il essaie de décrire sa théorie sur les entiers naturels, même si sa théorie semble maintenant évidente, c'est le travail de Peano qui a finit par être diffusé rendant par la même sa théorie évidente (consensuellement admise).

Donc oui je fais des maths, autant que pouvait en faire Peano dans ses tentatives à conceptualiser l'arithmétique.

Bonne journée.