Profile avatar
tomabangalore.bsky.social
Mcf maths Upec, maths, musique, vélo.
135 posts 168 followers 326 following
Regular Contributor
Active Commenter
Posts 14 Comments 36

Quelqu'un a des références sur la différence entre la quantification "∀x ..." "∃x ..." qui m'a l'air d'être un usage que l'on trouve plus chez les logiciens ou informaticiens et la quantification bornée "∀x∊X ..." "∃x∊X ..." d'usage beaucoup plus courant chez les matheux ?

submitted 22 days ago • 0 comments

ICE Hotline: (866) 347-2423

submitted 29 days ago • 680 comments

Intéressant de voir que les journalistes ont totalement abandonné la notion de "faisceau de preuve" quand il s'agit du salut nazi de Musk. Soyons claires : on ne pourra jamais *démontrer* que c'est un salut nazi. Le geste n'aquiert son statut de "salut nazi" que par *l'intention*. ⬇️

submitted 37 days ago • 6 comments

Une question de maths que je me pose au lieu de préparer mon cours de L1 : existe-t-il des corps-ordonnées non archimédiens qui vérifient la propriété des segments emboités ? Peut-être @gro-tsen.bsky.social tu t'es déjà posé cette question.

submitted 44 days ago • 1 comment

I remember reading somewhere that a smooth manifold is spin iff all surfaces embeddings ∑->M have some good property, just like orientability is characterised by the fact you can choose a continuous oriented frame along every curve. Rings a bell ?

submitted 46 days ago • 0 comments

Pour Sarkozy "C'EST LE JOUR DE LA MARMOTTE !"

submitted 52 days ago • 11 comments

Hier, j’ai passé quelques heures à la maison Poincaré (www.ihp.fr/fr/musee-mai...) en tant que « facilitateur », mon role était de le présenter en tant que mathématicien aux visiteurs et d’engager la conversation avec eux s’ils le souhaitaient. La curiosité des visiteurs était réjouissante.

submitted 54 days ago • 2 comments

Je me rends compte en préparant un cours à partir des notes d'un collègue que je commence toujours mes preuves d'unicité par "soit x et y tels que ..., montrons que x=y" alors que dans les notes dont je part, elles commencent toutes par "soit x et y tels que ... et x≠y, ..."

submitted 59 days ago • 0 comments

L'université Paris Est Créteil quitte X. Suivez désormais l'UPEC ici sur Bluesky : @upecofficiel.bsky.social Je suis très fier que mon université ait pris cette décision ! #VeilleESR #ESR @cpesr.fr

submitted 73 days ago • 2 comments

Il semble que le problème du sofa (quelle est la forme du plus grand sofa indéformable qu'il est possible de faire passer dans un couloir de 1 m de large qui forme un angle droit ?) soit complètement résolu ! arxiv.org/abs/2411.19826

submitted 79 days ago • 4 comments

J'ai eu un mindfuck de biologiste hier faut que je vous explique: comment expliquer qu'il existe un intermédiaire sous forme d'ARNm chez les procaryotes (cellules sans noyau renfermant l'ADN, comme les bactéries) entre l'ADN et la production de protéines ? Quelques éléments de réflexion ⬇️ 1/

submitted 85 days ago • 2 comments

Le travail médiatique, depuis des mois, pour expliquer que Macron est OBLIGÉ de négocier avec l'extrême droite est magnifique. Laisser la gauche gouverner ? Diantre ! Mais vous n'y pensez pas. Pour soutenir la lutte dessinée : ▶️ ko-fi.com/allanbarte

submitted 86 days ago • 27 comments

submitted 88 days ago • 4 comments

Old classic, new platform.

submitted 91 days ago • 45 comments