12 février 2016

Deux (deux ?) minutes pour l'hydre de Kirby & Paris

Hey ! Et pourquoi pas une nouvelle vidéo ? On y parlerai des nombres ordinaux et du jeu de l'hydre. Ca serait une bonne occasion de parler d'énoncés indécidables !   Transcriptions + commentaires En 1982, Laurie Kirby et Jeff Paris réinventent dans leur article “Résultats d’indépendances accessibles pour l’arithmétique de Peano” le mythe de Hercule contre l’hydre de Lerne. Un problème qui fournit pour la première fois un exemple plutôt concret de ce que peut être un problème indécidable. Ça tombe bien, j’ai deux minutes... [Lire la suite]
Posté par El Jj à 16:45 - Commentaires [34] - Permalien [#]
Tags : , , , ,

27 décembre 2009

« Pour vous, qu'est ce qu'un nombre ? »

Résumé des épisodes précédents :Moi je suis Dedekindien ! J'aime beaucoup l'idée d'avoir beaucoup de trous de ℚ !Pollux, 11 octobre 2009 à 18:25Et les infinis, c'est pas des nombres ? quentin, 13 décembre 2009 à 21:04 Toujours plus de nombres Aujourd'hui, place au dernier épisode de la saga des nombres : les nombres surréels ! Le grand débat... 1 :Preums !Posté par Steph, 20 décembre 2009 à 00:01 2:Un nombre, ça sert à compter ! Un, deux, trois, quatre... Ca, c'est des nombres ! Posté par Firmin, 20 décembre 2009 à 12:25 ... [Lire la suite]
Posté par El Jj à 14:35 - Commentaires [10] - Permalien [#]
Tags : , , , , ,
19 avril 2008

Goodstein contre l'Hydre

Précédemment sur ce blog :    La suite de Goodstein (de graine 6), qui commence comme ça : 6, 29, 257, 3125, 46655, 98039, 187243, ... Mais comment est définie cette suite ?  On part d'un nombre [...] qui sera le premier terme de la suite. [...] On le décompose en base 2 itérée [...] On remplace ensuite tous les 2 par des 3. [...]On soustrait ensuite 1, et on obtient le deuxième terme de la suite. Pour obtenir le suivant, on décomposera ce nombre en base 3 itérée, et on remplacera les 3 par des 4, et ainsi de... [Lire la suite]
13 avril 2008

Plus grand que les plus petits des plus grand

A quoi sert un nombre entier ? La bonne réponse (pour les besoins de mon article) est "à compter" ! Un, deux, trois, quatre, cinq, six... Si vous lisez ces lignes, c'est que vous avez normalement l'âge de savoir compter... Compter ! C'est quelque chose de beaucoup trop simple, il est temps de compliquer le concept !Prenons un exemple connu de tout étudiant de faculté : le tarot ! Dans le cas le plus simple, pour savoir qui remporte un pli, il suffit de voir quelle carte a la plus grande valeur ; la façon la plus simple... [Lire la suite]
Posté par El Jj à 18:52 - Commentaires [7] - Permalien [#]
Tags : ,
30 mars 2008

Ne pas croire ce qui croît

Une célèbre conjecture lycéenne dit que si une suite a l'air simple (1), à l'air de grimper vite au vu de sa définition (2) et a une croissance à peu près régulière sur ses premiers termes (3), alors cette suite est croissante ! Il est temps de vérifier la validité de cette étonnante conjecture ! Cette conjecture se vérifie bien avec des suites définies à base de fonctions puissances, du genre Un=2n. La suite a l'air simple, elle a l'air de grimper vite au vu de sa définition (ya une puissance, quand même) et a une croissance... [Lire la suite]
Posté par El Jj à 17:53 - Commentaires [2] - Permalien [#]
Tags : , , , ,