Répondre à la discussion
Page 4 sur 4 PremièrePremière 4
Affichage des résultats 91 à 107 sur 107

Devinette mathématique

  1. #91
    Médiat

    Re : Devinette mathématique

    Faites-le !

    Les démonstrations à la "Sâr Rabindranath Duval" ne conviennent pas

    -----

    Dernière modification par Médiat ; 26/01/2018 à 16h42.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  2. Publicité
  3. #92
    Schrodies-cat

    Re : Devinette mathématique

    Citation Envoyé par Médiat Voir le message
    Faites-le !

    (...)
    Cela serait aussi ennuyeux pour moi que pour d'hypothétiques lecteurs.
    Ni l'égoïsme, ni l'altruisme ne justifieraient donc que je le fasse.
    Il n'est pire sot que qui ne veut pas comprendre .

  4. #93
    Dattier

    Re : Devinette mathématique

    Salut,

    Citation Envoyé par Médiat Voir le message
    Les démonstrations à la "Sâr Rabindranath Duval" ne conviennent pas
    Pour savoir de quoi il s'agit : https://www.youtube.com/watch?v=6KcZbwLwDzE

    Citation Envoyé par Deedee81 Voir le message
    Mais tout ça n'empêche pas un autre (disons le physicien) d'inscrire "réponse du mathématicien + 1".
    Dans tous les cas, il gagne. Et vis à vis de l'énigme, ça, ça me gêne.
    En fait, si on se place dans ZFC on sait qu'il existe G un nombre entier fini : le nombre de pas pour que la suite de Goodstein soit nulle, qui est considèrer dans AP comme indéterminer.

    Ainsi si on revient dans AP, alors on aurait G=G+1 (on pourrait mettre en bijection un ensemble de taille G, avec un ensemble de taille G+1).
    Remarque : cela veut dire que AP posséderait un plus grand nombre G.

    Cordialement.
    Raisonnement empirique : A est exacte si avec 10 exemples et pas de contre-exemples connus

  5. #94
    Médiat

    Re : Devinette mathématique

    Du moment que les "hypothétiques lecteurs" sont convaincus que vous ne pouvez pas le faire, cela me convient parfaitement.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  6. #95
    Schrodies-cat

    Re : Devinette mathématique

    Citation Envoyé par Médiat Voir le message
    (...)

    Les démonstrations à la "Sâr Rabindranath Duval" ne conviennent pas
    Je suis désolé de vous l'apprendre, mais si vous ne savez que ce qui vous a été démontré formellement, vous savez très peu de choses.

    Il y a actuellement un programme de recherche visant à produire des démonstration formelles des résultats mathématiques à des fins de vérification par ordinateur.
    Mon info n'est pas très récente, mais il en était au niveau licence d'après ce que j'ai lu.
    Toutefois, je doute que vous ayez lu et vérifié toutes les démonstrations formelles qu'il a produit.
    Il n'est pire sot que qui ne veut pas comprendre .

  7. #96
    Médiat

    Re : Devinette mathématique

    Il peut le faire
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  8. #97
    Schrodies-cat

    Re : Devinette mathématique

    Citation Envoyé par Dattier Voir le message
    Salut,



    Pour savoir de quoi il s'agit : https://www.youtube.com/watch?v=6KcZbwLwDzE



    En fait, si on se place dans ZFC on sait qu'il existe G un nombre entier fini : le nombre de pas pour que la suite de Goodstein soit nulle, qui est considèrer dans AP comme indéterminer.

    Ainsi si on revient dans AP, alors on aurait G=G+1 (on pourrait mettre en bijection un ensemble de taille G, avec un ensemble de taille G+1).
    Remarque : cela veut dire que AP posséderait un plus grand nombre G.

    Cordialement.
    Le fait qu'on ne connaisse pas dans l'arithmétique de peano la valeur précise de ce nombre n'autorise pas à en dire n'importe quoi.
    Il n'est pire sot que qui ne veut pas comprendre .

  9. #98
    Médiat

    Re : Devinette mathématique

    Citation Envoyé par Schrodies-cat Voir le message
    Le fait qu'on ne connaisse pas dans l'arithmétique de peano la valeur précise de ce nombre n'autorise pas à en dire n'importe quoi.
    Là je suis d'accord avec vous, d'autant plus que l'expression "le nombre de pas pour que la suite de Goodstein soit nulle" n'a pas de sens, et je soupçonne de la part du scripteur initial, de tomber aussi dans la confusion entre "pour tout n démontrer" et "démontrer pour tout n" ; le fait que la démonstration de Paris et Kirby fasse appel à des modèles non standard de AP me confortant dans ce sens.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  10. #99
    Merlin95

    Re : Devinette mathématique

    Citation Envoyé par Médiat Voir le message
    "pour tout n démontrer" et "démontrer pour tout n"
    Bonjour,

    j'ai un peu de mal à comprendre pourquoi ce n'est pas la même chose. Je vois les choses ainsi dans "pour tout n démontrer", on prend un n et on démontre la propriété, dans "démontrer pour tout n" il faut un moyen de démontrer la propriété vraiment pour tout n sans passer par un n particulier.
    Dans la logique du premier ordre, la règle d'introduction du quantificateur universel, exprime que c'est équivalent. Mais je crois que dans d'autres cas (logique) ce n'est pas forcément équivalent.

  11. #100
    Médiat

    Re : Devinette mathématique

    Bonsoir,
    Citation Envoyé par Merlin95 Voir le message
    j'ai un peu de mal à comprendre pourquoi ce n'est pas la même chose. Je vois les choses ainsi dans "pour tout n démontrer", on prend un n et on démontre la propriété, dans "démontrer pour tout n" il faut un moyen de démontrer la propriété vraiment pour tout n sans passer par un n particulier.
    Dans la logique du premier ordre, la règle d'introduction du quantificateur universel, exprime que c'est équivalent. Mais je crois que dans d'autres cas (logique) ce n'est pas forcément équivalent.
    Je parle bien de la logique du premier ordre, et vous avez raison d'invoquer l'axiome de généralisation pour cette logique, mais pas ici ; pour vous donner un exemple, assez simple, prenez l'arithmétique de Robinson (celle de Peano sans le schéma d'axiomes de récurrence), essayez de démontrer que 1 + 2 = 2 + 1, puis que 1 + 3 = 3 + 1, vous remarquerez que vos deux démonstrations sont différentes et donc ne conviennent pas pour démontrer n + m = m + n (puis d'appliquer l'axiome de généralisation), par contre vous aurez un "schéma" de démonstration qui devrait convaincre tous les mathématiciens que pour tout n et pour tout m (que l'on vous fournirait) vous êtes capable de produire la démonstration qui convient à ce cas particulier.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  12. #101
    Schrodies-cat

    Re : Devinette mathématique

    Si pour tout n, on peut démontrer p(n), on ne peut pas forcément démontrer que (pour tout n p(n)) ;
    A moins de se placer dans une théorie plus puissante, éventuellement celle dans laquelle on a démontré que pour tout n,(p(n) est démontrable).
    (Avec des parenthèses, cela me semble plus clair.)
    Dernière modification par Schrodies-cat ; 26/01/2018 à 19h31.
    Il n'est pire sot que qui ne veut pas comprendre .

  13. #102
    Merlin95

    Re : Devinette mathématique

    ok merci c'est plus clair.

  14. #103
    Schrodies-cat

    Re : Devinette mathématique

    Pour illustrer la difficulté de la notion de définition d'un nombre entier , je prendrais cet exemple:
    Je considère ceci: "le plus petit entier strictement supérieur à deux tel qu'il existe trois entiers x,y,z strictement positifs tels que xn+yn=zn" .
    Est-ce une définition ?
    Il a fallu plusieurs siècles pour y répondre (par la négative), et seulement dans une théorie très puissante.
    Il n'est pire sot que qui ne veut pas comprendre .

  15. #104
    Médiat

    Re : Devinette mathématique

    Citation Envoyé par Schrodies-cat Voir le message
    Est-ce une définition ?
    Oui, c'est une définition dans AP, et je le prouve :




    L'exponentiation n'est pas une fonction de AP, mais elle y est définissable à l'aide de la fonction de Gödel, elle-même définissable dans AP (j'ai démontré ces deux points dans un document sur l'arithmétique et publié jadis sur FSG).

    Ce qu'il a nécessité plusieurs siècles, c'est la démonstration qu'aucun entier ne vérifiait cette définition.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  16. #105
    Schrodies-cat

    Re : Devinette mathématique

    Ca définit un prédicat sur les entier. mais cela ne définit pas un entier.
    On peut aussi définir naturellement un algorithme qui calcule un tel n si il existe en utilisant une énumération des quadruplets d'entiers naturels (n,x,y,z).
    Le théorème de Fermat-Wiles dit alors que cet algorithme ne termine pas.
    Dernière modification par Schrodies-cat ; 27/01/2018 à 09h04.
    Il n'est pire sot que qui ne veut pas comprendre .

  17. #106
    Médiat

    Re : Devinette mathématique

    C'est ce que je dis, c'est bien une définition, qu'aucun entier ne vérifie.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  18. #107
    Schrodies-cat

    Re : Devinette mathématique

    Le but du jeu est, à mon sens, de donner une définition qu'un entier naturel vérifie. (si il y en a plusieurs qui vérifient une définition, on peut prendre le plus petit).
    Faut-il donner avec une définition une preuve qu'un entier naturel la vérifie ? L'énoncée n'est pas clair à ce sujet.
    Il n'est pire sot que qui ne veut pas comprendre .

Page 4 sur 4 PremièrePremière 4

Discussions similaires

  1. "devinette" mathématique - Petit problème ;)
    Par paris-math dans le forum Mathématiques du collège et du lycée
    Réponses: 11
    Dernier message: 03/03/2008, 09h10
  2. Devinette mathématique...
    Par heuégalèmecédeu dans le forum Science ludique : la science en s'amusant
    Réponses: 15
    Dernier message: 28/12/2005, 10h04
  3. devinette
    Par vampyer972 dans le forum Science ludique : la science en s'amusant
    Réponses: 29
    Dernier message: 17/11/2005, 19h22
  4. devinette
    Par quetzal dans le forum Science ludique : la science en s'amusant
    Réponses: 19
    Dernier message: 29/06/2005, 16h03
  5. Petite devinette mathematique
    Par foulon dans le forum Science ludique : la science en s'amusant
    Réponses: 7
    Dernier message: 04/05/2005, 13h27