Je me lance

J'ai 22 ans, passionné d'informatique depuis mon plus jeune âge. J'utilise GNU/Linux depuis 5-6 ans, j'ai commencé sur Ubuntu gentiment pour passer rapidement vers Debian et Fedora. J'ai fais un BAC STI dans lequel je ne me suis pas du tout plu et que j'ai obtenu en faisant le minimum humainement possible. Je suis actuellement en 4ème année (Master 1) d'une formation d'ingénierie réseau et système (le diplôme : responsable en ingénierie réseau et système).
Je me spécialise tranquillement dans la virtualisation (Vmware ESXi-Vsphere / Hyper-v). Malgré mon attrait particulier pour le monde Linux j'avoue être passé du côté sombre en acceptant une offre de stage (ainsi qu'une promesse d'embauche) dans une boîte qui est la 16ème partenaire Microsoft mondiale

Darkcarot> Ne t’inquiète pas ! Je reste persuadé que mon goût pour la nouvelle vague roumaine et le cinéma de Kamen Kalev orientera mes bonds dans le temps dans la bonne direction.

XKCD Saurais-tu nous présenter la démonstration d'un théorème, avec élégance, bien sûr ?

Le théorème des quatre couleurs sous forme de webcomic xkcd ce serait le top.

tomzeg
Posté le 19 février 2013 à 09:26:44 Je me lance

J'ai 22 ans, passionné d'informatique depuis mon plus jeune âge. J'utilise GNU/Linux depuis 5-6 ans, j'ai commencé sur Ubuntu gentiment pour passer rapidement vers Debian et Fedora. J'ai fais un BAC STI dans lequel je ne me suis pas du tout plu et que j'ai obtenu en faisant le minimum humainement possible. Je suis actuellement en 4ème année (Master 1) d'une formation d'ingénierie réseau et système (le diplôme : responsable en ingénierie réseau et système).
Je me spécialise tranquillement dans la virtualisation (Vmware ESXi-Vsphere / Hyper-v). Malgré mon attrait particulier pour le monde Linux j'avoue être passé du côté sombre en acceptant une offre de stage (ainsi qu'une promesse d'embauche) dans une boîte qui est la 16ème partenaire Microsoft mondiale

Bah t'es encore un peu éclairé ! T'es parti d'ubuntu et ton entreprise n'est pas partenaire d'Apple

"Le théorème des quatre couleurs sous forme de webcomic xkcd ce serait le top. "

Abawi, facile, il a juste fallu 1200 heures de calcul

Non, sans blague, un théorème joli et facile. Le problème principal étant que les théorèmes que j'affectionne le plus (les résultats sur les nombres Oméga de Chaitin, le paradoxe de Banach-Tarski, les théorèmes d'incomplétude de Gödel, le théorème de Tykhonov, quelques résultats de probas) ont des démonstrations élégantes (enfin, plus ou moins - ahem l'incomplétude et les probas), mais pas facilement accessibles.

Ah si, pour des non-mathématiciens, le fait qu'il existe des infinis plus grands que d'autres, c'est troublant, je peux vous faire celle-là. Donc :

    Théorème : il existe des infinis plus grands que d'autres.

Déjà, pour commencer, expliquons la notion d'« ensemble » mathématique.

    Définition : Un ensemble est un sac de trucs. Par exemple {vache,poulet,cochon} est l'ensemble à trois éléments contenant "vache", "poulet" et "cochon" (on dit que "vache", "poulet" ou "cochon" « appartiennent » à l'ensemble). Un ensemble peut contenir d'autres ensembles : {vache,{poulet,cochon}} est l'ensemble contenant "vache" et contenant l'ensemble {poulet,cochon}. Un ensemble peut être infini (par exemple, {vache_1, ... , vache_42, ...} est l'ensemble qui contient vache_n pour tout entier n. On note l'ensemble vide {}, sac ne contenant aucun élément.

    Définition : Un ensemble E est inclus dans un ensemble F si chaque truc contenu dans E est aussi contenu dans F. Par exemple, {vache} est inclus dans {vache,cochon} qui est lui-même inclus dans {vache,cochon,42,17}.

    Définition : Pour un ensemble E, l'ensemble des parties de E, noté P(E), et l'ensemble de tous les ensembles inclus dans E. Par exemple, P({vache,cochon}) = {{},{vache},{cochon},{vache,cochon}}.

    Définition : On dit que deux ensembles E et F ont même taille si à chaque élément de E, on peut associer un unique élément de F, et ainsi couvrir tous les éléments de F.

    Théorème plus précis : Soit E un ensemble. Alors E n'a pas la même taille que P(E).
    Démonstration :
        Supposons par l'absurde qu'ils aient la même taille. On peut donc associer à chaque élément x de E un élément i(x), appartenant à P(E), tel que pour tout élément y de P(E), il existe un élément x de E vérifiant i(x)=y (de telle sorte à ce que F soit entièrement "couvert").
        Alors considérons l'ensemble F des éléments x de E tels que x n'appartient pas à i(x). Cette définition est parfaitement valable : i(x) est un ensemble inclus dans P(E), il peut donc contenir - ou non - x.
        L'ensemble F est inclus dans E, vu qu'il est composé d'éléments de E. F est donc un élément de P(E), et par hypothèse, il existe un x tel que i(x) = F. Maintenant, on a deux options :
          - Soit x appartient à F, mais c'est impossible, puisque par définition de F, x n'appartiendrait pas à i(x) = F.
          - Soit x n'appartient pas à F, mais dans ce cas, x n'appartient pas à i(x), et x appartiendrait à F par définition, c'est aussi impossible.
        Les deux possibilités sont impossibles : l'hypothèse de départ induit une contradiction, donc les ensembles n'ont pas la même taille.

Maintenant, il suffit de prendre un ensemble infini pour E (par exemple, l'ensemble des entiers naturels {0,1,2,...,42,...}, la démonstration reste valable, et on a trouvé un ensemble infini de taille strictement plus grande qu'un autre ensemble infini. Il existe des infinis plus grands que d'autres

Pour des explications moins vulgarisées mais plus précises : https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Cantor

Flemme

Je voulais savoir, je suis sur Archlinux avec KDE (oui je rabâche ) Et j'aimerais avoir un lancher d'applis en bas, un peu comme XFCE.

Des idées?

j'ai lu, j'ai rien compris

docky en mode tableau de bord

Cairo-dock est complet, mais je l'ai jamais bien aimé. Trop lourd, pas très fluide, bling-bling.
Celui qui m'a le plus marqué, c'est vraiment Avant-Windows-Navigator. Super léger, fluide, facile à configurer mais avec un très large choix d'options, thèmes dispos au téléchargement, ...

En passant, vous savez pourquoi différents émulateurs de terminal ont des rendus typographiques différents? Les couleurs de mes prompts ou man colorés ressortent de façon totalement différente entre terminator et urxvt par exemple, et j'arrive pas à trouver pourquoi
J'adore urxvt mais là par rapport à Terminator la gestion des couleurs est dégueulasse, la moitié des couleurs est illisible, et la largeur des caractères spéciaux ou accentués est différente...

@XKCD
~> Tout comme Shadowwf, je n'ai rien comprit du tout.
Dit moi, combien de temps à tu mis pour écrite et démontrer tous tes dires ? En es-tu vraiment l'auteur ?
Je pense qu'une deuxième lecture ne serait de trop (mais c'est pas avec mon simple niveau de 3ème que je vais réussir à tout comprendre).

" Bah t'es encore un peu éclairé"

pour cairo, faut la machine qui suit

Parae Avec un niveau seconde moi

Je fais bientôt un screen, ça commence à avoir de la gueule

t'as pris quel dock ?

Je rends hommage à Chris_27, ancien modo du forum parce qu'aujourd'hui on a atteint les 500 pages de SON Blabla

il est toujours actif sur jv.com

Où ???

sais pas mais sa dernière co' c'etait aujourd'hui.

+ last post

le 10 000eme poste

C'EST MOI QUI L'AI !!!!

LOL C'est ta minute kikoo ?