Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 Re : Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 20:42:31
pensez vous que je devrais supprimer mon poste, sachant que j'ais fait des screenshots ?
#2 Re : Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 20:37:11
Alors je sais je vois déjà plus compliqué dans les limites de mes connaissances mathématiques bien sûr
Mais heu, ces fonctions peuvent être utiles pour aussi limiter l'ensemble de définition d'une fonction dans son expression
Je possède aussi plusieurs fonctions pouvant vérifier la primalité d'un nombre (toujours avec un nombre de calcul qui croit exponentiellement cependant)
Je me demande si toutes les propositions ne peuvent pas être décrit et j'ais déjà conçu des procédés pour mettre en rrelation ces propositions avec des connecteurs logiques
#3 Re : Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 20:28:19
Que pensez vous de mon travaille et de son avenir?
#4 Re : Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 20:17:24
Je ne pas détaillé ici toutes les applications que j'ais trouver cela serait bien trop long, et je travaille encore sur les définitions pour qu'elles soit le plus formel possible
Mais c'est une première application que je trouve intéressante et utile pour jouer avec sa calculatrice
#5 Re : Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 20:15:41
Première chose s'il vous plait je n'aimerais pas être plagié, je suis un simple lycéen passionné et ayant du temps libre
heu alors la principale utilisation que j'en ais trouvé c'est la creation et la description par une expression de fonctions encore plus complexes
par exemple soit f, une fonction de telle manière que pour 0>x, f(x) = 2x et que pour x>0, f(x)=x^2
et bien f(x)=v(x<0)*2x+v(x>0)*x^2
#6 Re : Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 18:35:52
Alors enfaite j'ais réussi à créer une expression algébrique pour un grand nombre de ces fonctions
En les groupant les propositions en propositions plus simples que j'appelle élémentaire, et jusqu'à présent cela marche bien cependant j'ais dû introduire une "douille" c'est à dire que cela fonctionne bien mieux et couvre bien mieux l'ensemble du spectre propositionnel si on définit et pose par consensus 0^0 = 1
A partir de cela nous pouvons créer un grand nombre de ce genre de fonctions
Cher de Geer, merci de votre commentaire je vais m'atteler à la tache de me renseigner sur ce théorème malgré mes piètres bases de logique et mon manque de formation, ainsi je m'en excuse car cela sera dans les limites de ma compréhension. Cependant il semble que ma solution marche bien sûr en considérant comme noté ci dessus 0^0 =1
Cher Bernard-Maths, je vais essayer de re-reformuler ma question, je pense déjà avoir la solution, j'espère simplement savoir si mon travail est redondant. Est ce quelqu'un c'est déjà atteler à la création d'une méthode "générale" pour donner l'expression de ce genre de fonctions. J'espère avoir rendu cela plus claire
Ma demande consiste plus sur la limite des connaissances mathématiques actuelles sur ce sujet
Je cherche malgré cela je recherche activement un logicien (et serais d'ailleurs intéressé si vous pouvez me mettre en contact avec l'un d'entre eux)pour la correction de mon travail et ais déjà commencé la rédaction d'un papier sans vouloir prétendre de quelque manière que ce soit faire de la recherche scientifique, j'apprécie le fait de travailler sur de tels problèmes et espère être utile
Si vous souhaitez plus de détails je pourrais vous l'envoyer une fois rédigé, ou une partie de ce dernier (ne maitrisant pas le latex pour écrire des formules sur ce forum), car je ne détaille ici pas les méthodes, ni propriétés obtenues
J'espère ne pas sonner arrogant dans ma démarche mais crois en idéal où tout le monde peut faire des "mathématiques"
#7 Re : Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 13:16:57
Après recherche j'ais effectivement compris le concept et mon travail consiste en une généralisation de l'expression des fonctions indicatrices
Par la même je vous remercie pour cette nouvelle idée de formalisation
Je pense avoir atteint un stade où je peux créer une fonction indicatrice de quasiment n'importe quel ensemble, du moment que sa définition en compréhension de ne contient pas de quantificateur logique comme par exemple l'ensemble des x de telle manière qu'existe y ....
Par exemple : soit f la fonction indicatrice de E définit sur R, et E = {x appartenant à R |x>0}
alors pour tout x, f(x) = (x+|x|)/2x
#8 Re : Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 12:51:23
Bonjour, dans un premier lieu j'aimerais vous remercier de votre réponse qui fut très instructive
Je ne connaissais pas la nomenclature officiel en français pour ce genre de fonction, donc en cela je vous suis infiniment reconnaissant
Cependant pour être plus précis dans la formulation ma question ne portait pas sur l'existence de ces fonctions dans le monde mathématique mais sur l'existence d'expressions algébriques pour ces dernières
C'est à dire avez vous entendu parlé d'un travail consistant à leur donner une expression selon les règles de l'algèbre, en "fonctions"( sans mauvais jeux de mots) de ces dites "circonstances"
#9 Café mathématique » Expressions algébriques de fonctions vérificatrices de propositions » 03-01-2024 10:50:41
- Destroyer
- Réponses : 16
Bonjour, je travaille actuellement sur le fait de donner une expression algébrique à une fonction vérifiant la véracité d'une proposition donnée, ce sujet possède je pense des applications très intéressantes cependant ne possédant pas de formation rigoureuse en mathématique j'aimerais savoir si il existe déjà des travaux d'études sur le sujet nommé ci dessus
L'idée est ainsi par les règles de l'algèbre de pouvoir créer une fonction qui renvoie 1 quand une proposition est vraie, et 0 quand elle est fausse
Pages : 1







