Pour les personnes intéressées, le reportage est en ligne sur le site de l'association GOALL.

Bonjour, je me demandais, concernant l'impossibilité d'avoir une démonstration de la consistance d'une théorie T dans T.
Est-ce qu'il y a besoin d'un raisonnement aussi complexe ? Ou bien il y a quelque chose qui m'échappe. Dans un système inconsistant il est possible de montrer le faux, et une fois le faux montré, on peux montrer n'importe quoi, comme la consistance par exemple. Donc pour toute théorie T, « T est consistant » est vrai.

Quand on dit "la cohérence est indémontrable (…)

Chers tous.

J'ai en ma possession depuis déjà pas mal de temps un DELL L400 fonctionnel, mais je n'ai pas vraiment pris le temps de lui faire exprimer tout son potentiel ;) Du coup, je préfère le donner à quelqu'un qui saura en prendre soin et lui apporter toute l'attention qu'il mérite.

Avis au jeunes loups glabres :
- Pas de lecteur de disque optique, donc installation par PXE (ou autre méthode sioux).
- Carte graphique avec seulement 8Mo de mémoire (…)

Bonjour à tous,
Je viens d'installer slackware 13.37 en 64 bit en double boot avec une vieille version de linux historiquement présente sur mon pc (acheté en 2009 avec linux préinstallé).
Je ne parviens pas à utiliser une application qui fonctionne bien sur ma vieille installation, ce qui me bloque dans ma migration.

L'application : cgoban 3 , lancée à partir de java web start.

J'ignore s'il s'agit d'un pb lié à l'installation (un lien symbolique manquant), d'autorisation sur un (…)

Bonjour,
J'ai un DNS sur bind chrooter sans SELinux, fc17 a jours
Je n'ai pas d'erreur dans ma conf si j'execute named-checkconf

J'ai creer un domaine ou toutes mes machines sont enregistrées.
reseau 192.168.0.0/24

la resolution de nom fonctionne corretement ou a peux pres

si je ping le nom de machine, la résolution s'effectue ( pas besoin du domaine )
Par contre si j'utilise dig le FQDN est necessaire.

Mais le plus important, est que le reverse ne fonctionne pas (…)

Bonjour à tous,

Ma carte Wifi étant imparfaitement supporté par linux, il faut à chaque démarrage que j'exécute la commande suivante en console :

sudo update-initramfs -u && sudo modprobe -r iwlagn && sudo modprobe iwlagn

Cela n'est pas très pratique. Je souhaiterais donc déléguer à mon ordi cette tache répétitive (ils servent bien à ça nan ?). Comment faire ?

VA

Bonjour,

j'ai un mac mini g4 qui tourne sous fédora 12, j'envisage le passage vers feroda 16 ppc ou archlinuxppc.

Le site d' www.archlinuxppc.org ne semble plus répondre quelqu'un aurait-il des info sur la version ppc G4 d'arch?

fedora 16 ppc fonctionne-t-elle correctement?

C'est quoi le mieux? je ne connais pas encore arch.

Merci

Bonjour tout le monde,

Petite question à propos de la recherche d'une distribution recherchée : quelle est l'idéale pour une PMR (personne à mobilité réduite) qui serait limitée à ouvrir en lecture seule des images et des vidéos ? Une sorte d'interface multimédia (oui, les frangliches diront media center).

Dans le cas évoqué, il s'agit d'une PMR qui utilisera uniquement une souris. Le but est d'avoir un système à interface ultra simplifiée, forcément composée d'icônes / de grands symboles : (…)