Demander un code

Langage mathématique

Le langage est la voie incontournable de l'accès à la dimension humaine et à un monde conceptualisé. Les mathématiques sont à la base d'une transformation humaine de l'accès au monde par les sciences, spécialement la physique et la technologie. Pour accéder à une telle transformation, les mathématiques ont développé un langage spécifique, jusqu'à l'invention des langages formels. Quel est le rapport qui unit le langage mathématiques au langage naturel. Le langage formel est-il une forme épuré qui donne accès à la véritable nature du langage ou bien au contraire d'une forme très hétérodoxe de langage qui n'a pas finalement pas grand chose à voir avec le langage naturel. Je pencherai davantage pour la seconde option. Il s'agit alors d'expliquer ce qui est commun aux langages naturel et mathématiques et ce qui les séparent, ce qui produit ce sentiment de fondement dans les formes mathématiques, ce qui diverge radicalement dans la structure mathématique univoque et la structure foisannante du langage reposant sur la reconnaissance approximative...

Textes sur le langage mathématique


Théorie du langage

En quelques mots

Une théorie pour expliquer la formation, l'évolution et les mécanismes du langage, pour expliquer le rapport entre les choses, la pensée et les mots. Idée centrale : Le sens des mots se greffe par un mécanisme symbolique sur les perceptions acquises. Autre idée centrale : Un processus de liberté associative des mots permet une synergie entre les perceptions sensorielles ...
[...la suite ]
1022 caractères (autour d'une page)- id :34



Le sens du bon sens

Une enquète sur la nature du sens avec l'idée d'un bon sens qui s'éduque comme guide de fiabilité.

Un projet

Un gros livre qui rassemble de nombreuses thèses. Avant de les séparer en plusieurs volumes distincts, les thèses éparses étaient rassemblées dans ce gros volume dont le fil conducteur est une enquète sur la possibilité d'accès au sens.

Le contenu...
[...la suite ]
992 caractères (autour d'une page)- id :38




La définition en Mathématiques

Le projet

Définir en mathématique est une pratique fondamentale. Mais on s'interroge assez peu sur ce qu'engage une définition, sur les conditions de validité d'une définition. Or il y a redire sur la pertinence de certaines définitions, sur certaines affirmations d'existence, sur certains cadres de résolution de problèmes. Le fondement classique des Mathématiques a po...
[...la suite ]
965 caractères (autour d'une page)- id :41



La vérité en Mathématiques

Le projet

La vérité est souvent considérée comme une notion fondamentale des Mathématiques. Nombreux sont les mathématiciens qui ont même cherché à la poser comme fondement, c'est Le logicisme. Mais sous certains angles, la question de la vérité mathématique n'est pas sans poser de problème. On peut même aller jusqu'à s'interr...
[...la suite ]
1027 caractères (autour d'une page)- id :42



L'objectivité de la science en 1 page

-

La science possède une foule de subjectivités

- La sociologie des sciences - La science n'échappe pas à l'organisation très humaine de ses pratiques, remplie de toutes les faiblesses humaines, sous le régime des désirs, du pouvoir, du mensonge,... - On est loin d'une science qui affirme son objectivité et sa fiabilité par sa propre essence. - A...
[...la suite ]
4447 caractères (autour d'une page)- id :127



La science est-elle culturelle ou objective ?

-

Introduction

- Une question authentique - " La science n'est pas attaquable, ce sont les ignorants et les obscurantistes qui veulent la détrôner. La science est fiable, c'est plus qu'une évidence, c'est une vérité scientifique ". Mais " nul ne peut rendre témoignage de lui-même " disait un homme dont la sagesse n'avait pas grand chose à voir...
[...la suite ]
172807 caractères (équiv. 60 pages standard)- id :128



Ensemble pathologique en théorie des ensembles ?

-   -

Introduction

- L’ordre de construction est un principe fondamental de la définition. On construit au-dessus de ce qui a déjà été construit. La théorie des ensembles naïve fondée dans la logique propositionnelle quantifiée cherche quelque part à échapper à ce processus, les variables portent sur l...
[...la suite ]
19003 caractères (équiv. 5 pages standard)- id :134



Le formalisme univoque peut-il servir de cadre pour penser l'homme ?

- Leçon de géométrie - Après avoir reçu une ébauche antique, le formalisme est surtout un lieu mathématique moderne. Le formalisme consiste à traduire " des idées " dans un environnement fait de quelques symboles et de règle de la manipulation rigidement univoque, en souhaitant que les idées capturées par ce mond...
[...la suite ]
21332 caractères (équiv. 6 pages standard)- id :135



La Définition en Mathématiques et l'ordre de l'information.

-

L'accès à l'infini

- Un concept central de la puissance des Mathématiques à pouvoir parler avec autant d'universalité réside dans le pouvoir de projeter une infinité de choses en une fois : - La récurrence qui identifie une similarité tout le long d'un processus infini pour en poser la vérité globale. - L'id&eacut...
[...la suite ]
78241 caractères (équiv. 27 pages standard)- id :140



Calcul, machines de Turing et raisonnement diagonal.

- -

Préambule sur la notion de calcul

- Les idées véhiculées dans cet article touchent à des habitudes interprétatives séculaires dont l'évidence n'est pas questionnée. Je propose donc au lecteur une disposition attentionnelle spécifique qui m'a servi de fondement dans toute la compréhension que j'ai développé sur les Math&eacut...
[...la suite ]
57194 caractères (équiv. 19 pages standard)- id :141



Logique naïve versus formelle

-

La Logique naïve

- La logique naïve, c'est la découverte que la trame possède certaines formes stables transposables dans de nombreuses situations (la pérennité de la trame par rapport à des formes logiques). Ces formes peuvent être exprimées dans le langage et permettent ainsi de donner des descriptions de la réalité sans avoir recours à l'expérimentat...
[...la suite ]
5823 caractères (autour d'une page)- id :74



  : symbole à cliquer pour corriger les coquilles de chaque paragraphe.
Commentaire sur cette page

--- Aucun commentaire pour l'instant. Ajoutez le premier... ---



Commentaire à ajouter

Nom, alias :

Traduction --

En quelques mots


Il faut s'être vu de l'extérieur pour penser que le réel est intérieur. (résumé de morphologie de la réalité)

Texte au hasard


Une morale pour le maître et l'esclave

- A la suite de Nietzsche, on peut constater une histoire occidentale influencée par le christianisme qui l'a mené un temps à une morale qui auto-détruit l'homme en niant toute explosion de vie, en voulant normer l'individu sur le schéma d'une l'altérité essentielle sans prendre en compte ses propres mécanismes naturels. - Mais ce n'est pas une dualité morale des forts et des ...
[...la suite ]