La deuxième semaine du cours d’introduction à la philosophie sur Coursera était consacrée à la théorie de la connaissance. L’objectif de cette dernière est de déterminer quand est-ce qu’un individu connaît qu’un énoncé (ou proposition) P est vrai, c’est-à-dire qu’il peut dire « je connais P » ou « je sais que P est vrai ». Le paradigme usuel définit une connaissance comme étant une « croyance vraie justifiée », i.e. quelque chose qui est vrai, auquel je crois et pour lequel je suis capable d’expliquer pourquoi j’y crois. Cette définition apparaît déjà dans le Théétète de Platon et elle aura tenu jusqu’au siècle dernier : en 1963 Edmung Gettier publia un papier fournissant toute une classe de contres-exemples, et aucune réponse satisfaisante n’a été apportée depuis [1]. Continuer la lecture
Archives de l’auteur : Harold Erbin
Cinnamon désormais proposé par Fedora à la connexion
Récemment, en démarrant mon ordinateur, je découvre une nouvelle flèche en dessous du champ pour entrer le mot de passe à l’écran de connexion de Fedora : il s’agit d’un menu pour choisir le gestionnaire graphique utilisé. En plus de Gnome Shell (Gnome 3), Cinnamon est proposé comme alternative (j’avais entendu des rumeurs comme quoi les développeurs de Fedora envisageait de passer à Cinnamon). J’imagine que ce menu est apparu après une mise à jour, et cela est d’autant plus étonnant que, d’ordinaire, Fedora ne propose pas de changement majeur au cours du de la vie d’une version. Dans tous les cas cette nouvelle tombe à point nommé, comme je commençais à me lasser sérieusement de Gnome Shell (et même depuis longtemps). Continuer la lecture
Supergravité, réduction de Kaluza–Klein : quelques notions
Les théories de supergravité apparaissent comme des approximations aux théories des cordes (et de la théorie M), en particulier quand nous nous intéressons aux compactifications de certaines dimensions (par exemple 11d vers 4d). Dans le cas où ces dimensions supplémentaires prennent la forme de cercles « simples » on obtient des supergravités sans groupe de jauge (ungauged supergravity) : on entend par là que les seules transformations de jauge [1] sont abéliennes et proviennent de la réduction de Kaluza–Klein : dans ce cas seuls les champs vectoriels se transforment, tandis que les champs scalaires sont neutres. Continuer la lecture
Faut-il manger les animaux ? Critique de l’élevage industriel
La plupart des livres bouddhistes appellent à une alimentation plus équilibrée et plus éthique, entre autres en ce qui concerne la consommation de produits d’origine animale. C’est essentiellement par cette voie que j’ai commencé à m’intéresser à ce sujet (plus les remarques de la part de différent professeurs sur Coursera). Hélas, jusqu’à présent, je n’avais pas une très bonne opinion du végétarisme (voire végétalisme/véganisme) car je n’avais jamais eu l’occasion d’avoir une discussion précise avec des gens modérés (d’autant plus qu’il est difficile d’avoir une discussion sur le sujet puisque les pratiquants qui ne sont pas extrémistes sont en général gênés). Ainsi je ne me sentais pas vraiment touché par cette problématique. Et finalement on m’a conseillé de lire le livre de J. S. Foer Faut-il manger les animaux ? [1]. Celui-ci m’a très fortement marqué : l’auteur présente une argumentation contre l’élevage industriel, en développant les impacts négatifs sur la santé, sur l’environnement et sur notre éthique. J. S. Foer se base sur un grand nombre de données et d’études scientifiques, tout en présentant des alternatives à l’élevage industriel, laissant par exemple la parole aussi bien à des activistes de PETA qu’à des agriculteurs. Continuer la lecture
Mercurial for scientists: how to manage paper versions
Mercurial is a great tool for managing versions of (collaborative) documents: it allows to
track modifications (and their authors) that are done to a directory. With this tool old
versions can always be retrieved, and it is possible to find who added/deleted something
and why (for example in a Dropbox shared folder). Mercurial is also very useful even if we
are not working with someone, since we can still track changes that we do in a project.
I have written a short note to explain the usage of Mercurial with applications to paper writing in sciences; you can find it on the Sciences page, or you can access it directly here:
Octobre : Changer d’habitudes alimentaires
Pour ce mois d’octobre, je ne vise pas une mais plusieurs nouvelles habitudes, toutes dans le domaine de l’alimentation : celles concernent à la fois le type de nourriture que l’organisation des repas. Voici quelques habitudes alimentaires, que je vais commenter dans la suite :
- manger moins – en quantité et en fréquence – et plus lentement ;
- favoriser les aliments bio ;
- passage à un régime semi-végétarien (au moins deux jours par semaine) ;
- un jour de jeûne par semaine. Continuer la lecture
Évolution de l’homme : bipédie et cerveau
Dans la première semaine de son cours sur l’histoire de l’humanité, Y. Harari s’intéresse aux étapes qui de l’évolution qui ont conduit du singe à l’homme. En particulier il a insisté sur un principe dont je n’avais jamais apprécié la valeur jusqu’à présent : une évolution n’est pas synonyme d’amélioration. En effet une fonction qui se spécialise va procurer un avantage d’un côté, mais cela se fait forcément au détriment d’autre chose. Deux exemples dans le cours illustraient cette idée : la bipédie et le cerveau. Continuer la lecture
Gnome 3 bientôt moins stable et convivial que Windows ?
Le mois dernier je me suis enfin décidé à mettre à jour mon système vers Fedora 19 ; parmi les nouveautés de cette dernière version, le passage à Gnome 3.8. Après une semaine d’utilisation j’en avais déjà marre tant les défauts étaient nombreux. J’avais déjà parlé dans un précédent billet de la mauvaise tournure que prenait Gnome, et la nouvelle version ne fait que confirmer mon pessimisme. Allez, commençons à râler. Continuer la lecture
Septembre : musculation et méditation
Ainsi que je le disais dans mon précédent message sur la méthode ZTD, j’ai décidé de changer (ou de prendre) certaines habitudes, et de partager ces modifications pour me motiver à m’y tenir. Je vais inaugurer cette série de billets avec deux habitudes pour ce mois de septembre : me mettre à la musculation et à la méditation. Continuer la lecture
Méthode d’organisation ZTD : comment aller à l’essentiel
De quelle manière parvenir à s’organiser pour atteindre les objectifs que nous nous fixons ? Telle est la question à laquelle Leo Babauta propose une réponse – la sienne, comme il le rappelle régulièrement – qu’il a baptisée ZTD pour « Zen To Do » [1]. Le principe de cette méthode est d’adopter une démarche systématique pour organiser, décomposer et effectuer des tâches tout en tenant compte de nos envies. Cette méthodologie est dérivée de la GTD (Gettings Things Done) – de David Allen – dont elle cherche à développer certains concepts passés sous silence – essentiellement l’étape de l’organisation (je précise que je n’ai encore lu aucun des livres de cet auteur, donc tout commentaire est tiré de Babauta). Le deuxième livre [2] propose différentes voies afin de simplifier nos vies et de ne garder que ce qui compte le plus pour nous. Ces lectures m’ont vraiment intéressées car elles répondent à mon besoin actuel d’organisation car je me suis rendu compte que j’avais une tendance extrême à la dispersion. Ainsi même si j’avais déjà adopté un certain nombre de pratiques, cela n’a jamais été aussi systématique ni autant inscrit dans la durée. Continuer la lecture